Thu, 28 Mar 2024 21:24:30 CET | login

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

Name/usr/share/man/man1/opam-admin-filter.1.gz
Digest (sha256)9d3d54b0d345fc6434b8627ae637fb6fc4fc6f1e4c7b4cb824f7eb4c55bda0c7
Size6769
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