Sat, 23 Nov 2024 18:34:33 CET | login

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

Name/usr/share/man/man1/opam-remove.1.gz
Digest (sha256)4d497809801d61fea80bd940dc073c0ffe47cfe78f1aca6bffed30cca4043871
Size6669
Modification timeFri, 03 May 2019 17:23:26 CEST
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMopam-2.0.0-2.1.xcpng8.0.x86_64.rpm