%FILENAME%
agda-stdlib-1.2-1-x86_64.pkg.tar.xz

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
1.2-1

%DESC%
Agda standard libraries

%CSIZE%
62915460

%ISIZE%
82737616

%MD5SUM%
2522de8d55f5c1d0f0e8f404f99fc839

%SHA256SUM%
90b4cb5f07895aba7b90a53a9ca1ef1592d94d29a3243a2836df3e632d117aff

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAl3+m2QACgkQeGxj8zDXy5LinhAAjeb/CVI55XkGlcW9Dn5T1TN4EiPLz3udQbon1PTf8BdYKV9Krd0RItCM6fumbT8+vBAjbdDjesdj9sjCqFCu61OsPrk18TYFEtlenhvUPnuLOnYtbxiwHCaA8txLEzEEmfWy54EeeR13sayehuSFak/3vSISsvDWnsfWNRyyLFOuSObJoVxUhMbG8wlZEoH1bMiG3HKZlRlFqqVNZcQBLx5t9LAFzVYBdfHvamPUzDp9YdEeV5xjdTpqkBmOOG1dkGDtG6wDAlX2ozZT0vBqbNOaFnvtfi8awM3O9Av3vaB9RhCH/PQH0c9Vx0CbWIqZpZlUKa208yfxPwrc1Jo6D0NhGuF7OyjFJxIH5gvK0TgqLxkz0FuiFECz55eWS+K1xjDK9rayAdNz5TrszS26frtKIXnIY2H2O0Pj7ydOUL/0vG9qU2j24sb7ZAM+8+7DhC9JeIj82iIqkvoqhJOOPMTtVJVZIyLUuWGdUsnaSkuEy8Pfc4u73rrMoyPZin7Dig8Xd2F3wHRlXVd8wyHzjZ5D5FU8vsWzERkSBcFEccfJnIjCSVYAdypQpv9+M2+mdvAGEfYQRgm6ppDzHK86LU9DGS6hLMeSnzgp6Zsjf5CrlIsIxCKCoJZKfp9odmaMIAU5sOVmMiQRe+3a2XueHeEgXxy962cXgXFuC3vS7+c=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1576965546

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

%DEPENDS%
agda

%MAKEDEPENDS%
ghc
haskell-filemanip

