Tue, 03 Dec 2024 16:31:21 UTC | login

Information for file /usr/share/man/man1/opam-reinstall.1.gz

Name/usr/share/man/man1/opam-reinstall.1.gz
Digest (sha256)a14e040491c8de6401b4b73adb7232bffbdb9380474e69d83c439f39c5ff2c14
Size8.79 KB
Modification timeThu, 25 Jan 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMopam-2.1.5-11.fc40.riscv64.rpm