%FILENAME%
agda-stdlib-2.1-1-x86_64.pkg.tar.zst

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
2.1-1

%DESC%
Agda standard libraries

%CSIZE%
141459289

%ISIZE%
181824245

%SHA256SUM%
47cc0d4cd70a37fc978f9296d74e89fb1606d259db5ba214b9f6271f5c92a30e

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn3woACgkQrx0hme8KPM8q5Q/+NCdkYfbjejwRiyeyZEBHgc5bNxOmhrxMBzOCcLelcJfXaxwD5ouqY3N8C7AOVrpOb9phMvxEVaS38tCsMlra5F9s/xFX7ZFacK5I6iTOD9Hh54+MMtXkxf1mzylZbJtbH9EZPTRr/Rky1vVq5RnTtcaAyT9tp/GpNkiTazrheRk8Ejptnlw9rQssCAtPdF27973Mw4/IO/LvXEA+CMJnvPSRajeEsPdAjC5ALXRQdMDoJe+CHyzCwt3ZaaTCY6q1NaaA3RpZYEoc/Dl814pj7AcZqy+It2wDWfrX6tLktFlPErEsJDhra+jMUd+t70mjcprw66ILFSDudjzK8zXL6eSncwgiofVkCXMi6oQqiUnw1TqjJmYYoYvxKUuuPxagv/9MAX6lvOYG0Ssgtm1MllhaZbcWn2lIP+y6XQGqJrpYYLKw8wYuzS5Wn94h/IuMQCn3QPrwdrlGhO75++Gh1FKm5HJoL20cNHzGXaw1jBINts06pAKo9QSWxtSJHOhFLo9EaKbaXsWqoUDCuGPaNM4BiW+8OwqHJ8uwZb/K5k/A7fq585X3qCu6VvLxakr/AoWGswc0DQd7ptvjLsM4WgGHHewsWa3Jv7D0/U+4W9jqA45JAChnLObkyI9Jz/ZQGLXSxOwkDDPorQQAIUqPrnrD/qlY1c7I1CxMuss4akU=

%URL%
https://github.com/agda/agda-stdlib

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1756752216

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
agda=2.6.4.3

%MAKEDEPENDS%
git
ghc
haskell-filemanip

