Thu, 13 Jun 2024 03:58:03 UTC | login

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

Name/usr/lib64/ocaml/coq/theories/Arith/Plus.glob
Digest (sha256)176c57bccb27811228d4a8ac869188376ecf5cf66ecd492b3dc8dd9e8b2557ee
Size8.67 KB
Modification timeTue, 02 Jan 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcoq-8.18.0-1.fc40.riscv64.rpm