Wed, 19 Jun 2024 20:32:55 UTC | login

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

Name/usr/share/man/man3/CamlinternalMenhirLib.EngineTypes.MONOLITHIC_ENGINE.3o.gz
Digest (sha256)bcd3ed9ee0db50eeeccfac55f6a7af7070ecdb32bdbbcedee8cc1080adf4b9f9
Size278.00 B
Modification timeThu, 07 May 2020 07:37:02 UTC
Userroot
Grouproot
Mode-rw-rw-r--
Flags documentation
RPMocaml-docs-4.11.0-0.4.dev2.fc33.riscv64.rpm