Sat, 23 Nov 2024 18:53:05 CET | login

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

Name/usr/share/man/man1/opam-admin-index.1.gz
Digest (sha256)0dc6a855aa6e842bd38544d3a6f29f3c54cbec4c364fba076465c666aa74f763
Size5156
Modification timeThu, 09 Jan 2020 11:10:35 CET
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMopam-2.0.0-2.xcpng8.1.x86_64.rpm