agda (2.2.6-7build1) maverick; urgency=low * No change rebuild to build against new quickcheck -- Iain Lane Wed, 26 May 2010 09:08:19 +0100 agda (2.2.6-7) unstable; urgency=low * control: Use versioned Replaces: and Conflicts: -- Marco Túlio Gontijo e Silva Wed, 05 May 2010 23:13:56 -0300 agda (2.2.6-6) unstable; urgency=low * Fix FTBFS by fixing zlib doc package name. (Closes: #577892) * Convert to 3.0 (quilt) -- Joachim Breitner Fri, 16 Apr 2010 11:43:24 +0200 agda (2.2.6-5) unstable; urgency=low * debian/control: Rename -doc package. -- Marco Túlio Gontijo e Silva Tue, 16 Mar 2010 10:15:20 -0300 agda (2.2.6-4) unstable; urgency=low * debian/control: Remove the profiling package. It is unfortunate that this package is proving to be too big to build before exhausting the available resources on some architectures. Not having it should allow agda to build in many more places though, so this is a win. * debian/control, debian/rules, debian/watcher.sh: Remove the ticker which should no longer be necessary due to the above. (Closes: #572300) -- Iain Lane Sat, 27 Feb 2010 20:35:10 +0000 agda (2.2.6-3) unstable; urgency=low [ Iain Lane ] * debian/rules, debian/watcher.sh: Add a ticker to the build to prevent timeouts on some arches. This was taken from the GHC6 source package and modified a bit to add some rudimentary locking. Previously the build was timing out on some slow arches (armel, mips*) but does actually make progress and complete when given enough time * debian/control: + Add field ${haskell:Provides} to -dev and -prof packages in preparation the upcoming GHC6/haskell-devscripts uploads into unstable + Standards-Version bump to 3.8.4, no changes required [ Marco Túlio Gontijo e Silva ] * debian/control: Remove unneeded Build-Depends: on libghc6-utf8- string-*. * debian/control: Bump version of haskell-devscripts on Build-Depends to 0.7. Remove versioned Build-Depends: of ghc6* and remove hscolour and haddock from Build-Depends:. * debian/control: Split Build-Depends in Buid-Depends-Indep:. * debian/control: Use all haskell: variables. * debian/watch: Use format that downloads current version and checks for new versions. -- Marco Túlio Gontijo e Silva Sat, 20 Feb 2010 20:12:57 -0200 agda (2.2.6-2) unstable; urgency=low * debian/control: Set priority to extra per archive overrides * debian/copyright: Update upstream source to a more generic location * debian/rules, debian/libghc6-agda-dev.install: Install Agda.css, needed to generate HTML documentation. -- Iain Lane Sun, 10 Jan 2010 11:29:17 +0000 agda (2.2.6-1) unstable; urgency=low * New upstream release 2.2.6, for headlines please see: http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-2-6 * debian/control + Bump standards-version to 3.8.3, no changes + Fix Vcs-Git to point to correct URL + Update build-depends for new upstream release + Undo arch/indep split per current pkg-haskell practice + Add Homepage field * debian/copyright: Fix encoding to UTF-8 (thanks Lintian) * debian/README.source: Remove, no repacking so not necessary any more * debian/50agda.el: + Only load file if it exists, prevents a non-intrusive emacs warning where 50agda.el is left on system when package is removed. (Closes: #559197). + Do not load file on XEmacs — agda-mode is not compatible with XEmacs. -- Iain Lane Tue, 05 Jan 2010 23:43:20 +0000 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. -- Iain Lane Mon, 20 Jul 2009 19:49:41 +0100 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 -- Iain Lane Wed, 20 May 2009 16:08:07 +0100