Wed, 27 Nov 2024 04:45:27 UTC | login

Information for file /usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/PrimFloat.v

Name/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/PrimFloat.v
Digest (sha256)20f2dc95930a0e8c0c47e0ffebb60aeff4ad04542b0aaa706fce6938864a35c2
Size13.55 KB
Modification timeFri, 24 Feb 2023 15:37:25 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMflocq-source-4.1.1-8.fc40.riscv64.rpm