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

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
2.4-2

%DESC%
Agda standard libraries

%CSIZE%
160368099

%ISIZE%
206346602

%SHA256SUM%
aaac6a5d8cc7810065ac1a96b4ee348fcd8cc1b1edf3fe9ba86e0df2aa6f6bd6

%PGPSIG%
iQIzBAABCgAdFiEELjbYYgIhSC/EXLfyqRdkdZMmtEAFAmq5c24ACgkQqRdkdZMmtEDD6BAAisDFSAOnrStt/3NfgBs79KmP1FjzWMn7myW7eHL1E3kyGxXW/Iv0ZZucOaLmpupFtqYPPMpM+RPUAvAn5d8nUSoUyjLnbdIVjPPOUjUJFLX3a43CnE61hJHt4KSJb0m+e/dLlB0lh5ZPBP/J4DRxD79Dz0cpCJpwZ2mMUw36NIMEQuXXk7OingWF+TOO/r6aSkYjWdrWHanCfOVnprd/hgPqupDM0e8jsoUzkV1MkaRB2d+GxWJTT3YW4QPFOos+m+7Pc1vxvlT8+U9AfcLrlilObqoH0+vwsxyb1UQWuQh8SKXFadNzkNSDpRPQRtvUFIWfdcAJHopGJQGiTGK1HA/POv2Q1JA8X/0D5YVqn9S1Y68I5yFoCG0fWIa+66DjAvA/CWtYhbuvHnJYgItUasYo13u08C+HED/Dqoq6F7TB8xb+lfL+yzit4gqsc9oK+cFKsp1Ztkoq2kPLni8d3I5hJ2RavPihibKX3GA4qYppZ9KZ67mwAOIiJnr8uTnzMBADyAs3lYKU/NqIAu1wDLahCAo8HEemfm1MNXkpgDusb4LLKMetaCHiekwozoe5bNhPt5zyJY6OEEzlmXed8ry2R6cITNVa0/TInHMNgSHlEQHoxl9Px/6BeiLs00MUnq+q2IF/kPt96QkDf+8S6oFkYkxbW1zW6Yc0SSBcQes=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1790538192

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

%DEPENDS%
agda=2.8.0.2

%MAKEDEPENDS%
git
ghc
haskell-filemanip

