Sun, 24 Nov 2024 23:55:00 UTC | login

Information for file /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.17.md

Name/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.17.md
Digest (sha256)51061efd2d695d5cb6f91397013b36ebf33f4526e1962bec4bca204fd10abfa8
Size35.93 KB
Modification timeMon, 22 Nov 2021 17:07:38 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMAgda-stdlib-docs-1.7.1-5.fc38.noarch.rpm