%FILENAME%
agda-2.6.1.2-62.0-i686.pkg.tar.zst

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.1.2-62.0

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

%CSIZE%
26566168

%ISIZE%
198809106

%MD5SUM%
6b4c5b8f168d86628ec2a247706f4798

%SHA256SUM%
38e73af01405bcc13cb17f3e5f1ab44c9ef4e8697ec5b7c4ec57a9a045e9b54f

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmAr7pgACgkQyOj1oK+bp+fLzwf+Mk/XZmsbi9DQqH2IdQv7OPfRhEUt/5m5nNkWeN83Fzo+i1VIC39F9bZoLj7FC825XvFr5oww9pUqLAuvCqAtII8Fc4fOnM4u1MLm6KdoXKBxCJvN8WPlbQzQh8B/XVIs3vomaMHKKCL8FcynRu2hBKIr9kxyiC+7phxfPuEX3f7sfN/Lbd6X4JToPaRDlAxLjgGC1Sz39uSw+PZj+W/reiLryF3j4HxHB4Y8d+aXrB3bjbozEq1c4x8L3QIWu7rOHPjwnAQloq3ZPG/ccUd3451GwExvnV5ONCI2+YleTUJnUY9RpUqAOrHZ5+MlAj/O8CVjsUvjUPVXjK+qFZ5m5Q==

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

%LICENSE%
custom

%ARCH%
i686

%BUILDDATE%
1613490350

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

%DEPENDS%
ghc-libs
ghc
haskell-aeson
haskell-async
haskell-blaze-html
haskell-boxes
haskell-cpphs
haskell-data-hash
haskell-edit-distance
haskell-equivalence
haskell-geniplate-mirror
haskell-gitrev
haskell-hashable
haskell-hashtables
haskell-ieee754
haskell-murmur-hash
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

