Fri, 22 Nov 2024 12:39:33 CET | login

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

Name/usr/share/man/man1/opam-search.1.gz
Digest (sha256)31658afed8f31862654b989174ae4856cb84f9788bdbbd3c809b05f3482ce086
Size9172
Modification timeFri, 22 Sep 2023 14:54:19 CEST
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMopam-2.1.4-4.xcpng8.3.x86_64.rpm