Sat, 23 Nov 2024 07:34:04 UTC | login

Information for file /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmti

Name/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmti
Digest (sha256)5f43d7ab3c49d42943f05766ea8e278341666eb57a30c42977ca33d7492a36aa
Size1.93 KB
Modification timeFri, 02 Feb 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMocaml-alt-ergo-parsers-devel-2.3.3-17.fc40.riscv64.rpm