agda_2.6.2.2-1_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

-----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 at lists.alioth.debian.org>
Changed-By: Ilias Tsitsimpis <iliastsi at 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-----


Thank you for your contribution to Debian.