Sat, 14 Dec 2024 13:08:47 UTC | login

Information for file /usr/lib64/ocaml/psmt2-frontend/smtlib_ty.ml

Name/usr/lib64/ocaml/psmt2-frontend/smtlib_ty.ml
Digest (sha256)bae08a94662c2f37060b3634e44b9f8c52f16881f5e82250eb772729e8e84654
Size7.50 KB
Modification timeThu, 25 Jan 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMocaml-psmt2-frontend-devel-0.4.0-16.fc40.riscv64.rpm