%FILENAME%
agda-stdlib-2.4-1-x86_64.pkg.tar.zst

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
2.4-1

%DESC%
Agda standard libraries

%CSIZE%
160368650

%ISIZE%
206346576

%SHA256SUM%
16a7bcd090a9653857160ac897e4e561cdad4506182b1e4118288e9a8c94c306

%PGPSIG%
iQIzBAABCgAdFiEELjbYYgIhSC/EXLfyqRdkdZMmtEAFAmp9vXIACgkQqRdkdZMmtEAwWg//V5b5QNXTHQldAWlyO4KysPC1dMPcGRY0fmlhWj6f/WDOrI5JDlYxEdHn8kJwsIvtsMnN1PafK07gLolzdsbJNdZoKbD4NM60/YG5kFFNPVXUdfo+1YUYyb2ljExwSsmP0On4AVrtspilumPHIHGd0As5jPAzE1r62B9a/mCyndl/O2es8nOU8hq3rk6dqWeacL3quPc8PBN87AVMVS2snjehnFnyDQG+PgrfP9VZA9j+VkDEC3g/MWj4XY9ZuMnOlaqrESwrRKSF2MdRWgzf8vTn/KI1U9lrAiOw5Gp9PZjaPD/iG8tXg2L32edxr53BGYxdX2JQ/e9lEnW2fJm2F9afaaKSEeVZFQexl7H6S1gaFLjlw2hUuso4dGEs50jjqZWG8zCUC2VC0dTnE9tI25v4GGXKzLvGX2wNM/U3iOtFCV+YCSXXk1j43Sjkbu80DMnjfnwb0oyYo6dP6FBGRc+fZcAsv66RUTgMazw+1NHYYhgPP25WIqNRMNkdspDjtXjvs7Nks2b/ccJnlU+UzTFtcGKvJm9J8JO7dOKfhxXg+6U+Sz3domUQSKh+b9nftRwWLbztQf25ahJZyZ2gsexKYl8fYMiDctvisOCRSey/4N9gqxgHQ8X1A/m3T3izNkWavkz49rXxh/Mfwd2c7r6YpA5wOTeX6nmFPCzFOgU=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1786624845

%PACKAGER%
Lukas Fleischer <lfleischer@archlinux.org>

%DEPENDS%
agda=2.8.0

%MAKEDEPENDS%
git
ghc
haskell-filemanip

