Thu, 09 Jan 2025 16:07:33 UTC | login

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

Name/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Generic_fmt.vo
Digest (sha256)e8c48b133dbcc66d827dd2cbd3823d37b137194a850c51ae05408b878f155a9a
Size186.70 KB
Modification timeTue, 12 Dec 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMflocq-4.1.1-7.fc40.riscv64.rpm