Sat, 23 Nov 2024 19:26:30 CET | login

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

Name/usr/share/man/man1/opam-admin-lint.1.gz
Digest (sha256)d0eba3d0751dafc4d53d708542eac51babcc6d39815e088b038a77f9ea55f2f2
Size5035
Modification timeFri, 03 May 2019 14:52:50 CEST
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMopam-2.0.0-2.xcpng8.0.x86_64.rpm