Sun, 16 Jun 2024 09:47:09 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)5ecaad9eba78f0bd55fddc7e07b26192465fa41bc9983bbcd06f29d33cb2a570
Size241.00 B
Modification timeFri, 27 Nov 2020 16:51:40 UTC
Userroot
Grouproot
Mode-rw-rw-r--
Flags documentation
RPMocaml-docs-4.11.1-1.fc33.riscv64.rpm