Thu, 28 Nov 2024 16:15:06 UTC | login

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

Name/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.06.md
Digest (sha256)0f8431f3c2dc9da1a5d7750d95c52d12d7666d5b2eabca3ddcdfa9ae96cd2a05
Size217.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