Fri, 13 Dec 2024 04:32:48 UTC | login

Information for file /usr/lib64/ocaml/coq/theories/Arith/Cantor.glob

Name/usr/lib64/ocaml/coq/theories/Arith/Cantor.glob
Digest (sha256)4adf5aade37458c2ea82a237fd188c2927db687b050146a38e0cee1253a74f36
Size12.21 KB
Modification timeWed, 17 Jul 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcoq-8.18.0-10.fc41.riscv64.rpm