-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 06 Aug 2022 16:14:08 +0300 Source: agda Architecture: source Version: 2.6.2.2-1 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Ilias Tsitsimpis <iliastsi@debian.org> Closes: 992448 1003318 1008809 Changes: agda (2.6.2.2-1) unstable; urgency=medium . * New upstream release (Closes: #1003318) * Declare compliance with Debian policy 4.6.1 * Install missing files (Closes: #1008809, #992448) Checksums-Sha1: 6809a1b1e1db11afbb1998abc1ede83396ae77b1 4447 agda_2.6.2.2-1.dsc 45d4df07f49602a6ce42b3e6a9152651e5d0716c 1690635 agda_2.6.2.2.orig.tar.gz 94446009af7881008f4c424bff2d0b12187ade12 10192 agda_2.6.2.2-1.debian.tar.xz 8db9a231ce6b44bcddaa1a8f0a96c890968879e5 16197 agda_2.6.2.2-1_amd64.buildinfo Checksums-Sha256: 74e075e94f84246a2d2b793f2405eab3a14b07b7de6831da6b260a5d1f952420 4447 agda_2.6.2.2-1.dsc e5be3761717b144f64e760d8589ec6fdc0dda60d40125c49cdd48f54185c527a 1690635 agda_2.6.2.2.orig.tar.gz a2e1abb25a2896188ed10f90394ca25cc29ee38b017a2bbd1169fbcc7795b51f 10192 agda_2.6.2.2-1.debian.tar.xz 49d80f432297a1dc9fc400055d7b4ff647289c1f261957d0871ab592ef5720ee 16197 agda_2.6.2.2-1_amd64.buildinfo Files: 3974e1136f1b1f4528ccb9db9e4b1642 4447 haskell optional agda_2.6.2.2-1.dsc 645087903c92b4cf387d62f3a4b47d08 1690635 haskell optional agda_2.6.2.2.orig.tar.gz c4eb7ea0d037042e80480403d06bf13a 10192 haskell optional agda_2.6.2.2-1.debian.tar.xz d1f3dc758ed1ea0fe7f17beb5a811743 16197 haskell optional agda_2.6.2.2-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmLunxoUHGlsaWFzdHNp QGRlYmlhbi5vcmcACgkQ16hngMxkQDw+/w/9EDMfx/Xk1iJxI0KTEUmvWq6TKknM PBn799rEwdu63Gh80kk68w4/3nu4M0YTfte4WXRwtsdAWsp+s7/R8ZWT3WaAHPsG yTyrbX4Y5RCsSt193IUd6UlAj+gWxW32RWicPFBe9AW3SGCp2Pq7EuWTdQ1I3X/C RMCf1ME/8FQBuga7anHlOELaMryyvTfjtxFEcVhhduGu21N77x4PjssUTaBEURCy DkZa8wnlRkVxUSaMvW31sC/Oup4O03hkATq8tzhfJG2pfMUsRDB3x31rYcv6EiC6 PvUJZ1GPj0M4kSHmKkIwQbx27LIbpgJbwfoz6vgO/ZHlnqFp4rwXqVFRLcqkfGoh JrxQDni6mg7OmTZ+YIXfMhowWzFPGXdVIKxzGy5q0+71pae8F+russG9v1H5D+y1 ZSKIINyx/xSE0zW4liv/vLlc3p0mNP/nHie5ECzOdYoplKadFpSzaLBAurD8pYWM KWKW+Z1CFVGOe9gpkVd/sA9jySDlhAn+fJVNqrMs9DQ989LRtF1H5fnbQodbwqGi dTIFPR58Isl+lZ9RYdi/kWlaNunk+iClobX6tEibdqm34noBvi07+dIjVnP8SrW2 2TRyWbjujHT5QnxZFmH5iKnJsNdqjb8t7XXezfB/VNY1t0kZY+EugBqwwNd3WR6R /WCWEf4Ky89wZTw= =/fVd -----END PGP SIGNATURE-----
