-----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-maintain...@lists.alioth.debian.org>
Changed-By: Iain Lane <la...@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-----
