Sat, 30 Nov 2024 11:21:45 UTC | login

Information for file /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FTZ.v

Name/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FTZ.v
Digest (sha256)48bf914169abd734049a48e0605024334b9b31d016aef41788cc351964bca4e2
Size8.46 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