Sun, 10 Nov 2024 04:29:12 UTC | login

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

Name/usr/share/man/man1/dune-upgrade.1.gz
Digest (sha256)6589cd348f11687dfa9f125da8b23bd7badbd5bfad6b1c4badd1fc441b475219
Size4.69 KB
Modification timeThu, 18 Jul 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMocaml-dune-3.16.0-3.fc41.riscv64.rpm