Thu, 28 Mar 2024 14:58:35 CET | login

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

Name/usr/share/man/man1/opam-config.1.gz
Digest (sha256)68aea5731bba4899023cfdb0a8a8124bc953a3108ef07017b5444355fd9dd169
Size6873
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