Accepted coq 8.3.pl3+dfsg-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 25 Dec 2011 13:46:09 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.3.pl3+dfsg-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.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.pl3+dfsg-1) unstable; urgency=low
.
* New upstream release
- remove all patches (applied upstream)
Checksums-Sha1:
f7c5f530d530467a9703cc2d6e7f1ab218fa4a02 2343 coq_8.3.pl3+dfsg-1.dsc
ea93417d91fbb9c1a04c9c9481a99e620e600c5e 3152870 coq_8.3.pl3+dfsg.orig.tar.gz
a17501b71501cc0c304c54341a4501de3405c714 16178 coq_8.3.pl3+dfsg-1.debian.tar.gz
30545adb5d2b42c184ec0188bb9e1acaed612dfe 5671626 coq_8.3.pl3+dfsg-1_amd64.deb
46693846d789bdabdd0e1af85d06669350644a36 5610340 coqide_8.3.pl3+dfsg-1_amd64.deb
56550cecfcbcd4a34d05cf8852f44fc057aa2058 54303720 coq-theories_8.3.pl3+dfsg-1_all.deb
5b58f1e7d7983d333525ccd2c7e37b30c2760dfe 2098704 libcoq-ocaml_8.3.pl3+dfsg-1_amd64.deb
13fb344228ca7bcc9e3e88ec120b9001fbb68354 5910858 libcoq-ocaml-dev_8.3.pl3+dfsg-1_amd64.deb
Checksums-Sha256:
2892292acf5cecba6b0612ea2e8e0604e3763e9f8495195af0126da70228323b 2343 coq_8.3.pl3+dfsg-1.dsc
4ea1d7dee8011c8b98a63cbd1c32e94a620437a81ca48abbd11363cb3bf927b8 3152870 coq_8.3.pl3+dfsg.orig.tar.gz
af8336fbdccf0477fa3ec3ecc9f908bf2190e50420c0c1b583ed15ceaf4027bd 16178 coq_8.3.pl3+dfsg-1.debian.tar.gz
476a9ad377ddf2d019fafc8f04050db3f0cece75bcff9d3cd0e6a9125a045655 5671626 coq_8.3.pl3+dfsg-1_amd64.deb
edf03be4345905e85251403cfa02563f696087c8a36d834dbab8b8e4ce1ee963 5610340 coqide_8.3.pl3+dfsg-1_amd64.deb
6870ff2e708a819743b80d1af1b1bf2ae750b83da46195373749ebeb207b3fce 54303720 coq-theories_8.3.pl3+dfsg-1_all.deb
2d2ea0f2ed2217fabed58561384bb90638b5b3383937e60ab938a897944dba98 2098704 libcoq-ocaml_8.3.pl3+dfsg-1_amd64.deb
a66b9e07b95c5ed2f8a5f3db715f0ce524d4b9b17c19a7892b2b199a65f588bb 5910858 libcoq-ocaml-dev_8.3.pl3+dfsg-1_amd64.deb
Files:
6238f60606f72ae5c877e1fd2e41d568 2343 math optional coq_8.3.pl3+dfsg-1.dsc
5023e70c5c8a83200654f1f724a42cde 3152870 math optional coq_8.3.pl3+dfsg.orig.tar.gz
58a3994fe717e1312335d7fc22aca1b6 16178 math optional coq_8.3.pl3+dfsg-1.debian.tar.gz
eb7feee7f3cc3b9bed6000d49152688a 5671626 math optional coq_8.3.pl3+dfsg-1_amd64.deb
cc6f113ec9c98aca8b47ab2c13d7fae5 5610340 math optional coqide_8.3.pl3+dfsg-1_amd64.deb
48a215f7c0e778220abb6a434b41211a 54303720 math optional coq-theories_8.3.pl3+dfsg-1_all.deb
d2b4b1cadb0c6c5cc695342d8674c1c6 2098704 ocaml optional libcoq-ocaml_8.3.pl3+dfsg-1_amd64.deb
f0732422d999c66e08e57459d46f0f4e 5910858 ocaml optional libcoq-ocaml-dev_8.3.pl3+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJO9yBtAAoJEHhT2k1JiBrTBWcP/0ybsUm1XNByTwJ2CWYq8/cu
kwqUqY49Hz2N1+NERzjsUrxGR5h2OazIg8iQCMsfyWiW9ThhPECNIdIlCsBoUCnB
9LkC9g5EzH5vAQRdm4/8cdW83ZfpyOZHLbwnHMiwLQKaKu20RoXn4zmBj3xtCiUe
TjRhYLjL4haN0l8p0hRclGlKJOLmd39Im2uJ+4P7H2PxSz1jpYGg0e2V28GJlIN/
tWJ5zGGB+ExO9yzja0rwjaoyjMcjy3pkluX6wRUEPFIl9RipchNjzBNf1FtOeQZg
Clxp0UU9iXYWLMnPFT35Zewh9QbPEVUex8UJmxjn+1ExwBv3b0V8Bdr4iccLOKH8
cyLk20XbR/c4M7ffaMZV5mvfed7l6FHfAXOIes2BygJtc9t4A0BfpVlwViACGr6H
WM+8C9QbB+rUDugF5d92LiKaKanZ7Yl7amOAyVjkPB6x1oFSoLpb6oaYqYIGBX4V
/BBXMWT9M9ej41BjwkVMgd84vfOjAup48Ic3bOvueC1T9PJDIgdKURYqyt8G72zo
qgzos7VAKGvqmqyDX4QVzpB+FoIv55Avo6aLzUOyQOx4r3mKKxSzeHeLlYF2bjKX
SDnyVMm6HSN/mRLGSMq7/YYtNnsjXcarXeeN6MVSv+eHcaonBdcpz5+diB5sNCvc
Gu/urHLgzX9+B3MxuTvy
=ENy9
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.3.pl3+dfsg-1_all.deb
to main/c/coq/coq-theories_8.3.pl3+dfsg-1_all.deb
coq_8.3.pl3+dfsg-1.debian.tar.gz
to main/c/coq/coq_8.3.pl3+dfsg-1.debian.tar.gz
coq_8.3.pl3+dfsg-1.dsc
to main/c/coq/coq_8.3.pl3+dfsg-1.dsc
coq_8.3.pl3+dfsg-1_amd64.deb
to main/c/coq/coq_8.3.pl3+dfsg-1_amd64.deb
coq_8.3.pl3+dfsg.orig.tar.gz
to main/c/coq/coq_8.3.pl3+dfsg.orig.tar.gz
coqide_8.3.pl3+dfsg-1_amd64.deb
to main/c/coq/coqide_8.3.pl3+dfsg-1_amd64.deb
libcoq-ocaml-dev_8.3.pl3+dfsg-1_amd64.deb
to main/c/coq/libcoq-ocaml-dev_8.3.pl3+dfsg-1_amd64.deb
libcoq-ocaml_8.3.pl3+dfsg-1_amd64.deb
to main/c/coq/libcoq-ocaml_8.3.pl3+dfsg-1_amd64.deb
Reply to: