agda (2.3.0.1-1build2) precise; urgency=low * No change rebuild for haskell-hashtables
Date: Sat, 21 Apr 2012 17:18:26 +0100 Changed-By: Iain Lane <[email protected]> Maintainer: Debian Haskell Group <[email protected]> https://launchpad.net/ubuntu/precise/+source/agda/2.3.0.1-1build2
Format: 1.8 Date: Sat, 21 Apr 2012 17:18:26 +0100 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda Architecture: source Version: 2.3.0.1-1build2 Distribution: precise Urgency: low Maintainer: Debian Haskell Group <[email protected]> Changed-By: Iain Lane <[email protected]> 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.1-1build2) precise; urgency=low . * No change rebuild for haskell-hashtables Checksums-Sha1: c12ec0538dd79f7c34c41adf776f14f5d32efc01 3053 agda_2.3.0.1-1build2.dsc 9904af65bb46b81e343312ecfc987d29010b50ed 6631 agda_2.3.0.1-1build2.debian.tar.gz Checksums-Sha256: 7e30d3725f3429ec5b9bb41865d4e58442e12413db30642ba1270fa45fb3dd74 3053 agda_2.3.0.1-1build2.dsc 521af6b5e43c1a6a3c032bf59dec8c60431cb162799eb4b4077d6bc2fec8e0a1 6631 agda_2.3.0.1-1build2.debian.tar.gz Files: 06108e21a6b540fe96df75e66bb9103c 3053 haskell extra agda_2.3.0.1-1build2.dsc c3f423d747c9dafe5db565945340e5ab 6631 haskell extra agda_2.3.0.1-1build2.debian.tar.gz
-- Precise-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/precise-changes
