Thu, 31 Oct 2024 23:15:52 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 timeThu, 30 Nov 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMocaml-dune-3.12.1-1.fc40.riscv64.rpm