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

Name/usr/share/man/man1/dune-internal.1.gz
Digest (sha256)736a6458d38d34faf34aa2bc5f1400f8a56efa8dd7552043175fd51df3659def
Size633.00 B
Modification timeThu, 21 Sep 2023 00:49:19 CST
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMocaml-dune-3.7.0-2.oc9.1.x86_64.rpm