[ubuntu/lucid] agda-stdlib 0.3-1ubuntu1 (Accepted)

[Iain Lane]

agda-stdlib (0.3-1ubuntu1) lucid; urgency=low

  * Upload to Lucid. Cannot immediately upload to sid as agda is tied up in a
    GHC transition taking place.
  * debian/control: Fix short descriptions (too long, one said "profiling"
    instead of "documentation")
  * debian/rules, debian/control: No need to use upstream's buildsys. This only
    builds Everything.agda which is already included in the distribution
    anyway. Also trim GHC and filepath from build-deps as these aren't needed
    now. This bypassing is required becuase upstream's buildsys invokes
    runhaskell, which isn't available everywhere.
  * debian/rules: Disable upstream tests for the same reason as above. We
    typecheck the same file, README.agda, to generate the documentation
    anyway so this has no negative effect.

agda-stdlib (0.3-1) unstable; urgency=low

  * Initial release. (Closes: #522914)

Date: Wed, 10 Feb 2010 10:45:04 +0000
Changed-By: Iain Lane <laney at ubuntu.com>
Signed-By: Iain Lane <launchpad at orangesquash.org.uk>
https://launchpad.net/ubuntu/lucid/+source/agda-stdlib/0.3-1ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Wed, 10 Feb 2010 10:45:04 +0000
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source
Version: 0.3-1ubuntu1
Distribution: lucid
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: 522914
Changes: 
 agda-stdlib (0.3-1ubuntu1) lucid; urgency=low
 .
   * Upload to Lucid. Cannot immediately upload to sid as agda is tied up in a
     GHC transition taking place.
   * debian/control: Fix short descriptions (too long, one said "profiling"
     instead of "documentation")
   * debian/rules, debian/control: No need to use upstream's buildsys. This only
     builds Everything.agda which is already included in the distribution
     anyway. Also trim GHC and filepath from build-deps as these aren't needed
     now. This bypassing is required becuase upstream's buildsys invokes
     runhaskell, which isn't available everywhere.
   * debian/rules: Disable upstream tests for the same reason as above. We
     typecheck the same file, README.agda, to generate the documentation
     anyway so this has no negative effect.
 .
 agda-stdlib (0.3-1) unstable; urgency=low
 .
   * Initial release. (Closes: #522914)
Checksums-Sha1: 
 175a1c067aaf97c4609246faf29a6786caec29ab 1289 agda-stdlib_0.3-1ubuntu1.dsc
 c038354984eb0c74c4fe81f3745481307e5796ef 153277 agda-stdlib_0.3.orig.tar.gz
 d70b4ddf79afc822cc5fe3e6c881cae4073edd8a 3101 agda-stdlib_0.3-1ubuntu1.diff.gz
Checksums-Sha256: 
 37145f7da455d48bd729cf303ad890e741a0311a2713a3b1f9b96a2387e89c23 1289 agda-stdlib_0.3-1ubuntu1.dsc
 6761d21659ef90cedf039290d8bda3ffb252575fb3e0bb67e6f783f65bb161b3 153277 agda-stdlib_0.3.orig.tar.gz
 2763496fa5ee5e9323cd2602b356bf2de0d91866f047bc9d638b9a4a1979a9c3 3101 agda-stdlib_0.3-1ubuntu1.diff.gz
Files: 
 f1550422154d8ed32afdf97300ab0499 1289 libs extra agda-stdlib_0.3-1ubuntu1.dsc
 aeb109e24dce44f18c4d9726c7a38892 153277 libs extra agda-stdlib_0.3.orig.tar.gz
 b9097aa0c499a4a2fc8e5810ff2e7476 3101 libs extra agda-stdlib_0.3-1ubuntu1.diff.gz

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

iEYEARECAAYFAktyjwIACgkQPy0SnCC/zcckTQCdGpVV/SKoK+ENMhArfypCYjfI
PmAAoNAWYj61jNkWMfBNRxI6MqXnXtpV
=lekJ
-----END PGP SIGNATURE-----