Fri, 13 Dec 2024 12:40:32 UTC | login

Information for file /usr/i686-w64-mingw32/sys-root/mingw/include/eigen3/Eigen/Householder

Name/usr/i686-w64-mingw32/sys-root/mingw/include/eigen3/Eigen/Householder
Digest (sha256)1a18ea2659db15ce93de0f5aff135a536af9701da9af4f026710e56def23a559
Size829.00 B
Modification timeWed, 18 Aug 2021 20:41:58 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmingw32-eigen3-3.4.0-15.fc40.noarch.rpm