Sat, 15 Jun 2024 23:02:47 UTC | login

Information for file /usr/share/man/man1/menhir.1.gz

Name/usr/share/man/man1/menhir.1.gz
Digest (sha256)83d486eedf034c78f0f005da74362f1d563e43a547faa72397d906630334f84a
Size2.19 KB
Modification timeMon, 18 Dec 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMocaml-menhir-20230608-7.fc40.riscv64.rpm