Wed, 04 Dec 2024 03:31:07 UTC | login

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

Name/usr/share/man/man1/dune-rpc.1.gz
Digest (sha256)95c2be3ff1a11749d203573febe030f2a16ff3c83cbd644ac1eb648b85a0a847
Size786.00 B
Modification timeMon, 18 Dec 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMocaml-dune-3.12.1-3.fc40.riscv64.rpm