%FILENAME%
agda-2.6.2-1.0-pentium4.pkg.tar.zst

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.2-1.0

%DESC%
A dependently typed functional programming language and proof assistant

%CSIZE%
14930613

%ISIZE%
91955679

%MD5SUM%
29147addbfa8a6036c1d4dd36df15e34

%SHA256SUM%
bcf2f089728eca44c37bd6c1e24040d58e3ea73f60fefbf5942ec615e6dbe01c

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmDhil0ACgkQyOj1oK+bp+fZ2wgAj5cjiMpNeSw9oLdEMOFrppL8U/y8kcAWxIG0Oc7k2e4xlsJY/yIQcbTFm4pX7oYM+GqcVTI1jEpEcMf0V8IpmznsyKKpzeB4VQ3J2DVP8LkeLKGVPnkCMZWOrzQVluCwy6zRD0VGnjFzW+jSO7ETzUSY2zvSEGT3l0h9687IVCF0AYYo4R0p0J1C+XYYPw9VbE1eUn4nFCx2j6E/IuiXYjMAacCh8ALWoWzt5lfbOI40PxfYm1XXkBE4R7uv28FR/4hKgBk4RbmcRWmHMzJ5qMjMP1841ypcSumxajfxMGFIUyo8zBBscLPPQpheBn6QqV6Qn7coLI2XhnK2EOzs1g==

%URL%
https://wiki.portal.chalmers.se/agda/

%LICENSE%
custom

%ARCH%
pentium4

%BUILDDATE%
1625392744

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
ghc-libs
ghc
haskell-aeson
haskell-async
haskell-blaze-html
haskell-boxes
haskell-case-insensitive
haskell-cpphs
haskell-data-hash
haskell-edit-distance
haskell-equivalence
haskell-gitrev
haskell-hashable
haskell-hashtables
haskell-monad-control
haskell-murmur-hash
haskell-parallel
haskell-regex-tdfa
haskell-split
haskell-strict
haskell-unordered-containers
haskell-uri-encode
haskell-zlib

%OPTDEPENDS%
agda-stdlib: for standard library

%MAKEDEPENDS%
alex
happy
ghc
haskell-filemanip

