-
agda-stdlib (0.6-2) unstable; urgency=low
* Relax agda dependency a bit to allow for minor releases
* Add the Debian Haskell Group as uploaders, by Iains suggestion
-- Joachim Breitner <email address hidden> Wed, 14 Mar 2012 10:30:26 +0100
-
agda-stdlib (0.6-1) unstable; urgency=low
* [a88bdc0] Imported Upstream version 0.6
* [7aea5f2] Update copyright for new copyright holders and for new DEP5
-- Iain Lane <email address hidden> Fri, 30 Dec 2011 20:02:46 +0000
-
agda-stdlib (0.6~darcs20111129t1640-1) unstable; urgency=low
* [ef445ab] Imported Upstream version 0.6~darcs20111129t1640
+ Darcs snapshot required for Agda 2.3.0 compatibility
* [f801f83] Update BDs and deps to require Agda 2.3.0
* [c52be90] Use 3.0 (quilt) for bz2 orig
-- Iain Lane <email address hidden> Tue, 29 Nov 2011 17:00:35 +0000
-
agda-stdlib (0.5-1) unstable; urgency=low
* [9251e0b] Imported Upstream version 0.5 * [ba20206] Make package architecture independent (Closes: #573807, #598708, #599958) * [2c82171] Add watch file * [0518fa6] No longer need procps | hurd BD as we no longer have the ticker * [daf2445] Don't use upstream's make install — handled ourselves by dh_install * [1b86533] Update watchfile to point at new location * [637f47d] Remove debian/gbp.conf as we are no longer building for exp * [cc88671] Require Agda 2.2.10 * [e99dab5] Set maximum stack size to 1G to prevent overflows in the build * [251cd1d] Run the test suite manually * [a7db697] Set the variable in the emacs loading script properly * [540ca3f] Improve short description * [6b3e794] Add dependencies on compatible versions of the Agda library * [7127678] Standards-Version bump to 3.9.2, no changes required * [9d0ae30] Update to use ghc instead of ghc6 * [3f6879a] Set Maintainer to my d.o email address -- Iain Lane <email address hidden> Tue, 24 May 2011 10:26:15 +0100
-
agda-stdlib (0.3-3) unstable; urgency=low
[ Iain Lane ]
* debian/control: Add missing procps | hurd build-dep so that ps is available
to run the ticker.
-- Marco Túlio Gontijo e Silva <email address hidden> Tue, 02 Mar 2010 20:56:49 -0300