Mon, 17 Jun 2024 12:44:34 UTC | login

Information for file /usr/share/man/man3/CamlinternalMenhirLib.EngineTypes.ENGINE.3o.gz

Name/usr/share/man/man3/CamlinternalMenhirLib.EngineTypes.ENGINE.3o.gz
Digest (sha256)2d9c909bf7396a11b4540ad6fe6fe745ec63249c120781e6d707b4785bac10f8
Size242.00 B
Modification timeTue, 13 Sep 2022 05:00:44 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMocaml-docs-4.14.0-3.fc37.riscv64.rpm