Accepted agda-stdlib 0.3-2 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 27 Feb 2010 09:05:52 -0300
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source amd64 all
Version: 0.3-2
Distribution: unstable
Urgency: low
Maintainer: Iain Lane <laney@ubuntu.com>
Changed-By: Marco Túlio Gontijo e Silva <marcot@debian.org>
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-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:
65c569e20421b3dce7823fd9d5d42678577c9956 1261 agda-stdlib_0.3-2.dsc
750691f24059dcf9ae176ee7fc42bef507e0dfa0 3698 agda-stdlib_0.3-2.diff.gz
24cda00b2cbd01866842835fcce5fb1ad6636f57 12070960 agda-stdlib_0.3-2_amd64.deb
2d8f01c565eb04213dc55bb674ee3fe1b2e82779 1182004 agda-stdlib-doc_0.3-2_all.deb
Checksums-Sha256:
074364a65df4f0b5c9444e96374657853fb93538c4465bafdb9c16ef523efab3 1261 agda-stdlib_0.3-2.dsc
7d50af3d1a45803833934956ae97346f24a8fe1ff8f1016dd78610e083b62d36 3698 agda-stdlib_0.3-2.diff.gz
32addd2a2fe6cc11eb11e7e4017d9de014d1563637533f0ed25b43dad6f08e87 12070960 agda-stdlib_0.3-2_amd64.deb
c824aa8d2f1dffbfaaf304b88b48c19c6d58dde6d6b9e9e3fae4eb0eaf4d5a3d 1182004 agda-stdlib-doc_0.3-2_all.deb
Files:
9aa0578657d209700a3731e0a21dc5ba 1261 libs extra agda-stdlib_0.3-2.dsc
99fbf4ddc4dcb4ac0611ab145cb5e09e 3698 libs extra agda-stdlib_0.3-2.diff.gz
ef66f48cb7245be38395bf3f1ea688bc 12070960 libs extra agda-stdlib_0.3-2_amd64.deb
bd9960ae3a423ef0d9a196c29a08e620 1182004 doc extra agda-stdlib-doc_0.3-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkuJErUACgkQhAwOmkV1TkSSKACfX6qLOS48/beje6j/fZaqhi/L
1WYAoJiTlpRBvVZhsY6VOnb+D9PV4xRc
=aRWu
-----END PGP SIGNATURE-----
Accepted:
agda-stdlib-doc_0.3-2_all.deb
to main/a/agda-stdlib/agda-stdlib-doc_0.3-2_all.deb
agda-stdlib_0.3-2.diff.gz
to main/a/agda-stdlib/agda-stdlib_0.3-2.diff.gz
agda-stdlib_0.3-2.dsc
to main/a/agda-stdlib/agda-stdlib_0.3-2.dsc
agda-stdlib_0.3-2_amd64.deb
to main/a/agda-stdlib/agda-stdlib_0.3-2_amd64.deb
Reply to: