Thu, 31 Oct 2024 23:15:28 UTC | login

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

Name/usr/share/man/man1/dune-pkg.1.gz
Digest (sha256)2b65dd1f1a376f9e498460801bad4edb2c1d60295e1796297fdcb62fa07d7ba6
Size891.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