[ubuntu/natty] agda 2.2.10-1~ubuntu1 (Accepted)
Iain Lane
laney at ubuntu.com
Thu Feb 24 18:35:57 UTC 2011
agda (2.2.10-1~ubuntu1) natty; urgency=low
* [60c4b8a] Imported Upstream version 2.2.10
* [81c6857] Add haskell-src-exts BD
* [e7b276a] Add QuickCheck BDs
* [d807f09] Add new patch from upstream to build against versions of
libraries in Debian
Date: Thu, 24 Feb 2011 18:27:06 +0000
Changed-By: Iain Lane <laney at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Signed-By: Iain Lane <iain at orangesquash.org.uk>
https://launchpad.net/ubuntu/natty/+source/agda/2.2.10-1~ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 24 Feb 2011 18:27:06 +0000
Source: agda
Binary: libghc6-agda-dev libghc6-agda-doc agda-mode
Architecture: source
Version: 2.2.10-1~ubuntu1
Distribution: natty
Urgency: low
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Iain Lane <laney at ubuntu.com>
Description:
agda-mode - the emacs mode for Agda
libghc6-agda-dev - a dependently typed functional programming language - development
libghc6-agda-doc - a dependently typed functional programming language - documentati
Changes:
agda (2.2.10-1~ubuntu1) natty; urgency=low
.
* [60c4b8a] Imported Upstream version 2.2.10
* [81c6857] Add haskell-src-exts BD
* [e7b276a] Add QuickCheck BDs
* [d807f09] Add new patch from upstream to build against versions of
libraries in Debian
Checksums-Sha1:
bf1ddf3f9c26e56680e3dd1624309ffe9728f047 3182 agda_2.2.10-1~ubuntu1.dsc
d617a31bc7dab5fb701d56b09c18038adec96971 517723 agda_2.2.10.orig.tar.gz
99232f0b1fd1b681ad90136d7a3a854352d3e799 8391 agda_2.2.10-1~ubuntu1.debian.tar.gz
Checksums-Sha256:
2416b36b073f1f1b4c19b2dc2839b6ebd72e24de7350deba2cc123756e9d5eb2 3182 agda_2.2.10-1~ubuntu1.dsc
5cd3b69a744b86b74344b790350d8a6f2b62f206f5a53a9cfad22cc3ca3309ae 517723 agda_2.2.10.orig.tar.gz
679391dd5db9d07969836817861117c8404ad10dcfa9b92b5c1fa270b0465586 8391 agda_2.2.10-1~ubuntu1.debian.tar.gz
Files:
9905fd1e10f81b8a550aab8a78d83ed5 3182 haskell extra agda_2.2.10-1~ubuntu1.dsc
eadb729a1755f1c6c8475d1621246fd8 517723 haskell extra agda_2.2.10.orig.tar.gz
503d6221be17c1a325d341fb656262e0 8391 haskell extra agda_2.2.10-1~ubuntu1.debian.tar.gz
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCAAGBQJNZqM0AAoJEONS1cUcUEHU4w0P/0NhL0IvOGZFkPtDmG1Ip8yq
DYPfT64vaNu66O0lO6YE6rS3zEF4R465Y3royTwZUyZBFvQKwAcG+oETYuAPlNq9
4AAElRKDrcjb4TLdNecdAIhQmqNPn0Y3dWHLSEalEs1WXyYL7d1ndTvPJ3EKLYtK
9brc7/RY6EOSFlsx5gWWraugMm2iYI3RQxSi3N6hrB8gp9hA2XawZ7zoGFnqHUNE
Steo8m+HcanJLntT/3Zv8adPFcwjPwEAFoSdK5M/KYxiBY8qnEPmFHgjvtU1vimM
onyKOEXLbYfjFP2lw8WWZt36E9srOXgP6+qIUjm2o3jHsaoZMXBjyUw59wLycjPl
E8HV1kYSyrcE7pytkpW6/q+PuRk2pbhAiQ062zrqEtgYrdFJh+jWfXDW7BdYQZ/U
umRfv/vcr7oIr0FKsdRlIs4S5VIEmEDTzrYr7ldwrzxu1ELLTcWzBEGXtnogFRpb
31lJ+I7f58wvr3jAjI3M48UeubxgOfvMrwPeY/5Gaj9tU0iVrc/9oEwEviPs84Hy
CXn7LLpuVMi0CmqbAhEBoQk90T9tlqaZpXQywf1Gl3Oie/Z7njG2i33fxvNbIRNi
kqswyYulW8JGQZwrw9r3MET2Ym840KKjPql5lTtqtZHuCGK+akk/AW0vaIAXSS/o
3LhXmLt+/fLBkRRNOyci
=yPYs
-----END PGP SIGNATURE-----
More information about the Natty-changes
mailing list