Sat, 30 Nov 2024 09:51:38 UTC | login

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

Name/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff.v
Digest (sha256)32e08d4480ad9c30fdf417f73c57c872aa00169705ff2f847ca4cf26b43b5661
Size1.08 MB
Modification timeFri, 24 Feb 2023 15:37:25 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMflocq-source-4.1.1-8.fc40.riscv64.rpm