[ubuntu/natty] agda-bin 2.2.10-1~ubuntu1 (Accepted)

Iain Lane laney at ubuntu.com
Sun Feb 27 19:45:28 UTC 2011


agda-bin (2.2.10-1~ubuntu1) natty; urgency=low

  * Upload to Natty as delayed in Debian due to GHC transition
  * [e9845f4] debian/gbp.conf: Remove as we are no longer uploading to exp
  * [62091f5] Imported Upstream version 2.2.10
  * [6beab2e] Bump Agda BDs per Agda.cabal
  * [a27c918] Standards-Version → 3.9.1, no changes required

Date: Sun, 27 Feb 2011 19:36:14 +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-bin/2.2.10-1~ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 27 Feb 2011 19:36:14 +0000
Source: agda-bin
Binary: agda-bin
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-bin   - Commandline interface to Agda
Changes: 
 agda-bin (2.2.10-1~ubuntu1) natty; urgency=low
 .
   * Upload to Natty as delayed in Debian due to GHC transition
   * [e9845f4] debian/gbp.conf: Remove as we are no longer uploading to exp
   * [62091f5] Imported Upstream version 2.2.10
   * [6beab2e] Bump Agda BDs per Agda.cabal
   * [a27c918] Standards-Version → 3.9.1, no changes required
Checksums-Sha1: 
 c1db242564c6b003649a08cc2da9aa475846eec7 2089 agda-bin_2.2.10-1~ubuntu1.dsc
 5f26902c2aa223491f2601b4ec94bef9b59eba03 1788 agda-bin_2.2.10.orig.tar.gz
 390f8b8c037112c060fbc30ab42973962cea29e8 2875 agda-bin_2.2.10-1~ubuntu1.diff.gz
Checksums-Sha256: 
 257a9382ff60d3fca8e7ece4a00cf69f58b5695b883a9dfab47732ca09874e84 2089 agda-bin_2.2.10-1~ubuntu1.dsc
 c65fda739b23d1c996918e8adaf5d8bf7d4a37479e05cd9d56377cb5cb5f544a 1788 agda-bin_2.2.10.orig.tar.gz
 6e5edd10c6eb8309f7ea20d05eac8cf54e47453896d0614f70b02ef26bdf8069 2875 agda-bin_2.2.10-1~ubuntu1.diff.gz
Files: 
 6450f60488dc37e9a7842df9be00d95c 2089 haskell extra agda-bin_2.2.10-1~ubuntu1.dsc
 a12a7831e9f9eeba5fc6e05dcabf7ae5 1788 haskell extra agda-bin_2.2.10.orig.tar.gz
 a4b1d127c0ed392262df50b58baf3b97 2875 haskell extra agda-bin_2.2.10-1~ubuntu1.diff.gz
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iQIcBAEBCAAGBQJNaqg8AAoJEONS1cUcUEHUr8oP/0Ai08zDaRD/1VZrSDKBPRFV
r1RqioEJH8Y5tfcrc/T7qzymAkUDtoTDpNepo1Oiu4tL/njOwnpba9Dv21qyvBu2
KLEh+hF75BvT2fM3hhzYuexHf9EOsWToVBUkj0EDjhzHvxnHAPbwbSTmnMJxas56
4O7kSuFUN126781LY+zzbi4mBC/I2pPLV51Y+6CNZ1v1iom1bGeMatWSJl/PiiiV
wHDy/nFmqWqKoPlsPr1eWACeT9aq0C6c9BZNdqK0/Mn48Njt1QM3BBAzawisx+Iy
3op0PxiiUJ9yG5nEW7mk+oKIdNnHHcnIAgIgBy5DdGUfeGypBEuuEX4dVDFBNOKo
B1DLEg/eXeto1bxy4xnuMUcocfGJ9YEeSg5+YyjHcjNuUnL0/YKg4Mjdhsf8Pvmj
QUoPfMShEEtjny3z0BsoppjweRW2dplhhwP9ynzTG9CR0wyIaQ/l6U9H6Z5qdElN
ONHBHi9LSAunhRk1WEEWv+88Xk9yNmVEicHb8gQ38dim3t+A9VsT/UlK5GPDt+87
vKRB8w3c45K8YUB2SAbufgwu69lxbkkTi4B4/doZoVSFXdFESzRnS9+A7taUP4qj
0oa2GeU8r/JQv3gbTF3/JQJ/AHdOXnm7Xb0bMI58df6QL17QlWty8Q2oToIiGARQ
wNr19goVnmAAdeWbZ0gB
=G9fE
-----END PGP SIGNATURE-----


More information about the Natty-changes mailing list