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

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
2.1-1

%DESC%
Agda standard libraries

%CSIZE%
141459289

%ISIZE%
181824245

%SHA256SUM%
47cc0d4cd70a37fc978f9296d74e89fb1606d259db5ba214b9f6271f5c92a30e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmi16xAACgkQeGxj8zDXy5LQmBAAlG22f+zrJBJU2RiaeQJh+jQdA7zIRmeuhlfhiB6pHjFNuH6EGXWknTNnez9v3bcSYk7WDOUM4QcouKEoEZNr1cwhbndIuse2WR2WN9aCJ0LuVLylxGEQJ3+TOqkNaDGxtwp5asf0nnTBUgI3Tyq7EYYV4ifzl7Etghzmj8xecvX8j4ItXFmttWL5pYGUMDokHbhTDkHTpBLarQv2NZsIAvCUnmPpxbXaMmUAEpA/MlvjJUv7pJ7h8kRcBxUuTZRKCOW8ovOlvTsbDpINg2hBxKXFOKxLzdmRwNPsfcM7/z1iGGHsddSf6WxTOKmCVpHRdZBAFdaefZOalFcdK8H71EAtJC3lLw+AxCx/pSlgnsrHaeHILYErArpeO15PeEsbhIl+6X2km0gxBf5t8JQ2kdKyeOTPaydm1geJqqxGqQA48BMyYXR7wzkC4lQl3xugczpYNohYwHlKDzoMQo79xajuK6p0YmV/Bal9N2ecjJZB+u7PjwxUQ7jdWmZw64phQ2sQvVzneulvVEk+UK5RKBFZVC7Vw8SIckKRNkb7pGWqfuDLsRqWjOw0kxliusAwC7MOjXg5vx3imijKV4T3QLyGF71Z+yKEZdXwNApykfvQtMzVmRKkbR6VfFrLfLa3WKrs+3ESLxb3WoHUQZs1iHE324k8sOkbni1Tu3Uaodk=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1756752216

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

%DEPENDS%
agda=2.6.4.3

%MAKEDEPENDS%
git
ghc
haskell-filemanip

