Fri, 13 Dec 2024 05:03:37 UTC | login

Information for file /usr/lib64/ocaml/coq/theories/Arith/Arith_base.v

Name/usr/lib64/ocaml/coq/theories/Arith/Arith_base.v
Digest (sha256)6f914961a367a60fadeb00c8f6a144a144c0daac08e321b75f9533e08f67fc18
Size1.27 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