Sun, 24 Nov 2024 23:24:27 UTC | login

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

Name/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.11.md
Digest (sha256)0e497d9da6a7db41f108e585bcd01d748d5c396a56746fda188a13a47df73738
Size599.00 B
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