Sat, 23 Nov 2024 20:11:56 CET | login

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

Name/usr/share/man/man1/opam-remote.1.gz
Digest (sha256)fd393874b92d4260526703bfc9811a7a4b0cb42486a0739decf6fe25903f911c
Size5276
Modification timeFri, 03 May 2019 14:52:50 CEST
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMopam-2.0.0-2.xcpng8.0.x86_64.rpm