Mon, 13 Jan 2025 07:38:04 UTC | login

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

Name/usr/lib64/ocaml/coq/theories/Arith/Between.glob
Digest (sha256)1b6c9db84f5e660185a9c7698b39c69300f649982b77d41f49c9c49827729e90
Size19.92 KB
Modification timeThu, 09 Jan 2025 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcoq-8.20.0-1.fc42.riscv64.rpm