Fri, 13 Dec 2024 12:55:32 UTC | login

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 timeWed, 24 Jan 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMidris-1.3.4-14.fc40.riscv64.rpm