[ubuntu/maverick] coq 8.2.pl2+dfsg-1ubuntu1 (Accepted)

[Matthias Klose]

coq (8.2.pl2+dfsg-1ubuntu1) maverick; urgency=low

  * Do not hardcode register names for thumb mode on armel. LP: #636229 .

Date: Sat, 18 Sep 2010 18:24:09 +0200
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Signed-By: Matthias Klose <matthias.klose at canonical.com>
https://launchpad.net/ubuntu/maverick/+source/coq/8.2.pl2+dfsg-1ubuntu1
-------------- next part --------------
Format: 1.8
Date: Sat, 18 Sep 2010 18:24:09 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml-dev
Architecture: source
Version: 8.2.pl2+dfsg-1ubuntu1
Distribution: maverick
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Description: 
 coq        - proof assistant for higher-order logic (toplevel and compiler)
 coq-theories - proof assistant for higher-order logic (theories)
 coqide     - proof assistant for higher-order logic (gtk interface)
 libcoq-ocaml-dev - development libraries and tools for Coq
Launchpad-Bugs-Fixed: 636229
Changes: 
 coq (8.2.pl2+dfsg-1ubuntu1) maverick; urgency=low
 .
   * Do not hardcode register names for thumb mode on armel. LP: #636229 .
Checksums-Sha1: 
 c7f1c2b697b8eb069f3ad0bd9065031878827681 1545 coq_8.2.pl2+dfsg-1ubuntu1.dsc
 2a42d2646eb4827a4dbf613df141a35fcb688634 17307 coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz
Checksums-Sha256: 
 0bb909ac9fe0a9e577326b280d3c5769d82d5a9e33f4b84c54b6b0342687ac3c 1545 coq_8.2.pl2+dfsg-1ubuntu1.dsc
 d2070d9587f803f226f3417d2ac1d916ea758fd372313c82f3094740fec9e92d 17307 coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz
Files: 
 5401ecf48fdbf4cc6368ed986c62182a 1545 math optional coq_8.2.pl2+dfsg-1ubuntu1.dsc
 1e67f8a91bf1923e32129c8ab871d5f7 17307 math optional coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz