Accepted agda 2.6.3-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted agda 2.6.3-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 13 Oct 2023 15:49:04 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: agda_2.6.3-1_source.changes
- Debian-source: agda
- Debian-suite: unstable
- Debian-version: 2.6.3-1
- 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: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=XBEJybtH7Yf0ZeddU5Wp8uidXg6m3owpLo5aQDytQmM=; b=acczpLCGLWpr6CeDOIhwf15JPQ vwjQdHstfoZBdjzaoV9oRnUBWnZ6iZLikhyONDf7Nks7qRu32/P2jS+SzafJc+TD/huQvR9jUToZY wMCvp1+Cps292rlc5ZfgPvXWaUk5rZsoBTQxTkeq2L/Hrr2BWOzRwxsoRbeYkPlYt6J4zf+mIhJ80 PKNZp/oHTT2iIhErQuXbwXPSw5u3yQHWQEx83Ce34jygtx+MJT1HD0E+CEtjKVQqAJK7N/1JUlM8a K0u4h/5sH+kCLO+H/dW9/j5ER3IfyEKJGRGkqYNjA7c+gntm1V7BIZtN/Ey+A/FdRwo8taNeNHexD fjHaRMGQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qrKPQ-009m6b-KQ@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 13 Oct 2023 17:57:46 +0300
Source: agda
Architecture: source
Version: 2.6.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Ilias Tsitsimpis <iliastsi@debian.org>
Changes:
agda (2.6.3-1) unstable; urgency=medium
.
* Declare compliance with Debian policy 4.6.2
* New upstream release
Checksums-Sha1:
e3832330ae45349522db17a0fce96ca5b98a189a 4944 agda_2.6.3-1.dsc
aa785cb9c9d7a362d16bb879b451995c6452cb50 1794269 agda_2.6.3.orig.tar.gz
d3df5018412b4926c371e6f6fbc2d2f0a1b2a08c 11604 agda_2.6.3-1.debian.tar.xz
684944eaedbed9c69b6eb60c0a2770e9560a6046 6089 agda_2.6.3-1_source.buildinfo
Checksums-Sha256:
37b477db081fcebf1080901703f2cf2d38dcbfe23986808bff1589f915477ec6 4944 agda_2.6.3-1.dsc
beacc9802c470e42bb0707f9ffe7db488a936c635407dada5d4db060b58d6016 1794269 agda_2.6.3.orig.tar.gz
a295ed8cded8ced795c0c71abd7abc78446d94faca9c61177a00daa4ad1ed631 11604 agda_2.6.3-1.debian.tar.xz
53e575890ffc42fb92f4ec1eb8020f50e9783ae3869bcfde2b4b936a6f2d394b 6089 agda_2.6.3-1_source.buildinfo
Files:
876dcd32b33b4dccfacdcaf6f218f0c0 4944 haskell optional agda_2.6.3-1.dsc
85b3f748b307b49e5f6be638486acbeb 1794269 haskell optional agda_2.6.3.orig.tar.gz
39b9f5190d9865977d403317f2638002 11604 haskell optional agda_2.6.3-1.debian.tar.xz
25fefda3bc15de2c61af56a60e2705a5 6089 haskell optional agda_2.6.3-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmUpYtAUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDwnyA//diQ/yKGdFyAQKpZnf/ABGmoolQqg
aldfifxWk6hwMcOvojuvs9yhX9Qkqpn5n/ny/xgy5iucdp4kF4Q2O0kJzeEdcP0V
GIiH1UCG7dV1kgZQHgoBtPVtIpZblpsznH8nD18ZXNbUU3VJKQD3gVNt1x7Eqt7f
whVs23tUYwyovHOmHF2NlNswSXQQNuvDafPuc72WtkIzNzzQeo1rH7invQr+PY7C
d9BdCtHkKBg4Gwx/rx/Y7Z1pc+7BS/YHWJgFWqYDSZti3Q7O+2sIaXMfj53hHHep
XqpKsyOjoQIn2byTkK/45eqMs8uNujRHqrSM92b4XRT/W/2tR5sL0V3x1XFegdfZ
glOjXuCYA0NtqeCcylHAvr3g+utBHczKpnNzpmzp3DFQXsdFBTVvzItP8GerAPnl
mbNQYE/hrK5ZpxRjQ8BDdMFi7pKERXhVPJI8nbT2zC6nNCedCZ1E0wd8cugEy3hN
9wESPilyI6eVafVt7B3ywOp3OXX0U6yv6xUlf4wsyFwN049bxybi8WELVG3BG18X
V0Z9ddjbXs9inUWST7gZNGmrHmQcfeerU3AlQQAe7zJ0pxBzCzNofpE+T9IKVIXl
vvekHKhSh6RLVMalKOVhgO8RBM5tEzDBRECcib8gz7WeolKA6jRygqRcdtmWS4kY
qW5JFxzDcegl790=
=YVMA
-----END PGP SIGNATURE-----