Thu, 06 Feb 2025 17:06:56 UTC | login

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

Name/usr/share/man/man1/opam-switch.1.gz
Digest (sha256)3651468dde59c96c57dc5856b7e1a43febda0c03a37b2a11b74a7d0a1161c8b2
Size10.97 KB
Modification timeFri, 10 Jan 2025 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMopam-2.3.0-1.fc42.riscv64.rpm