[ubuntu/natty] agda-stdlib 0.5-1~ubuntu1 (Accepted)

[Iain Lane]

agda-stdlib (0.5-1~ubuntu1) natty; urgency=low

  * Upload to Ubuntu from Debian's VCS due to delays in unstable caused by
    the GHC 7 transition (LP: #725364)
  * [ba20206] Make package architecture independent (Closes: #573807, #598708,
    #599958)
  * [0fb0600] Standards-Version → 3.9.1, no changes required
  * [d3f13b8] Update required Agda version to 2.2.8
  * [cc1f5c8] Imported Upstream version 0.4
  * [2c82171] Add watch file
  * [9251e0b] Imported Upstream version 0.5
  * [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

Date: Fri, 25 Feb 2011 22:28:40 +0000
Changed-By: Iain Lane <laney at ubuntu.com>
Signed-By: Iain Lane <iain at orangesquash.org.uk>
https://launchpad.net/ubuntu/natty/+source/agda-stdlib/0.5-1~ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 25 Feb 2011 22:28:40 +0000
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source
Version: 0.5-1~ubuntu1
Distribution: natty
Urgency: low
Maintainer: Iain Lane <laney at ubuntu.com>
Changed-By: Iain Lane <laney at ubuntu.com>
Description: 
 agda-stdlib - a dependently typed programming language - standard library
 agda-stdlib-doc - a dependently typed programming language - documentation
Closes: 573807 598708 599958
Launchpad-Bugs-Fixed: 725364
Changes: 
 agda-stdlib (0.5-1~ubuntu1) natty; urgency=low
 .
   * Upload to Ubuntu from Debian's VCS due to delays in unstable caused by
     the GHC 7 transition (LP: #725364)
   * [ba20206] Make package architecture independent (Closes: #573807, #598708,
     #599958)
   * [0fb0600] Standards-Version → 3.9.1, no changes required
   * [d3f13b8] Update required Agda version to 2.2.8
   * [cc1f5c8] Imported Upstream version 0.4
   * [2c82171] Add watch file
   * [9251e0b] Imported Upstream version 0.5
   * [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
Checksums-Sha1: 
 cfea64caa9999d876ab86aa42505ffe859298c2a 1937 agda-stdlib_0.5-1~ubuntu1.dsc
 0d51bf6b8b2994ac67da3b32966cbe6e19f758cc 198083 agda-stdlib_0.5.orig.tar.gz
 3d43f6aa58504506e2ffd51d7fb7ea936d4d6883 3786 agda-stdlib_0.5-1~ubuntu1.diff.gz
Checksums-Sha256: 
 2375a15330b59d7c847f8eb6d72fbac76490e52bb9fff9a5bbfa6163615da024 1937 agda-stdlib_0.5-1~ubuntu1.dsc
 ecdf9deddd9baae4ddddbc29bf1206717d6e683a213816777b5df55944f4363e 198083 agda-stdlib_0.5.orig.tar.gz
 429ea868760259946a9e9f9449b690adc1359c5ad023e5b49b43e238fb7cf7e8 3786 agda-stdlib_0.5-1~ubuntu1.diff.gz
Files: 
 f5752c4356c8210ed17336e3646fad60 1937 libs extra agda-stdlib_0.5-1~ubuntu1.dsc
 b14aa7adf14e91c5a308c9613d6c8881 198083 libs extra agda-stdlib_0.5.orig.tar.gz
 657c4a554b9706d1c554953e65f9978d 3786 libs extra agda-stdlib_0.5-1~ubuntu1.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iQIcBAEBCAAGBQJNbDn1AAoJEONS1cUcUEHUeBAQAJWVZZFQ3CjDIh1lI0zNgH+w
ryxKU8qZQBNMCCmzm7giTudm4DLEBnYkTQHtyJU6aGSXhB2MMsaRT6iUdEdmeGgL
7VS1//6sC1PnnlFGUPhCKWgH1KNOJibForfdzSuwv1if6Qa4YzfiZoXQ9H/Nm67h
gt/hVE0V6BoNYUkw98EhIa+1Y8FZM5HIsKbpjcKjo8XedP14n617bTcjaV2CLwYf
GoOqMlI3Am8dbC28Gw3haNzCAIpIZVZlnmfRcHEd1zVRNG6hybV8g1b8hhIq6dWf
ogC7ikZ3sUNl11gznrNQz+1kPiJ6OEEyS9z6cX4CTxbXe5aQoD3teCta5zi/1Apq
jbwub9O4Fvol3zWDO65yHmfe4CmJY+qebLKv5rkbcCApkKRYAqeq6JZ1yT8pwOsx
3TTSIEdLisnzJUX9z9BDCElUVLXoQr+5F3CX241I35HIMoK/rUjzq7qT8wl02CXM
uC2bgWxYnSDCJy46gUU5p9JiRfiWhvFIH1aMzpH8Ie7posLKzaF3VFzfAqZHqRb/
83Dzr20I6kOUgxzQ2dL0rcrKl3oQ14ErWmTOWImxEtI3JvikIVA2yQSQ4ly0cpaU
QnZL76yLUSQXM4T833jyqOwac/Pt+Sbt37fJG2DMpWG9ykW7WzNgquKA7Y3HMkPA
RUu0+shinWjvVb9YLRNC
=EpiR
-----END PGP SIGNATURE-----