Fri, 13 Dec 2024 02:09:27 UTC | login

Information for file /usr/lib64/ocaml/Z3/z3enums.mli

Name/usr/lib64/ocaml/Z3/z3enums.mli
Digest (sha256)170e2e770f1a881c426d281fc0ec959b5876b00194fe0f69c2eef3052fc9fee7
Size6.59 KB
Modification timeWed, 26 Oct 2022 17:01:14 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMocaml-z3-devel-4.11.2-1.fc37.riscv64.rpm