Thu, 20 Jun 2024 23:53:28 UTC | login

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

Name/usr/share/man/man1/opam-lint.1.gz
Digest (sha256)27314e90af1a686d3e6615f6c5f4c86fc618a90495924ab11f373e28cbcde563
Size5.85 KB
Modification timeWed, 02 Dec 2020 13:09:44 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMopam-2.0.6-10.fc33.1.riscv64.rpm