Tue, 26 Nov 2024 07:57:50 UTC | login

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

Name/usr/share/man/man1/opam-pin.1.gz
Digest (sha256)af884de53a68873b675319354f8726a0f9456ad083fcd9d2e8f5fee2a8e15c25
Size10.44 KB
Modification timeThu, 22 Aug 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMopam-2.2.1-1.fc41.riscv64.rpm