Sat, 23 Nov 2024 19:01:01 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)e0fce51bb0f9951b9d2e575b588ac2d45f88adac8f0ba3a68954a25f0c348b57
Size5760
Modification timeThu, 02 Jul 2020 22:30:09 CEST
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMopam-2.0.5-2.xcpng8.2.x86_64.rpm