Back to agda PTS page

Accepted agda 2.4.2.2-2 (all amd64 source) into unstable



-----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-----