Format: 1.8
Date: Mon, 23 Jan 2012 10:50:43 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda
Architecture: all i386
Version: 2.3.0-1build2
Distribution: precise
Urgency: low
Maintainer: Ubuntu/i386 Build Daemon <buildd@palmer.buildd>
Changed-By: Leo Iannacone <l3on@ubuntu.com>
Description: 
 agda       - dependently typed functional programming language
 agda-mode  - dependently typed functional programming language — emacs mode
 libghc-agda-dev - dependently typed functional programming language - development l
 libghc-agda-doc - dependently typed functional programming language - documentation
Changes: 
 agda (2.3.0-1build2) precise; urgency=low
 .
   * No-changes rebuild against current libghc-agda-dev.
Checksums-Sha1: 
 2818e1f6b06ef5f1952c485852615e43df5744fa 1682916 libghc-agda-doc_2.3.0-1build2_all.deb
 cf5e444bb26271eed744f0f45441c2e3b5c55ed0 40780 agda-mode_2.3.0-1build2_all.deb
 defe4fbe6a31ec8c57cf7dbfe2e0b7816789786c 2986 agda_2.3.0-1build2_all.deb
 7136cb8aae186459aada00c9ac77b1af26807f68 11778518 libghc-agda-dev_2.3.0-1build2_i386.deb
Checksums-Sha256: 
 23292554384b593c20c8e90bb05d427d51a440c4480ddb6c37c9215bbc834f59 1682916 libghc-agda-doc_2.3.0-1build2_all.deb
 1f1b770f3983f6db6e9aeb4d290b64284f7930304e475e096f7d2712740e914e 40780 agda-mode_2.3.0-1build2_all.deb
 39fe84bedf54b66718076c02287e6d521745632328504ea496400a3f19a3cd9b 2986 agda_2.3.0-1build2_all.deb
 166e2902aa6f3980f15b3567173ad3646fb48ed6eaa088ecef903a1ff7d5bcae 11778518 libghc-agda-dev_2.3.0-1build2_i386.deb
Files: 
 210a683836ec4efdee3c61511c13c623 1682916 doc extra libghc-agda-doc_2.3.0-1build2_all.deb
 07766522c228e1c986aa98a2a9b32104 40780 misc extra agda-mode_2.3.0-1build2_all.deb
 6ad491d04636111cf2bd612522dd057b 2986 misc extra agda_2.3.0-1build2_all.deb
 75c196de004e29da6b7411ca11309cb5 11778518 haskell extra libghc-agda-dev_2.3.0-1build2_i386.deb