Sat, 30 Nov 2024 09:45:36 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 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