[ubuntu/oneiric] agda-bin 2.2.10-2 (Accepted)
Colin Watson
cjwatson at canonical.com
Fri Jun 10 10:53:32 UTC 2011
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 <cjwatson at canonical.com>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Origin: Debian/unstable
https://launchpad.net/ubuntu/oneiric/+source/agda-bin/2.2.10-2
-------------- next part --------------
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 <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Colin Watson <cjwatson at canonical.com>
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
More information about the Oneiric-changes
mailing list