Accepted coq 8.3.pl4+dfsg-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 27 Mar 2012 07:59:07 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.3.pl4+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.pl4+dfsg-1) unstable; urgency=low
.
* New upstream release
* Replace proofgeneral-coq by proofgeneral in dependencies
* Switch debian/copyright to format 1.0
* Bump Standards-Version to 3.9.3
Checksums-Sha1:
c13d61b8e1160b1d02ddb194cebc30c785648489 2343 coq_8.3.pl4+dfsg-1.dsc
3b53467bf96ad4622da6bbb5e46c34fa6f791b7b 3154721 coq_8.3.pl4+dfsg.orig.tar.gz
439f3049308ced7bf118ca3f48fe31735c0c803f 16320 coq_8.3.pl4+dfsg-1.debian.tar.gz
e6e3bad98d4b2dfbad078a2940640dc7cb4118b4 5675948 coq_8.3.pl4+dfsg-1_amd64.deb
a6d30238dc965e6201d8fc65771bf614c59ce581 5615636 coqide_8.3.pl4+dfsg-1_amd64.deb
21f28243007d40b23c90718c7f836040813aaa04 54319724 coq-theories_8.3.pl4+dfsg-1_all.deb
ae0243a6db74c0533b03836675f3bed7208f0599 2099818 libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb
00b8be846ec94a07e4dfff64b0bd2729876e8b8c 5915700 libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb
Checksums-Sha256:
33ab6c7ffb150cea27d2f83a2f600b34521a95c47e2a4a655fc16ee5cb4ae13e 2343 coq_8.3.pl4+dfsg-1.dsc
ebb517485af17302df9d76c7b7fd2257bf792352030f0b919638ad4515975bed 3154721 coq_8.3.pl4+dfsg.orig.tar.gz
2ed22a03ebaf6cf4da9c67fb35761cf9c6290daf601e2bccb001e6279b477c29 16320 coq_8.3.pl4+dfsg-1.debian.tar.gz
823997b54e7371ebbd568a2bc1725a6e4a50159352cfd593355022d81ce1d23f 5675948 coq_8.3.pl4+dfsg-1_amd64.deb
64321dc980d2c4a4ade5a30e958e10e9c996cd679a917d975dc6c9398064c613 5615636 coqide_8.3.pl4+dfsg-1_amd64.deb
0baada5042fb33584c9264b6de1fd43d59382e611e81d6faf251414801439824 54319724 coq-theories_8.3.pl4+dfsg-1_all.deb
0dd94dc1575bf4265f83b329f0fb1501ebf9c54356f2cf0256e01714eea6f581 2099818 libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb
1aeb92cd8a5fb661338d5945d4e34d4ca6c41237d55cab66a3851af16a1d1b4b 5915700 libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb
Files:
3b78f5e7c02de417e996bf78c93fb5fe 2343 math optional coq_8.3.pl4+dfsg-1.dsc
8ac619e898d046d90cd0b7b821cbeeb5 3154721 math optional coq_8.3.pl4+dfsg.orig.tar.gz
24ff01227649a5f79b3064aeda26513d 16320 math optional coq_8.3.pl4+dfsg-1.debian.tar.gz
b5e4bc8a3ad1dcab3aefdacc2465e459 5675948 math optional coq_8.3.pl4+dfsg-1_amd64.deb
29d034ba0348434ad66cf840280d4ffd 5615636 math optional coqide_8.3.pl4+dfsg-1_amd64.deb
0470a4cea9b1c4953d79d3cdde5fb4f4 54319724 math optional coq-theories_8.3.pl4+dfsg-1_all.deb
8490fd0ae9a4df32151dd4661992f331 2099818 ocaml optional libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb
7f284e73d54e6b0be70ec978a463c229 5915700 ocaml optional libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJPcWBPAAoJEHhT2k1JiBrT5fsQAJgeq9uuBUx0k0DGOYtcwl/t
ngBpcfuTWtZLX/8BMkCdiVEYdyko+tT5dx4iOfiTlQJt2XTQEMlX53Ey3TKe4tkL
/kw0gZ7lWJptHNxWVAGfwir+Lb7AZ34pMXM+bLq/LdSGGPob5d7xK0Fq1e4VFgMc
WXijwb0/nFw+DQi/hDJdIhedIBlMCjnowgqumUsUdwH4m1e/nCNtwDaFeXX4Mg3w
WQba7BMEV3rj1FvW0fQsehnv4hIOuZMMfWZNACNu7EFgfVY0eEX/+ZLbVEiFtKaR
QVZrV9jJ0ywbonkRdwvvEJGWtfA3qZE46yKoMvpYX6t78Y8XJf/6vf1XiXIW2Ys3
aNjYrhjS8X2E8C2Ec66hl/LxGbGxF83FGz7OhSBXrhgdjcBkcycA1n5SZAiitpul
npvF2q8OsTUzewQTqhitXNT1mLglJrjotN21pUXUiSzaAUW2Kv7/3RTeJuyxeTmP
wWvOA187cm9E+5+wELa7yuAH/md7EhC79ETf4oedoZ7V2L2TV0UpX79b5Upm69z3
hsktP85S9uJ6qFKUE6PoVSUfqvYHpzUTycu7XnA8V+rj3c/MdCTmak7ya7Lr6ScH
y77E+5t7AqeuDhh9DbkojalYZNaIWZbdxp9VdUuYGD1eIONF+1qDfegH1XQSr+c/
DTO//2OkWd1GrDxhBPdQ
=mnj/
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.3.pl4+dfsg-1_all.deb
to main/c/coq/coq-theories_8.3.pl4+dfsg-1_all.deb
coq_8.3.pl4+dfsg-1.debian.tar.gz
to main/c/coq/coq_8.3.pl4+dfsg-1.debian.tar.gz
coq_8.3.pl4+dfsg-1.dsc
to main/c/coq/coq_8.3.pl4+dfsg-1.dsc
coq_8.3.pl4+dfsg-1_amd64.deb
to main/c/coq/coq_8.3.pl4+dfsg-1_amd64.deb
coq_8.3.pl4+dfsg.orig.tar.gz
to main/c/coq/coq_8.3.pl4+dfsg.orig.tar.gz
coqide_8.3.pl4+dfsg-1_amd64.deb
to main/c/coq/coqide_8.3.pl4+dfsg-1_amd64.deb
libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb
to main/c/coq/libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb
libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb
to main/c/coq/libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb
Reply to: