Accepted agda 2.6.2.2-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted agda 2.6.2.2-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 06 Aug 2022 17:20:06 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=f07TkjGX+TG7KBKi8UfK7E2sNRzL77SH6x6JRt5NhCY=; b=Hm5ANVAc2CD6CT4BA6NNKRFNvC 1LYgODaZgx52+G172xYcrWQk+IiHJL+FgZJ4MSr5Nj+BN11+YEHKkqwr8LE0WjrpkTTMQ2fLYCbvU yk58a5aOyvki0loSZThaTRAPWlWWIhVGLsCKKsUN2HttjmCfGRdRwrpi5qz8lxmngCv19aAX6QPhI Q9REn3vcJMypWGFd5iHaNjGrgeOzHC1KVlls2Cn8+eoA3vJs8MSBPXdHzFixXb1okZoiJPWiCCCsD eqb+j62U+vE0pU5mMWzKREyae1kjh8dGjequJkHdVhnD6u6bwKBxHNbFiVwgNLPrCxWQG2PrFNtvA UXsNSN0g==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oKNT4-00GLUb-Mc@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----