Tue, 23 Jun 2026 17:48:00 UTC | login

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

Name/usr/share/man/man1/opam-config.1.gz
Digest (sha256)ad1ad3f53580f6b0e06f3c0a1283f6c8886669ebe8bacf5746820d01be9b0b10
Size8.35 KB
Modification timeTue, 23 Jun 2026 12:23:17 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMopam-2.5.1-1.1~newocaml.1.xcpng8.3.x86_64.rpm