[ubuntu/maverick] agda-stdlib 0.3-3fakesync (Accepted)

Iain Lane laney at ubuntu.com
Tue May 25 22:15:15 BST 2010


agda-stdlib (0.3-3fakesync) maverick; urgency=low

  * Fakesync from Debian unstable due to orig.tar.gz mismatch

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.

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

  [ Iain Lane ]
  * 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 because upstream's buildsys invokes
    runhaskell, which isn't available everywhere. (Closes: #569262)
  * 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.
  * debian/rules, debian/watcher.sh: Add a ticker to the build to avoid
    timeouts on some slow architectures.

Date: Tue, 25 May 2010 22:13:02 +0100
Changed-By: Iain Lane <laney at ubuntu.com>
Signed-By: Iain Lane <launchpad at orangesquash.org.uk>
https://launchpad.net/ubuntu/maverick/+source/agda-stdlib/0.3-3fakesync
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 25 May 2010 22:13:02 +0100
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source
Version: 0.3-3fakesync
Distribution: maverick
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: 569262
Changes: 
 agda-stdlib (0.3-3fakesync) maverick; urgency=low
 .
   * Fakesync from Debian unstable due to orig.tar.gz mismatch
 .
 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.
 .
 agda-stdlib (0.3-2) unstable; urgency=low
 .
   [ Iain Lane ]
   * 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 because upstream's buildsys invokes
     runhaskell, which isn't available everywhere. (Closes: #569262)
   * 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.
   * debian/rules, debian/watcher.sh: Add a ticker to the build to avoid
     timeouts on some slow architectures.
Checksums-Sha1: 
 56dcc637a8edfacd577893ecaa830f128592ac77 1308 agda-stdlib_0.3-3fakesync.dsc
 1d70020369ba7413089fd8b6eb7b29b6fec550c3 3830 agda-stdlib_0.3-3fakesync.diff.gz
Checksums-Sha256: 
 3ad12b6bd3f85d4840386c457b027b004ac84453a18d988f8e11ad218c86f36f 1308 agda-stdlib_0.3-3fakesync.dsc
 602c2d27de2f467b3939001e97556d78c1db01b5f83fb247214f3216a71b3235 3830 agda-stdlib_0.3-3fakesync.diff.gz
Files: 
 9d6ea5337a07cf4e6ffdf444e8d5ac7b 1308 libs extra agda-stdlib_0.3-3fakesync.dsc
 ccbdcdf66b7f5b448b4fb18c4e889973 3830 libs extra agda-stdlib_0.3-3fakesync.diff.gz

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

iEYEARECAAYFAkv8PYUACgkQPy0SnCC/zcc0ywCfbT4fq+00zmlL/GH/EPEocelQ
NfoAoIQO7E0wGm9k4QX4cKeR1o7Oz1kP
=jb7Y
-----END PGP SIGNATURE-----


More information about the Maverick-changes mailing list