Format: 1.8
Date: Mon, 10 Jul 2017 12:54:36 +0200
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: i386
Version: 2.5.2-2
Distribution: artful-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy01-36.buildd>
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-2) unstable; urgency=medium
 .
   * Team upload.
   * Bump ieee754 bounds.
Checksums-Sha1:
 94fbd6a1187dcc48d7e25432a5e21d98ecb7b9ce 5017002 agda-bin_2.5.2-2_i386.deb
 81eba32585d9af68ee7dffe37c4f3c27d04682ae 10245 agda_2.5.2-2_i386.buildinfo
 e67dc3f71e130a018afaef4b145deeeaccb65e1f 13121044 libghc-agda-dev_2.5.2-2_i386.deb
Checksums-Sha256:
 b793d1609edf88f543df6cbadea2d0bd13ad53b06dc498f62a5f4f0ee200fb1a 5017002 agda-bin_2.5.2-2_i386.deb
 2850eccaff3db99ba41895a2bc35a505d0f3bb8904adb3c4e4b0335477be2372 10245 agda_2.5.2-2_i386.buildinfo
 24cbf75efd9e0c23360b3545a8ba89fd7dd7b5652a051840342f76fae1ac786f 13121044 libghc-agda-dev_2.5.2-2_i386.deb
Files:
 54b02e3b9a275aa3f48abcaa6b95e200 5017002 haskell extra agda-bin_2.5.2-2_i386.deb
 d97f12f82769a24108f08e91169005f2 10245 haskell extra agda_2.5.2-2_i386.buildinfo
 8a22a0043c58643e40cc03cd4069958b 13121044 haskell extra libghc-agda-dev_2.5.2-2_i386.deb