[ubuntu/oneiric] agda-stdlib 0.5-1 (Accepted)

[Iain Lane]

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

Date: Fri,  17 Jun 2011 16:07:46 +0000
Changed-By: Iain Lane <iain at orangesquash.org.uk>
Maintainer: Iain Lane <laney at debian.org>
Origin: Debian/unstable
https://launchpad.net/ubuntu/oneiric/+source/agda-stdlib/0.5-1
-------------- next part --------------
Origin: Debian/unstable
Format: 1.7
Date: Fri,  17 Jun 2011 16:07:46 +0000
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: source
Version: 0.5-1
Distribution: oneiric
Urgency: low
Maintainer: Iain Lane <laney at debian.org>
Changed-By: Iain Lane <iain at orangesquash.org.uk>
Description:
 agda-stdlib - standard library for Agda
Closes: 573807 598708 599958
Files:
 064b04bc62ce370c5d7ef28b583cfbe4 1903 libs extra agda-stdlib_0.5-1.dsc
 d2051b18eb07b3b6d3c7190750c00469 3647 libs extra agda-stdlib_0.5-1.diff.gz
Changes:
 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