Fri, 29 Aug 2025 23:39:17 UTC | login

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

Name/usr/share/man/man1/opam-switch.1.gz
Digest (sha256)9ed5ceb5f3af5940c250827da5cc27c20b2f97bf09b1c8a19265027baeab10a4
Size8.18 KB
Modification timeTue, 13 Sep 2022 20:49:53 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMopam-2.0.10-4.xcpng8.3.x86_64.rpm