Information for file /usr/share/man/man1/idris.1.gz

Name/usr/share/man/man1/idris.1.gz
Digest (sha256)ba87efce6386d12d5da12932530c484b02a9ab3a6395e18a55ba4e74063d5c20
Size2.18 KB
Modification timeMon, 05 Aug 2024 13:44:56 CST
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMidris-1.3.4-1.oc9.x86_64.rpm