Wed, 27 Nov 2024 04:47:30 UTC | login

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

Name/usr/share/man/man1/dune-init.1.gz
Digest (sha256)dd939e24e095cb883a3f51a41811f0b534341e3b30c761a9f214e28b30ea6411
Size1.43 KB
Modification timeWed, 14 Feb 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMocaml-dune-3.14.0-1.fc40.riscv64.rpm