Sat, 30 Nov 2024 11:18:48 UTC | login

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

Name/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/PrimFloat.vo
Digest (sha256)1054e7ed0b91cab1427a8c46e26ac70b937d1bda36cd7ca80a7b51a677e179f1
Size83.68 KB
Modification timeWed, 17 Jul 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMflocq-4.2.0-2.fc41.riscv64.rpm