agda-bin (2.2.10-2) unstable; urgency=low * [5e289d4] Fix forgotten libghc6 recommend
agda-bin (2.2.10-1) unstable; urgency=low * [e9845f4] debian/gbp.conf: Remove as we are no longer uploading to exp * [62091f5] Imported Upstream version 2.2.10 * [6beab2e] Bump Agda BDs per Agda.cabal * [6c3faaa] Update short descriptions to reflect best practice * [b0badb1] d/copyright: Update copyright years * [53d7b08] Update to use new ghc package names * [84dea7d] Standards-Version bump to 3.9.2, no changes required * [50738d0] Use ghc build targets and install locations instead of ghc6 Date: Fri, 10 Jun 2011 10:40:41 +0000 Changed-By: Colin Watson <[email protected]> Maintainer: Debian Haskell Group <[email protected]> Origin: Debian/unstable https://launchpad.net/ubuntu/oneiric/+source/agda-bin/2.2.10-2
Origin: Debian/unstable Format: 1.7 Date: Fri, 10 Jun 2011 10:40:41 +0000 Source: agda-bin Binary: agda-bin Architecture: source Version: 2.2.10-2 Distribution: oneiric Urgency: low Maintainer: Debian Haskell Group <[email protected]> Changed-By: Colin Watson <[email protected]> Description: agda-bin - commandline interface to Agda Files: 99218f3abcc74716c581ba7343766275 2897 haskell extra agda-bin_2.2.10-2.diff.gz b0128d8564cf08228c8f5843fd0bc7c6 1960 haskell extra agda-bin_2.2.10-2.dsc Changes: agda-bin (2.2.10-2) unstable; urgency=low . * [5e289d4] Fix forgotten libghc6 recommend . agda-bin (2.2.10-1) unstable; urgency=low . * [e9845f4] debian/gbp.conf: Remove as we are no longer uploading to exp * [62091f5] Imported Upstream version 2.2.10 * [6beab2e] Bump Agda BDs per Agda.cabal * [6c3faaa] Update short descriptions to reflect best practice * [b0badb1] d/copyright: Update copyright years * [53d7b08] Update to use new ghc package names * [84dea7d] Standards-Version bump to 3.9.2, no changes required * [50738d0] Use ghc build targets and install locations instead of ghc6
-- Oneiric-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/oneiric-changes
