Sat, 15 Jun 2024 18:11:03 UTC | login

Information for file /usr/share/doc/Agda-stdlib-docs/EverythingSafe.agda

Name/usr/share/doc/Agda-stdlib-docs/EverythingSafe.agda
Digest (sha256)f85d46334e7b4f614e5a83a2620124f7caf3ca14aebf6305e138b77e04745aad
Size67.54 KB
Modification timeWed, 20 Jul 2022 18:32:11 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMAgda-stdlib-docs-1.7.1-3.fc37.noarch.rpm