Back to agda PTS page

Accepted agda 2.5.1-1 (source amd64 all) into unstable, unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 12 Jun 2016 17:34:08 +0900
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source amd64 all
Version: 2.5.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Sean Whitton <spwhitton@spwhitton.name>
Description:
 agda       - dependently typed functional programming language
 agda-bin   - commandline interface to Agda
 agda-mode  - transitional dummy package for elpa-agda2-mode
 elpa-agda2-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.5.1-1) unstable; urgency=medium
 .
   * Package new upstream version.
     - Build dependency bounds updated to match Agda.cabal.
     - New build dependencies:
       - ghc-prof
       - libghc-edison-core-*
       - libghc-edison-api-*
       - libghc-monadplus-*
       - libghc-transformers-*
     - Also pregenerate the new Builtin/*.agdai interface files in
       libghc-agda-dev (see changelog entry for version 2.4.0.2-2).
     - Dropped build dependencies:
       - ghc-ghci
   * Install Emacs mode with dh_elpa.
     - New binary package elpa-agda2-mode.
     - agda-mode now a transitional dummy package.
     - Add patch creating file agda2-mode-pkg.el.
   * Override dh_strip to disable automatic -dbgsym binary.
   * Add standard Haskell Lintian override for binary-or-shlib-defines-rpath.
   * Add myself as an uploader.
   * Update Vcs-* for merge into DHG_packages.git and to use secure URIs.
   * Update reference to format specification in first line of d/copyright.
   * Run wrap-and-sort -abst
   * Bump standards version to 3.9.8 (no changes required).
Checksums-Sha1:
 dab98b0438c59c8a4668447439aa6ebe31d04275 4040 agda_2.5.1-1.dsc
 dd686a4ceca8bd2560040450ba9d4f509455b47a 1173151 agda_2.5.1.orig.tar.gz
 ec35f783b901966dd0b2a48abcbce479aee8dcfc 8496 agda_2.5.1-1.debian.tar.xz
 3a4928afeb6ff301041923c4f205a38fda6ce97f 1672380 agda-bin-dbgsym_2.5.1-1_amd64.deb
 72cc0e56ca0a873bd3df12d1e711b44434fb0649 4998174 agda-bin_2.5.1-1_amd64.deb
 3ccb61444755a75864b4ffee3af592f99fc876e7 79296 agda-mode_2.5.1-1_all.deb
 b6b48c57b0491b4f7fae1089b790edc49fd4de00 79716 agda_2.5.1-1_all.deb
 a6d09ace513381eb4ea4f1a069408c01ab3604c3 114888 elpa-agda2-mode_2.5.1-1_all.deb
 6ba844347e5be3b6a36aeb9b69a4c97760709f0a 12139448 libghc-agda-dev_2.5.1-1_amd64.deb
 d5df2a6d583fd181d4aaad174e8d141d1c1da4d0 2454194 libghc-agda-doc_2.5.1-1_all.deb
Checksums-Sha256:
 f5c5a3e6f08e2958404a7ade33707162e13407e82b62646d384da5257a4a6fce 4040 agda_2.5.1-1.dsc
 ee4658eafb514460d598322fa98528d1af6e25e5aa51843bb473c0d8a325c0c8 1173151 agda_2.5.1.orig.tar.gz
 b1d4366004b7c6f1a8539e503ec7da3d60702596997e5049feb578b1536df4d7 8496 agda_2.5.1-1.debian.tar.xz
 1c9aa895932e91cef48e1f0497a35274b2fcda18c1a96ca7b69cb70c8d24ddd9 1672380 agda-bin-dbgsym_2.5.1-1_amd64.deb
 c9ddcb088c32f9c60a757a6ada3fdbba34801ea1224a4da589f439f52998314e 4998174 agda-bin_2.5.1-1_amd64.deb
 282168dff8208e0881e7fbb0c83b240717b2ec78bcdd315e5bbcad23457f5feb 79296 agda-mode_2.5.1-1_all.deb
 002458d81a27b81f4f517613799f984a1932fc3fa1891251522f64c8e265791c 79716 agda_2.5.1-1_all.deb
 dc99a1a2fc5e5e11b76992bbf087ad3803b91f93e8373756eea00c60b01f6c97 114888 elpa-agda2-mode_2.5.1-1_all.deb
 b5d0f3048ba5a8ed5f4717b88ba2a6d5a55b443024e63091c95bc51d49542f8a 12139448 libghc-agda-dev_2.5.1-1_amd64.deb
 1e7a69aa186557d193eef83a3766f356a4d49792903ceaf2c59c130125b03734 2454194 libghc-agda-doc_2.5.1-1_all.deb
Files:
 ea53b04a3d1350a92036425bbe6e1f38 4040 haskell extra agda_2.5.1-1.dsc
 5b4dea8525a56f2cb755f38941d467bb 1173151 haskell extra agda_2.5.1.orig.tar.gz
 4c62fe1e72a075221e03283ffdfeff39 8496 haskell extra agda_2.5.1-1.debian.tar.xz
 0b75ad99d85a38be4b050af0b755f153 1672380 debug extra agda-bin-dbgsym_2.5.1-1_amd64.deb
 2fbc146e1d0dede826a9b5e66643d9e8 4998174 haskell extra agda-bin_2.5.1-1_amd64.deb
 2b4a0b502e95c7e79cb81a63dfcd43bb 79296 misc extra agda-mode_2.5.1-1_all.deb
 0c443a337b389d96b66e0afef72f8bda 79716 misc extra agda_2.5.1-1_all.deb
 118f96bc1c198d860ef3ae7fff0d6eff 114888 editors extra elpa-agda2-mode_2.5.1-1_all.deb
 1a3925fe6eced16b97fcb9e18e8f1ebd 12139448 haskell extra libghc-agda-dev_2.5.1-1_amd64.deb
 fe206be4b8ecaf57ef596181f952e9f2 2454194 doc extra libghc-agda-doc_2.5.1-1_all.deb

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

iQIcBAEBCAAGBQJXXs7+AAoJED2QirPw+/UfS1MQALlQkaC2cFwiVQuegdigHcWL
RxkCt851nLr4QUWt6gv2EzIoFo4UOji/DGS3Q+jF4It/I6tRHT1Z70k/oO7laqCK
v1Doz4FgraEECAdIXvl8fT0zl8MgbbfV8bwL4PPg0nZXDV9T1lnX++WX4likFRok
3mzuZrBb24iFs47CHapsjfkwNfSmH8tjT2bN/B2izlmw/fbis7Segwl/DOJ843NV
VOe2OYw/f2U7ez+ykCCWof1Reiq1g0Lvy7GE08042zIJ/5xn/X9Lpn6ZnZRiASlU
+K2+TpyYHMbQXm+MnHdgdxkRGcrye4gjicwZjcyaeyw7VgcoCmYgRbD8pvOWrHCM
QgKyBiAueNIqVfc0sM13AvvXD+Z1YNY3x7F8q2VMG131ZGItt1rmyyAHgnaJBkur
jDRezk9BRP883Iev+RapjhnIYaBwjyhs7iUfDNLX10r6lVpp8mwr980pwuDrOpBN
j52maJFr6TXAInKbF2xtpRwbi6xX5g5GBMZT7Dv/pQxI7AUJjYF0q6Qg8apWBkpB
G0zhZltqwFSlJ+LcrkiM9/vsrgvDB7a2M18mJSn3IxBwkhbtqXCK1iV9S/x4A4NK
EpEar4FRosfKPgBFnDq2GyBLE4LrLaJE5fCqQHnm16LYDz2NEcqRPg4ut00m0gDl
ZwKjiC/gGpc/Rs8EqZWg
=+c3V
-----END PGP SIGNATURE-----