Thu, 31 Oct 2024 23:43:40 UTC | login

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

Name/usr/share/man/man1/dune-utop.1.gz
Digest (sha256)0cf6770957160dd7fb0a1f951e4334e5a2998ad23dc40ed3a2cf002407aa7a4f
Size4.55 KB
Modification timeTue, 24 Jan 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMocaml-dune-3.6.1-3.fc38.riscv64.rpm