Sat, 23 Nov 2024 18:38:27 CET | login

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

Name/usr/share/man/man1/opam-clean.1.gz
Digest (sha256)ade5c7553795bdd6d9771c36d3a08e7d0c595e30b0d62e387a6fd17a305b7d7d
Size5208
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