Wed, 11 Dec 2024 20:28:02 UTC | login

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

Name/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FTZ.vo
Digest (sha256)6e4e1341817c2cfc1238b25832e4e67e0f8d767621cd380981806cd84119329d
Size58.55 KB
Modification timeTue, 02 Jan 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMflocq-4.1.3-1.fc40.riscv64.rpm