Format: 1.8
Date: Wed, 26 May 2010 09:08:19 +0100
Source: agda
Binary: libghc6-agda-dev libghc6-agda-doc agda-mode
Architecture: armel
Version: 2.2.6-7build1
Distribution: maverick
Urgency: low
Maintainer: Ubuntu/armel Build Daemon <buildd@gourd.buildd>
Changed-By: Iain Lane <laney@ubuntu.com>
Description: 
 agda-mode  - the emacs mode for Agda
 libghc6-agda-dev - a dependently typed functional programming language - development
 libghc6-agda-doc - a dependently typed functional programming language - documentati
Changes: 
 agda (2.2.6-7build1) maverick; urgency=low
 .
   * No change rebuild to build against new quickcheck
Checksums-Sha1: 
 25f05c7deb0519dee43016a92cc2324f9d93313a 16641564 libghc6-agda-dev_2.2.6-7build1_armel.deb
Checksums-Sha256: 
 4f5fc9693a214ac7a977d288c1f957dd26f0de5d30ef50e46b656015b2b8ffc9 16641564 libghc6-agda-dev_2.2.6-7build1_armel.deb
Files: 
 743056dc1d8852e6437407290e1983eb 16641564 haskell extra libghc6-agda-dev_2.2.6-7build1_armel.deb