Wed, 04 Dec 2024 03:30:28 UTC | login

Information for file /usr/share/man/man1/dune-internal.1.gz

Name/usr/share/man/man1/dune-internal.1.gz
Digest (sha256)e156336b905b2d5a8bbb4ac0150825857eb1b2ef7935500f9b17cd67b985f2a6
Size599.00 B
Modification timeMon, 18 Dec 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMocaml-dune-3.12.1-3.fc40.riscv64.rpm