%FILENAME%
agda-2.6.4.3-36-x86_64.pkg.tar.zst

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.4.3-36

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

%CSIZE%
25156606

%ISIZE%
243514183

%MD5SUM%
1c8c9ad19c39bbf0e8841b44bf146d53

%SHA256SUM%
862f024fb3543b01552cfafe6369a9fe4590fe82d330ba22684df00f27f32067

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiSO7QACgkQeGxj8zDXy5J44g//ctSrmLcERFzyszoq8K+w4oZH9F8fvTk4k+S7G477/5fMBMhAfO6gUpwZl9eYamCDFxbvFl0+lj/5bSPsAhDys6tCLSCfZxWsszEPiRdtssf4hGI/itaZtMqd6DFNXcNgxZuZu5Y4E0s6AyM6S1vtzjnw15JgkEVQlgYXmQEqe+DqeXuS0AAzeUBJmxGbJ3NCwPLSOlXBxPOuO7Vhr6T8KsyH+nDgTQetN2+zooMnVmAe6Is3ov0es8xdOeeRdFA27i40K6n8IAnduGOwwozTy0kn0Blnxiai5s0ij0EaatziiUQTnQBlBSyOrjejoXDHqTEEj9x5zHrFTL2zO35CyqAELKhcukvINlrJpJpLfx1kMpG12UOxHV+x0Hcu47p3cYP4gxpZpflv62WoZlPoVT8eWCgmV/IZFx7NfSeKvpLW5Cfxq7ZBSPHZOhI30F+XuWu9vBS5KznkILSXnGzNQ2hF7KTF1Jcx48vMw6fOv88bqVpb7gLiwB/nsnD0mmD7Xd9/P18Ga7KapBVxb3BtLB5hVUzmqKPspWSL6WhWMwl/tnPVnb0RJd7gxFx2O7rq1F1ARtxT31gqnATA33/Pd+Hz9c1ZMh1ZrSSqNxRkf1wHPnGHT5FTma2qP1UDmt9i7AJt2tsUZJuUiwfzNyzNgeQqRsBxwsJT1Vp0FqvhSS4=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1754413544

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

%DEPENDS%
ghc-libs
ghc
haskell-stmonadtrans
haskell-aeson
haskell-ansi-terminal
haskell-async
haskell-blaze-html
haskell-boxes
haskell-case-insensitive
haskell-cpphs
haskell-data-hash
haskell-dlist
haskell-edit-distance
haskell-equivalence
haskell-gitrev
haskell-hashable
haskell-monad-control
haskell-murmur-hash
haskell-parallel
haskell-peano
haskell-regex-tdfa
haskell-split
haskell-strict
haskell-time-compat
haskell-unordered-containers
haskell-uri-encode
haskell-vector
haskell-vector-hashtables
haskell-zlib
haskell-text-icu

%OPTDEPENDS%
agda-stdlib: for standard library

%MAKEDEPENDS%
alex
happy
ghc

