Tue, 03 Dec 2024 00:29:14 UTC | login

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

Name/usr/share/man/man1/opam-unpin.1.gz
Digest (sha256)a246fe066fbfcb76cbce59a462f341946f085c5718a90669bcbe431528b2fa40
Size8.98 KB
Modification timeThu, 25 Jan 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMopam-2.1.5-11.fc40.riscv64.rpm