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 <la...@ubuntu.com> Signed-By: Iain Lane <launch...@orangesquash.org.uk> https://launchpad.net/ubuntu/lucid/+source/agda-stdlib/0.3-1ubuntu1
-----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 <la...@ubuntu.com> Changed-By: Iain Lane <la...@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-----
-- Lucid-changes mailing list Lucid-changes@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/lucid-changes