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 <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> Signed-By: Matthias Klose <[email protected]> https://launchpad.net/ubuntu/maverick/+source/coq/8.2.pl2+dfsg-1ubuntu1
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 <[email protected]> Changed-By: Matthias Klose <[email protected]> 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
-- Maverick-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/maverick-changes
