Mon, 16 Dec 2024 08:04:59 UTC | login

Information for file /usr/lib/gap/pkg/float/lib/mpfi.gi

Name/usr/lib/gap/pkg/float/lib/mpfi.gi
Digest (sha256)324e03124c488cc18fdd657d36c7e25825dca12a240477006396e034d1819c5a
Size8.92 KB
Modification timeFri, 03 Nov 2017 15:48:39 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgap-pkg-float-0.8.0-4.fc30.riscv64.rpm