Sat, 14 Dec 2024 00:47:51 UTC | login

Information for file /usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxa

Name/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxa
Digest (sha256)882999bb49bcc8c2f75604ef98d5fc2c5af52a19e4ce21cafe57a32a79af32b6
Size10.59 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