Sat, 30 Nov 2024 11:25:43 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)8fc602ec36c02ca543e7144bdcf40001d3da5c592cc0b138eda934322ae2f6f3
Size58.55 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