Thu, 20 Jun 2024 23:22:14 UTC | login

Information for file /usr/lib64/ocaml/facile/fcl_goals.mli

Name/usr/lib64/ocaml/facile/fcl_goals.mli
Digest (sha256)4eb3cfa4952561b5c550ccfa28bf4aa06e7870a9e55dbc3c9c8a438d3f4f2da7
Size8.87 KB
Modification timeMon, 18 Dec 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMocaml-facile-devel-1.1.4-7.fc40.riscv64.rpm