Sat, 23 Nov 2024 19:17:45 CET | login

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

Name/usr/share/man/man1/opam-unpin.1.gz
Digest (sha256)90e1d7110c18917fca22279b7b4d2af15911ae73203588b747fd88018eb080e3
Size7262
Modification timeThu, 02 Jul 2020 22:30:09 CEST
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMopam-2.0.5-2.xcpng8.2.x86_64.rpm