-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 15 Feb 2026 15:02:07 +0200 Source: agda-stdlib Architecture: source Version: 2.3-1 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group <[email protected]> Changed-By: Ilias Tsitsimpis <[email protected]> Changes: agda-stdlib (2.3-1) unstable; urgency=medium . * New upstream release Checksums-Sha1: 3b51398bbd456d4c2254a39eeb9b44785f6833df 2219 agda-stdlib_2.3-1.dsc 4c31cbec3e5a5394e50a99be3d322217ccea5465 1267194 agda-stdlib_2.3.orig.tar.gz b0d278e403829b952737a79bac9f56cabf1c45f7 6088 agda-stdlib_2.3-1.debian.tar.xz ff1a55ecf4068cb1ddb9f3c083e315986f73f2f7 10383 agda-stdlib_2.3-1_amd64.buildinfo Checksums-Sha256: a2f1da1c29c5579ebf99ad68a12377e1aaa22a819b7fc31e415bd2fe7818e409 2219 agda-stdlib_2.3-1.dsc 407286af16f2b5b8aebe577b3610ae9b40ce296ed3c03c66444b5801c2fa3012 1267194 agda-stdlib_2.3.orig.tar.gz 8618cb3b95fdfec8d14150d9595e262a30cebdf78345147870c01982c45dca85 6088 agda-stdlib_2.3-1.debian.tar.xz f2cc52ae5acb92cdfe17a8bc2d23d2af6c233724c1d5eaef78265fea35952d02 10383 agda-stdlib_2.3-1_amd64.buildinfo Files: e5d85b193142407809dfc19d247f28d4 2219 libs optional agda-stdlib_2.3-1.dsc d3a05d2ce9bcf51566327f715db239d6 1267194 libs optional agda-stdlib_2.3.orig.tar.gz 9ac2840f6e239b189c377911af3f76f2 6088 libs optional agda-stdlib_2.3-1.debian.tar.xz 06507bc861285e3d992bb07b3c80a48f 10383 libs optional agda-stdlib_2.3-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmmR8gAUHGlsaWFzdHNp QGRlYmlhbi5vcmcACgkQ16hngMxkQDx6bhAAipwXeaiPbmbpLNKRxQ3xtZ0uc37z huepr09si64iYpPtfjCiCEXKA886oxeDNlGTevY/U5xTV7uJTmVj0nXQ9bajPN5T uKE/ia/xeWoF96stG6OoLHKz2AkY4OWzS4SEwomXFdTnzggUUjx1JXLpq7T/z5/Q ZdoxxnH4Zc+bljmfzvr8F26Oz0bENczwmeUrbDiO0dra/hyBSScxV5DxN4atBmPU KhynXApsXyb/wT9R/EWyH7q3CTaxTwdg2md2jMZ94fNzcdIsDZLObA4pgbB6ICsE hZSZKauCyEqEOaoX1Vmt+9Ng8BSJp77D6kukXbk/v4JLX41Y3/ji32ib+oJsskL3 h7ppbmxx0soUnPl31VzD8uasIXckzCbeDjfdX7xj3xNClQ3hiFlo/hMVkevZv9Pi gnF2oxuUoAdgqqGKJVoGJV/mXAJGH6cTNTsOw3aTsmJRVENPKPuATPkqzrMQ4Itu 4Bv58Ccze9Jh6Bf17NB+MPFAfr+b9PcgO6j6HzrnH3Htt6XK5oWd9jITbBiEhVXG o0HPOU/9WRL/9nj9Lwc2A8QxwuyCrNV4jyjXVxsoM8X9J5W3I4Ark6dhBSOcQmyq 7FpWiC0PhqieUExWkvGT7KEOrmFHeVFSka5k1+fB8Mbyzf6EEgXH6JvuIfbUUllx ROIIWGjXO/rDfto= =u/1g -----END PGP SIGNATURE-----
pgp1U_wcvrYJl.pgp
Description: PGP signature
