-----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
