Back to agda PTS page

Accepted agda 2.5.2-1 (source) into unstable



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

Format: 1.8
Date: Thu, 06 Jul 2017 09:59:52 +0200
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.5.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
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.2-1) unstable; urgency=medium
 .
   * New upstream release
   * Team upload
   * Drop all patches, upstream
   * Bump std-version to 4.0.0
   * Bump compat level to 10
   * Update build dependencies
Checksums-Sha1:
 b15e73ccce3c8c57cc579d27b010b9be3a860aa1 4054 agda_2.5.2-1.dsc
 e4337e996e2a5f5f08a12d341aeb1a59a7a69667 1240885 agda_2.5.2.orig.tar.gz
 09c64bf28dae3c6a76181eacc8006f76dcd11e1b 8812 agda_2.5.2-1.debian.tar.xz
Checksums-Sha256:
 d2492373d42aeb5d8a2a0a4d8b95627e2391c36e01d122ea7c813c612f651fa3 4054 agda_2.5.2-1.dsc
 d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439 1240885 agda_2.5.2.orig.tar.gz
 9c8521addb30e2888beaed8ee7db9687bd6f516dbd9fd0f8680164cbed4f699e 8812 agda_2.5.2-1.debian.tar.xz
Files:
 b05c98626c817f7ca9c3ac79bf9c0cb8 4054 haskell extra agda_2.5.2-1.dsc
 1f680a3d28fc7048279bb7f330285be8 1240885 haskell extra agda_2.5.2.orig.tar.gz
 07246a52051d74b2ae728168e2338f27 8812 haskell extra agda_2.5.2-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIcBAEBCAAGBQJZXgSXAAoJEPNPCXROn13ZUHoQAMBJgNuu+bdRKwZ6F6X92swo
dcd84/afmEzR+lUVFPIFbC5VZ9kWRUcv/YjLl7bE59Q5rQxT4N1J/vTsWt4FjflD
zx6IeIJE2uuVNI6QXO41ViMscigvFSYxaRj+ofXdJkxbMXPuNzj7wwACWdZg0q5l
HuUonVuHo3CPcphBjSvuIu2GczZvHmXUxsPLz6SsFyRuydmyJgY5drSJtiy3k2Yg
HF/B55KY7m81f+8RfMKUiWL20mVonpuWg7+Pi9XPa3dLd39qRzNKqIjQcdPOpU2y
M7Bs4dcmlLVN2uG+fR7GKpqOrQI7nXE9mX2B82J6U2Kt2/s01MwFluLrHs3Bh/jp
amrbDBARPJgOHooenjcTnxleuBTxgqgpEtwzMl4dH8kI9lv4Bm+hlPLzt6FsTi7L
ciTF3/e7A9YPeGYYYN325aNzeAhz3LropJehKjHxxZDIYCdsxW16JKqUftHYOFeu
GFGWNuAHHmQ8tja6FEbI39sogSAPff4kYxALSTAOjWccxmSzck+eB/GSFzFmFpsR
mnTM376+hSgkXUtOlN4oRgS7AAqKQnfrwGLslCyfGvGSUeOrzpvULPBd6sXpnJGB
6E8fGw3FJloMJHsWQ4dfMmdoUFVpG7NjZio4Sf9URq9ryENhAup8arUYjSPou1AJ
jqYvdrOGl+OwX7wQrr7Y
=WEp6
-----END PGP SIGNATURE-----