Wed, 27 Nov 2024 07:40:21 UTC | login

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

Name/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt
Digest (sha256)01a9a85de561d5d6eb64a3cc67d9671ee9d6bb00fb9b156df42b09ea3c241b0d
Size62.27 KB
Modification timeThu, 18 Jul 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMocaml-psmt2-frontend-devel-0.4.0-19.fc41.riscv64.rpm