Sun, 15 Dec 2024 15:01:04 UTC | login

Information for file /usr/lib64/ocaml/cil/ciloptions.mli

Name/usr/lib64/ocaml/cil/ciloptions.mli
Digest (sha256)1c0a1e17b6c2159fd9657d0854a875df55ac084cf9c03d49887c204ca0f259b3
Size1.92 KB
Modification timeSun, 25 Apr 2021 07:55:41 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMocaml-cil-devel-1.7.3-65.fc33.1.rvre0.riscv64.rpm