[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