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: arm64
Version: 2.5.2-2
Distribution: artful-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-048.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:
 d5c8e983fec8e567e98ab18c3349d9b149fb40fa 8116340 agda-bin_2.5.2-2_arm64.deb
 ae3b76d15b187f80341b86709d6d4ed9eface572 10355 agda_2.5.2-2_arm64.buildinfo
 100b327e400d8ccd8bf5fc4647dbff61c05cc564 19907510 libghc-agda-dev_2.5.2-2_arm64.deb
Checksums-Sha256:
 14e433a43d732c3c355d5e3086e5703f313f0e9da114f90a6ce24acec9b0ba7a 8116340 agda-bin_2.5.2-2_arm64.deb
 2486885806c516b3a083029282e675f9a6f0f5382f815d60b9676f5cdf209cf2 10355 agda_2.5.2-2_arm64.buildinfo
 53e7e5195e3ca4d8cbfbf2cc12819dbc95a021f7163140bdc0a985deb437a435 19907510 libghc-agda-dev_2.5.2-2_arm64.deb
Files:
 ac60a0c7d5f5c6b799e849b11044c6b1 8116340 haskell extra agda-bin_2.5.2-2_arm64.deb
 9546dadd1fb9443dfc780e880bd94c86 10355 haskell extra agda_2.5.2-2_arm64.buildinfo
 17c0af74d8b2528c09e5de9e5f0942e2 19907510 haskell extra libghc-agda-dev_2.5.2-2_arm64.deb