Sat, 30 Aug 2025 14:28:59 UTC | login

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

Name/usr/share/man/man1/opam-switch.1.gz
Digest (sha256)e262b5a1b9a797bfe9d1de12a925dc61257d88e30a63252a1c61b2289dbe004a
Size10.38 KB
Modification timeFri, 22 Sep 2023 12:54:19 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMopam-2.1.4-4.xcpng8.3.x86_64.rpm