Sat, 09 Nov 2024 16:52:39 UTC | login

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

Name/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Int63Compat.v
Digest (sha256)b8ff8102063c9a752b28bed5c998031ce32a3f6c2da3634ed13b6f759676aabd
Size226.00 B
Modification timeWed, 17 Jul 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMflocq-source-4.2.0-2.fc41.riscv64.rpm