%FILENAME%
agda-2.6.3-13-x86_64.pkg.tar.zst

%NAME%
agda

%BASE%
agda

%VERSION%
2.6.3-13

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

%CSIZE%
14992637

%ISIZE%
97712838

%MD5SUM%
5a7ae6cd9b5590b189c4ead4ff89febc

%SHA256SUM%
c8ad40f92162ea91653916428a367ed338c8961d92d1175f250433565d6673e3

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmSHLeYACgkQeGxj8zDXy5JIJA/+P2RKapyIABI/Z1L8NUPDLTHrAIyHUtVveqggsbBb5r60WgE4G9ftW+6lvuCbZ75jQtBc4HzzhwTKXYll165MNP1i/oUcX0ikvRa9r9GHaZF4Eu3Um930/dptOV+EZJNUaO9cHL+a50ajwjG2DjsJo+Rjr8r4xqrA0k8glF7BtJVysYpER8h61qR77vWTFBEWq59241EWSDG1pvJGud+UB8+V9LFa8wNJsZ5aP1d1avjRTRUF/i0yPaZJHYzHxb34Nn3N3aYL/ADt8o6qjfJ5p7ovfGbPPs5qqqyyMS7jQqdKNCrPBFYvuOiGa4RcwLpT+khicYH1kl6sXKwOhw0ckIFEgSc+gn6skldBvWkH57AY8J3bwExCiLcYyFvs6L/+qV3QxedIUZSs1aVnXwzi2MN7CEh+3k0eROgdL6f7lTLZ5Ejhajo+EU4pTv6fy7HL9EUmEtcO/PmWosU6UKW8iQdvyYXs2TxYo1+hEWsUDWD+21KeSlvek38qWxA4deHi6SggwH4HeDapJn0adN4bkiNNHI56kz4HFpvriTL85b72qX9NqPnvJdC/GmG2FS1Q4t8TJyoKz4Mx+BQHHtJ2TqDMucC84IBXXeXR7ed1FW8XeT3UGBLhjV9SLW4DwAz69VjqA7QwveCIOUIPMGAcD3pJoKmJ418FWfFiSl8lmcc=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1686580274

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

%DEPENDS%
ghc-libs
ghc
haskell-stmonadtrans
haskell-aeson
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-regex-tdfa
haskell-split
haskell-strict
haskell-time-compat
haskell-unordered-containers
haskell-uri-encode
haskell-vector
haskell-vector-hashtables
haskell-zlib

%OPTDEPENDS%
agda-stdlib: for standard library

%MAKEDEPENDS%
alex
happy
ghc

