Sat, 14 Dec 2024 13:17:30 UTC | login

Information for file /usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt

Name/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt
Digest (sha256)9ecf4efd8075056ed918d13b1016aa916d6a2e682f0b9d3fc2ea820b167c9a39
Size64.19 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