Wed, 11 Dec 2024 14:14:05 UTC | login

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

Name/usr/share/man/man1/dune.1.gz
Digest (sha256)a72dd5eb429a32b2d79c9618fbb226cce48835dd86c5395db9027c5a5e7d1c6a
Size2.19 KB
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