agda (2.2.4+dfsg-1) unstable; urgency=low
* New upstream release 2.2.4.
* Repacked to fix a couple of DFSG problems, see debian/README.source for
more information.
* debian/copyright: Update, add missing copyright holders.
* debian/control: Move ghc6-doc, haddock to Build-Depends. Move -doc
packages to build-depends-indep.
agda (2.2.2-1) unstable; urgency=low
* Initial packaging (Closes: #522924)
* With thanks to Marco Túlio Gontijo e Silva and Joachim Breitner for
their helpful comments
Date: Wed, 19 Aug 2009 23:49:35 +0100
Changed-By: Iain Lane <[email protected]>
Maintainer: Debian Haskell Group
<[email protected]>
Origin: Debian/unstable
https://launchpad.net/ubuntu/karmic/+source/agda/2.2.4+dfsg-1
Origin: Debian/unstable
Format: 1.7
Date: Wed, 19 Aug 2009 23:49:35 +0100
Source: agda
Binary: libghc6-agda-dev, libghc6-agda-prof, haskell-agda-doc, agda-mode
Architecture: source
Version: 2.2.4+dfsg-1
Distribution: karmic
Urgency: low
Maintainer: Debian Haskell Group
<[email protected]>
Changed-By: Iain Lane <[email protected]>
Closes: 522924
Changes:
agda (2.2.4+dfsg-1) unstable; urgency=low
.
* New upstream release 2.2.4.
* Repacked to fix a couple of DFSG problems, see debian/README.source for
more information.
* debian/copyright: Update, add missing copyright holders.
* debian/control: Move ghc6-doc, haddock to Build-Depends. Move -doc
packages to build-depends-indep.
.
agda (2.2.2-1) unstable; urgency=low
.
* Initial packaging (Closes: #522924)
* With thanks to Marco Túlio Gontijo e Silva and Joachim Breitner for
their helpful comments
Files:
3b4f51e56fc35068953b938c81a7e1b5 4129 haskell optional
agda_2.2.4+dfsg-1.diff.gz
49bd6d205a6456080a936d9d901d750b 3038 haskell optional agda_2.2.4+dfsg-1.dsc
438d3ed44ec0b37b569fe9d8891612d9 377740 haskell optional
agda_2.2.4+dfsg.orig.tar.gz
--
Karmic-changes mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/karmic-changes
