%FILENAME%
agda-stdlib-1.4-2.0-i686.pkg.tar.zst

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
1.4-2.0

%DESC%
Agda standard libraries

%CSIZE%
82118554

%ISIZE%
106550670

%MD5SUM%
4003b48330766af582a982d6ee8a8613

%SHA256SUM%
58b3552f176626d6f9017fad323c1d7d7fd9fd0d15c3175fac0ac7888c765b16

%PGPSIG%
iQIzBAABCAAdFiEEQVthRbOJyKdMn8SyLBRsAalSrA8FAl+4IsoACgkQLBRsAalSrA8IVRAAhXudcrAZUpEARujBag2XfGDGG8Bw8nXd24Bnut701i0oZeETrPLxWfYv6fPf1k2NJNfzNPgsq17h5DVvRgE6koIi9ITBA7x00shyF9BuQ90KZJaNJrOa9+0SRQuqKXNxbIn++PbQAIoVbsxNOfRgaHs8iot3Wd183zLmxZcmcDn9oB+Kav0kZ978w6kBWqZItVlbjA9rodsHcnVAcwNpjnTiUmvdhz0ocyywAfdcXAgCsazebGuj/zOt0j78Jk610Pd+i0qpGAfYyPv4at4vBduRllyBDPYF0psdGyHhcEKOS7bmJ2xUi8++L5fQzS0gpTAO1kUiZ6M33V+kTuokwfI49bobDIJC8sam5G+SJRyNHhn6iXm2hRZvciwkV4M8DfteBjyP7W9TOQMUb45ywJ8VUKavezk/BnC3YSLKzIwSOoP7OQyidFwvwZx6H/83eknic3p9D5D+mUuesrDKVasj11/TVKnSspG7WvFIQEKyqM1UlRGYguzf6hq+PLiXsXJSwb8xrABIgjbS+agg7qNHGraw/ZsMR/hSxrPacNrU/C1IVdQUKeEJboqfpYrSIgZ8tdI/UR/Qoh5bvqXJsNUV8j5b5zBI9e7i5XduiolD3fHC1XST7Q4DZVy4D5qT2a/26y0XR9I7dZSUEC77hx604NqUcIMCLQvrAlaIzd0=

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

%LICENSE%
MIT

%ARCH%
i686

%BUILDDATE%
1605902423

%PACKAGER%
Erich Eckner <arch32 at eckner dot net>

%DEPENDS%
agda=2.6.1.2

%MAKEDEPENDS%
ghc
uusi
haskell-filemanip

