[ubuntu/precise] coq 8.3.pl3+dfsg-1build1 (Accepted)

[Colin Watson]

coq (8.3.pl3+dfsg-1build1) precise; urgency=low

  * Rebuild with ocamlopt on armhf.

Date: Tue, 24 Jan 2012 11:59:56 +0000
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/precise/+source/coq/8.3.pl3+dfsg-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 24 Jan 2012 11:59:56 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.3.pl3+dfsg-1build1
Distribution: precise
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Colin Watson <cjwatson 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 - runtime libraries for Coq
 libcoq-ocaml-dev - development libraries and tools for Coq
Changes: 
 coq (8.3.pl3+dfsg-1build1) precise; urgency=low
 .
   * Rebuild with ocamlopt on armhf.
Checksums-Sha1: 
 e1627d5a8a14522d77bef0ac5120ad4a0110fb49 2423 coq_8.3.pl3+dfsg-1build1.dsc
 a62be3a5bcb96aee0e40fee4012eb980990498ff 16116 coq_8.3.pl3+dfsg-1build1.debian.tar.gz
Checksums-Sha256: 
 ce3586c8026c6320f9c4b2c0d679867afd7e230b945da8322335d71dfff923a6 2423 coq_8.3.pl3+dfsg-1build1.dsc
 65f79cb8d23b215abc5c0ec4217aa0be3e95848bfee17bc783c3089f399f37ff 16116 coq_8.3.pl3+dfsg-1build1.debian.tar.gz
Files: 
 546f411c6ebb96a18528ba10b5c4e309 2423 math optional coq_8.3.pl3+dfsg-1build1.dsc
 95ac477c509f8047f99c3e174112c7d5 16116 math optional coq_8.3.pl3+dfsg-1build1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Colin Watson <cjwatson at debian.org> -- Debian developer

iQIVAwUBTx6eEDk1h9l9hlALAQgNWRAApwVoqNBeMUA6hUUxG8tTiVAjxOBKTa2P
NknpE68O9MIcipl9wz0sUealvoDKE3EHxbOZLyNEKbind1icQa4WNwp6/YI6vFd3
PTL1uLjawHVmU1wmnp4TyRmM/yf7etpczFc7i5PBo9L9ynwNVyAz4rZC5lj0Qmwm
01sLXUPizB+mUy/kOZ+Lu1xTLMBzMJTZyihlm9X7IP4IH5mlUsqbJK+dgJoXsPnI
ZZlenrxIPV7gjeYRdS6uWXFnXauQ54Nej0AS8xgSaLfRQhU5YV8M/wtSfIWawZki
tE5v7Qv+AMQtnKvNLhfGv/tfWAVam3xlwwLi5JUvbPAb5r05StXmPZPySEC43si2
3lWSZoY6FhzxSEiScq7dK8o3BNVzccvckZGIhWZVMNEeswEmqbhtGF+EsvTlKaaq
a5o14WLsMeGKV+OB6SVUxzsnp7GEfRnar8yS6dcMOY9fwN7Sou96IXSpnW6SZVEU
3wuGKkVq0nNdhSpRCWgBhCdyCXElqPs8vuPvDjh7SXUfaN2jb39cwkT3CqvitE6I
LG2KsCKwvjSPW7yDZYvhD8P1c58l1NNZ1Vi7lQCcL3+TCInnrPCodkIh5WYSAQYq
TJl74A1cIeU1CAsJCG3UPq/mCmUUegzdKKRJYnRDUgN1vNEl3DDvBRGrzMlcNdGP
QyWanYYsEE4=
=RTLc
-----END PGP SIGNATURE-----