Sat, 30 Nov 2024 11:13:36 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)eac6ae22ce29b1c154925973745d470e2745432bcae319dfdd1d3d4986ddbdce
Size14.33 KB
Modification timeTue, 02 Jul 2024 09:58:52 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMflocq-source-4.2.0-2.fc41.riscv64.rpm