Format: 1.8
Date: Wed, 04 Jul 2018 15:38:58 +0200
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: amd64 all
Version: 2.5.3-5build2
Distribution: cosmic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-030.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
 libghc-agda-doc - dependently typed functional programming language
Changes:
 agda (2.5.3-5build2) cosmic; urgency=medium
 .
   * Rebuild against new GHC ABI.
Checksums-Sha1:
 3da9d510ffc28eb296c66e13c6acdf8743ddf5f4 5752688 agda-bin_2.5.3-5build2_amd64.deb
 bd5c529e908808217d12863306e72d731002c3a3 3736 agda-mode_2.5.3-5build2_all.deb
 bf2afce2275416a8eab8d87080be84c98d133133 3052 agda_2.5.3-5build2_all.deb
 41ff2342b018e6eb6c6ffa1dfa6c53240722c4f6 13676 agda_2.5.3-5build2_amd64.buildinfo
 28c544949432d131694ebffca06f93f57cab6068 41000 elpa-agda2-mode_2.5.3-5build2_all.deb
 ab853fe908a22023de56ac59f47ed0d354c9f9fa 16133916 libghc-agda-dev_2.5.3-5build2_amd64.deb
 0d42852ff32565172176b2c8042ac456ba5dfae8 2647696 libghc-agda-doc_2.5.3-5build2_all.deb
Checksums-Sha256:
 a5d0aa6023e0219a9de8cbe2ba1f212b04f214975dd4fda9d5555ac6ac23dee1 5752688 agda-bin_2.5.3-5build2_amd64.deb
 f3d3bdbebbffaf94811214e0e90b50327de5fa944d958e9b91694bc5db04bae7 3736 agda-mode_2.5.3-5build2_all.deb
 f4360595156a886aaaa1f013206de57781c91abe0ee6c942d7f5cc06f55e618f 3052 agda_2.5.3-5build2_all.deb
 d42e2a982cf5aa7d4becfe546f76bc6f87782edb94ef138688cd7bd0c37190f3 13676 agda_2.5.3-5build2_amd64.buildinfo
 20c5d3b2c2973bd09f850c9387711cb615a16d496585e7fe2de07ffb1e018f9c 41000 elpa-agda2-mode_2.5.3-5build2_all.deb
 75ce781bd1b3f7ea4adc8d46944168c10a36d89691db31f0361fd2037b4000e0 16133916 libghc-agda-dev_2.5.3-5build2_amd64.deb
 4deee5468083b402fd6f502fe3481a5d54cd8c7260d2566d71e3865180208755 2647696 libghc-agda-doc_2.5.3-5build2_all.deb
Files:
 df1bba8440589ba1079612f539561189 5752688 haskell optional agda-bin_2.5.3-5build2_amd64.deb
 f8dae412c71da61da3cbc9c82ade77f1 3736 oldlibs optional agda-mode_2.5.3-5build2_all.deb
 57d1568f60d75be1452bb3f121718bda 3052 misc optional agda_2.5.3-5build2_all.deb
 94d0e06372c7b97cbe0b6bff867b98e4 13676 haskell optional agda_2.5.3-5build2_amd64.buildinfo
 6b3dec6c9017d4766bf8c710769b35da 41000 editors optional elpa-agda2-mode_2.5.3-5build2_all.deb
 2af15d2a3d73b9c6d35c44e5ae992051 16133916 haskell optional libghc-agda-dev_2.5.3-5build2_amd64.deb
 3d63a19f0aa43529c5034584af70b2e2 2647696 doc optional libghc-agda-doc_2.5.3-5build2_all.deb