-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 20 May 2015 13:08:33 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin
Architecture: all amd64 source
Version: 2.4.2.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Iain Lane <laney@debian.org>
Description:
agda-bin - commandline interface to Agda
agda - dependently typed functional programming language
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.2-2) unstable; urgency=medium
.
* [d5cf60f] Depend on ${shlibs:Depends}, to get libc (& maybe other) deps
.
agda (2.4.2.2-1) unstable; urgency=medium
.
* New upstream release.
* [1d76e9e] Bump BDs in line with Agda.cabal
* [03480b1] Use ${source:Upstream-Version} substvar to generate the
Recommends
* [a164dc2] Drop patch, applied (in spirit) upstream.
* [9a45428] Drop Build-Depends{,-Indep} on packages now provided by ghc
* [87544db] debian/rules: Use LC_ALL=C.UTF-8 otherwise cpphs dies when
parsing the source
.
agda (2.4.2-1) unstable; urgency=medium
.
* [6770868] Imported Upstream version 2.4.2
* [3d550e3] Add patch from Joachim to allow transformers 0.4 and mtl 2.3
* [38f0ec9] Add cpphs BD, requied by cabal file
Checksums-Sha1:
8e7300d6e3595bc4004b7020c95caac3d4c01a70 3592 agda_2.4.2.2-2.dsc
f3bfa18cc6dea6940108d6be08179f8102f629e3 7592 agda_2.4.2.2-2.debian.tar.xz
618d15968de22be0c91bbd8db93845b0b7c19490 4576900 agda-bin_2.4.2.2-2_amd64.deb
a67ad4c62f1a9995005923ecfc105c430f5bec52 90028 agda-mode_2.4.2.2-2_all.deb
a0579b95245d2fa9838f6f7512f7f1677174c227 58076 agda_2.4.2.2-2_all.deb
2f0685b4537f2d9505fff6e9d58753834c7f3d8c 10706394 libghc-agda-dev_2.4.2.2-2_amd64.deb
8118df4f84745bc54b4646bad9ff01653ee88931 2034590 libghc-agda-doc_2.4.2.2-2_all.deb
fbdf7df3d5a036e683210ac7ccf4f8ec0c9fea05 963302 agda_2.4.2.2.orig.tar.gz
Checksums-Sha256:
65dfea30fa262f01965165fe28fb3f38f49dd3a1c3977c6aeb7500c72a65b201 3592 agda_2.4.2.2-2.dsc
9a521bf9432f9f5063624a86047b9eeae539376cd517f1ef549c9534e79036b2 7592 agda_2.4.2.2-2.debian.tar.xz
37578f10291f5e371032ab1834c954ebfff62dd19d1f0efc5fceb6834bcc176d 4576900 agda-bin_2.4.2.2-2_amd64.deb
720695f5be73318ea4fa9051333147786c11fa89edbe28de37a959ef40b0b1b7 90028 agda-mode_2.4.2.2-2_all.deb
669f287be86c523ba12a615eb8c484be10bfb0e4bdf790a952f6b8f9ac73681a 58076 agda_2.4.2.2-2_all.deb
0cbdef33c33442acd224600059632f973df542eb5ac9197b4df5ae6a61bb7755 10706394 libghc-agda-dev_2.4.2.2-2_amd64.deb
379a828625afb6caa70350aaa91714187c2bf694f14ba67391c79ce6e99a3124 2034590 libghc-agda-doc_2.4.2.2-2_all.deb
2344107654d0cb2a18dcf179ed3ea0f427839e058771ed628da64fbaed55bbc3 963302 agda_2.4.2.2.orig.tar.gz
Files:
8ff12dfeb6ee44299441d1bff90691e7 3592 haskell extra agda_2.4.2.2-2.dsc
8cf57dfbcefe41b52057f45f52032fca 7592 haskell extra agda_2.4.2.2-2.debian.tar.xz
73dc8c993e296ad46aa2984b4203777b 4576900 haskell extra agda-bin_2.4.2.2-2_amd64.deb
41fcf6329e656d2b60f1045c13754137 90028 misc extra agda-mode_2.4.2.2-2_all.deb
ba4ddeeaaa239dd0927c33cfe8d513b1 58076 misc extra agda_2.4.2.2-2_all.deb
22a9d3449b35e9a47b24cf1447fb52f1 10706394 haskell extra libghc-agda-dev_2.4.2.2-2_amd64.deb
dc20a2e621c27126130d80a030499c1c 2034590 doc extra libghc-agda-doc_2.4.2.2-2_all.deb
3608c4305d32af66807c8189ffc719f5 963302 haskell extra agda_2.4.2.2.orig.tar.gz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCgAGBQJVXHx0AAoJEONS1cUcUEHUVA4P/3fQgoLW/lwex97fUKXKJkVZ
/QKUkVeNq0DsljpOf1YNNxTMM+bkrdjlJan5eSYzP4CnfqOfKl1ygVQTZfjDEVis
6rXHgCmjEGkBDwga8IuUdhRqsit6LHaUZKO5qZj3SgUBAV2d2+Cqa5DOTekHWmdc
36LI+nAHNqufwiNfcnDKNiudYshBDzjovnRsiVtdcv0zTWgUTMf5lPeAwQYTra4k
c3csL+zyVr2K7udkRtaS+2sszdppSRe6lnc6n+6qSKkafwi4yIQnR6Min3FudPJQ
+BKpQL+bdsyTm9SsYUrpDYGJW2V3JRqHeeEbho5DK5k9E0U4aZ4A/I0V+rIWUsxk
tbD2SMz87kFPSbLItrBzWZGj/pl2rQJ+BpxsZfD7MjKkErQDXUHm6qjI96bTnPx0
FQXn1NJX+kP+UIntXAX2deRzEoCHYmIcUCY6Nk29ujQUeCdqu+23Ej3T7dlihwm7
YoMl5k32vF/eIoxvajQFjWmhGleSr5vP2S2J4937mKUFKu1iLygFw/Zwkqxxm0Hg
+a/Z7+UFBi0nT5YJcNMQob2ocJ/1moxRLC0hR4jghl5YOtrOrFTXFgQKTzg1y5h4
98SqlyeJ7ptUgacHOtXd6muEUqBUl4LSlyqxLBuh+2I407zZNOG6amPKNcDtV35z
UiateYirpGw4Yy3Ze3bF
=nC14
-----END PGP SIGNATURE-----
