Tue, 26 Nov 2024 10:23:06 UTC | login

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

Name/usr/lib64/ocaml/coq/theories/Arith/EqNat.glob
Digest (sha256)d96e14ca6c121e47106db79ae31b7c76b804b61120e9ea95102cf3d40409ff82
Size5.22 KB
Modification timeThu, 05 Oct 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcoq-8.17.1-6.fc40.riscv64.rpm