Format: 1.8
Date: Wed, 06 Jul 2011 11:35:34 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.3.pl2+dfsg-1+3.12.1+2
Distribution: UNRELEASED
Urgency: low
Maintainer: Stéphane Glondu <glondu@debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
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.pl2+dfsg-1+3.12.1+2) UNRELEASED; urgency=low
 .
   * Rebuild with OCaml 3.12.1 (no source changes)
Checksums-Sha1: 
 cb9fc9a3e13d02b54978a564c1b8c75f0f905d6b 1325 coq_8.3.pl2+dfsg-1+3.12.1+2.dsc
 e0e7751104afe8466ca7a7a2aeb46d43e18c984a 3147573 coq_8.3.pl2+dfsg.orig.tar.gz
 83c848debbf497bd35cad796e990063baa61f6a0 16644 coq_8.3.pl2+dfsg-1+3.12.1+2.debian.tar.gz
 5db27a927e392200914070eb8a4a03cc270f5374 5665170 coq_8.3.pl2+dfsg-1+3.12.1+2_amd64.deb
 0ed5ad3205e966c15773c7d50f483cfc5036b39f 5601464 coqide_8.3.pl2+dfsg-1+3.12.1+2_amd64.deb
 1dd5a4ead3a52072afbf75198f7c8e64d3c9b964 53344474 coq-theories_8.3.pl2+dfsg-1+3.12.1+2_all.deb
 c5d7fe04f2079e259fb1dbba623d6b16563e14dc 2090180 libcoq-ocaml_8.3.pl2+dfsg-1+3.12.1+2_amd64.deb
 8b7119358b5ea81c2c890a6ce55c70a447b3ce9f 5902608 libcoq-ocaml-dev_8.3.pl2+dfsg-1+3.12.1+2_amd64.deb
Checksums-Sha256: 
 c403d9d1769890abee31fa6ee1e386a98c1513ca14b6b26f20b0db46efb44a63 1325 coq_8.3.pl2+dfsg-1+3.12.1+2.dsc
 7f4a1d846bc02a4403a5b2aa7977313dde9032e88684d510e9ffb42062d384cb 3147573 coq_8.3.pl2+dfsg.orig.tar.gz
 0ffbd42835244876ecc81e8cbf6843199db8d330a9d8357c17e02177a2e708b1 16644 coq_8.3.pl2+dfsg-1+3.12.1+2.debian.tar.gz
 0b5f3ecc4d1a4458d5e87c26b1a91abf3190f26a91912fe3772e988736645630 5665170 coq_8.3.pl2+dfsg-1+3.12.1+2_amd64.deb
 0843b121a3ed4f07c846fef90509e99fa80d71335570d2df69da131a37711bc1 5601464 coqide_8.3.pl2+dfsg-1+3.12.1+2_amd64.deb
 fb67ca9b88708694b305c4ee0a54b5fbe1743567a125976a7985933df4f9be48 53344474 coq-theories_8.3.pl2+dfsg-1+3.12.1+2_all.deb
 26b90acaa13e0762bcc0a7a348f36bc855c13abd7eb721d77e7fb20d51726d7f 2090180 libcoq-ocaml_8.3.pl2+dfsg-1+3.12.1+2_amd64.deb
 4fcba8574d68a83fb7ecc4d70a109a9d566f80dfe196158e82785fce1c71f7b4 5902608 libcoq-ocaml-dev_8.3.pl2+dfsg-1+3.12.1+2_amd64.deb
Files: 
 2aca92396e9624b3975a8df4404d2936 1325 math optional coq_8.3.pl2+dfsg-1+3.12.1+2.dsc
 70ece28030a20c19b9292cb0c7d5be4a 3147573 math optional coq_8.3.pl2+dfsg.orig.tar.gz
 c37c3adf12f17908c4305433aa249add 16644 math optional coq_8.3.pl2+dfsg-1+3.12.1+2.debian.tar.gz
 36f67a89af232a3413ffe27ba6f33bab 5665170 math optional coq_8.3.pl2+dfsg-1+3.12.1+2_amd64.deb
 e51884d246d6ca4586d79d90ad0c6648 5601464 math optional coqide_8.3.pl2+dfsg-1+3.12.1+2_amd64.deb
 9e42c24ec2ae068daf404bdfc1c5a93e 53344474 math optional coq-theories_8.3.pl2+dfsg-1+3.12.1+2_all.deb
 cc672013a43665663a019fc0a3d88498 2090180 ocaml optional libcoq-ocaml_8.3.pl2+dfsg-1+3.12.1+2_amd64.deb
 12f68c79c8008c4c2067f44bc522aaf2 5902608 ocaml optional libcoq-ocaml-dev_8.3.pl2+dfsg-1+3.12.1+2_amd64.deb