Back to agda PTS page

Accepted agda 2.4.2.5-1 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 04 Jan 2016 12:56:33 +0000
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin
Architecture: source
Version: 2.4.2.5-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Iain Lane <laney@debian.org>
Description:
 agda       - dependently typed functional programming language
 agda-bin   - commandline interface to Agda
 agda-mode  - dependently typed functional programming language — emacs mode
 libghc-agda-dev - dependently typed functional programming language${haskell:ShortB
 libghc-agda-doc - dependently typed functional programming language${haskell:ShortB
Changes:
 agda (2.4.2.5-1) unstable; urgency=medium
 .
   * [a116bca] Imported Upstream version 2.4.2.5
   * [2c258f5] Update build-deps for new release
   * [7d835fa] Remove patches which are applied upstream
Checksums-Sha1:
 90bf777b51a036ee465ced3b61a96c1ecb1afbf7 3746 agda_2.4.2.5-1.dsc
 ef6aaae9e0b3458157fcfc430776ef5d578ac1ff 1031427 agda_2.4.2.5.orig.tar.gz
 78b08f0d64744b47b556251646f37c9072024ab3 7776 agda_2.4.2.5-1.debian.tar.xz
Checksums-Sha256:
 ed440ad85cc937d6edd8a170eab6efb49fcb60865ac2942aeb4cb197e220e190 3746 agda_2.4.2.5-1.dsc
 959658a372d93b735d92191b372d221461026c98de4f92e56d198b576dfb67ee 1031427 agda_2.4.2.5.orig.tar.gz
 31c1eea4fd7f12903e78dfcadaeda4ef8f2e4db8e91801bceb9ccf56e802ef6c 7776 agda_2.4.2.5-1.debian.tar.xz
Files:
 99340aeaef621057e74981a98a2b3b02 3746 haskell extra agda_2.4.2.5-1.dsc
 225633ca20a33c099d8490987392513d 1031427 haskell extra agda_2.4.2.5.orig.tar.gz
 b91132e15373476a0ceea0c5e126e8ab 7776 haskell extra agda_2.4.2.5-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJWimx6AAoJEONS1cUcUEHUrOMQAKKrFupHHKVxf5QBGfVghM1q
c6fn7k2YOmo+mpZt+Nj43uQfB7Lqg20J3ek7cNEPV0/Imk6L03b668AWQN1uXMFN
hq1bwX3jCxehvXafOXr3xivYRZVu8uvxDzIJTtTNIHQvFt/lKKXqJhQCF3d2lNOq
rdwr/c7QSqEimag7yuj7Pgf+UDnvhFYrVATSyypvlo/pEbzUdmcdOWneBfzzOcI+
DwCgcaw2TwaO9mSTQZfr0yfnsxuaUNuCIhNsrV0a8Vteoky3YSjF79qrgXFsq73B
IO3jPvvsttjEbpo5bvT7HFF/CCv2cUcr55k5lAhyWYoHv9zofJpxgkpBQSL6fExX
7voqtDtnPEAzrdHGyKwHBw1hPNbW2BcfuJKANySo5Ij/Iv3N1gWO1ziNcceoP0sZ
sn+4SAegMnpyLG1NbDWCwjtvnvj4wj6uajFsnOprC9Rb/Dt464tOTKeB8utTjTwv
yj/9h+Xc0lD3zPGggV8POHpvyXJT/Uo4HtxiMP90iGvrNYab3HLVlUidzploJ7DW
LoygL55j44slEWp4tXCpYrgCMjJx2WsEreXA+TkrzPearwHlokd7A2YGzzKTKciU
gkz8oKrS1UaJui1erHhCpLtHjNTVMSayjIVxVZkrNyhaSR+xXHK5oBzEfY8iy+z5
AsCIve4wlJeiKg9j3v23
=zhIN
-----END PGP SIGNATURE-----