Accepted coq 8.2.pl1+dfsg-4 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 03 Dec 2009 11:54:58 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml-dev
Architecture: source all amd64
Version: 8.2.pl1+dfsg-4
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-dev - development libraries and tools for Coq
Closes: 557458
Changes:
coq (8.2.pl1+dfsg-4) unstable; urgency=low
.
[ Stefano Zacchiroli ]
* debian/control: fix typo in long description (Closes: #557458)
.
[ Stéphane Glondu ]
* Switch to dh-ocaml 0.9
Checksums-Sha1:
8ec1277d605532b2b092263392b7d97db564044c 2218 coq_8.2.pl1+dfsg-4.dsc
aa7cfe9758a4bcf4c623c4f3677dad58320ab069 15396 coq_8.2.pl1+dfsg-4.diff.gz
a888a4252bc64048c77aa2e754579c3165d46f2e 18385480 coq-theories_8.2.pl1+dfsg-4_all.deb
9c279bb5de0c0439669354e8af102761b8a93d28 15313334 coq_8.2.pl1+dfsg-4_amd64.deb
9b8192aee041fc35fbb7d581c1631d690551ddc3 6536918 coqide_8.2.pl1+dfsg-4_amd64.deb
c2a4417057ea2eec0d8947a631dde711a450be16 6063248 libcoq-ocaml-dev_8.2.pl1+dfsg-4_amd64.deb
Checksums-Sha256:
951f4b42bd6803bf9fcd50a7956e09b77546ea3c58d04091f85653929092ff4f 2218 coq_8.2.pl1+dfsg-4.dsc
9b264f09b18e3b63d35e0e599f7280892968bf7e1676bed7b0b86280727d0be5 15396 coq_8.2.pl1+dfsg-4.diff.gz
b7f2a1ff4eb9818123c1005bc36f686b3754f8938ba372a3c581f4ae5bd8886f 18385480 coq-theories_8.2.pl1+dfsg-4_all.deb
8b09e36728583b8a9106be8f4532ad8c19283f641c88574bc9eb61ab03140239 15313334 coq_8.2.pl1+dfsg-4_amd64.deb
7f879b5265e2b847ea3ee7b5fb21a35ec2f470e085e1c79974440fd3d7250b41 6536918 coqide_8.2.pl1+dfsg-4_amd64.deb
34414d2352171d11f9ff17d381be975c4359c0e7d5f849151460649c5a9c0c98 6063248 libcoq-ocaml-dev_8.2.pl1+dfsg-4_amd64.deb
Files:
968b2e275361399771da9a87081b642c 2218 math optional coq_8.2.pl1+dfsg-4.dsc
fb663a24f301895c6517012b1b13af1f 15396 math optional coq_8.2.pl1+dfsg-4.diff.gz
f7a492a669338fcd51a13a42da1dc1f4 18385480 math optional coq-theories_8.2.pl1+dfsg-4_all.deb
f51e65d94efac414f17416aa649f269a 15313334 math optional coq_8.2.pl1+dfsg-4_amd64.deb
344b2db82d2dd501341df6825c544349 6536918 math optional coqide_8.2.pl1+dfsg-4_amd64.deb
e8d1ee72043f2d299c9e3ee996a8812d 6063248 ocaml optional libcoq-ocaml-dev_8.2.pl1+dfsg-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJLF6xAAAoJEHhT2k1JiBrT/cIQAJHSIsKkAqeNRzsSW4mFVwG7
D8a62qZO0QFwsed2QQ3TqQ1acFLzr6cFClYo8utlynbiFvgOqNM0Vey3mlWP1Zab
eSppZSwdmx+/7HsuXpDhMSyZRLwM259biQwlhzPAREKVfXzjH1qzcTE8lTi71G7O
VdsX+tBaRv0frGdVb1X+79P2niS+/cLryD6cWihI8D88np8wOfQFgxSUMPQ6qabj
62hggUIU/LOy5aE13qPfoG11xmqFOxdboovBC/w31aibax8gyp7AI8v8pkk4rsTd
pbixvHkxyTPwOM3+eH9QOs4aRHnoq7lzS967bJAm8kMIKd9tcb3Drh4IeaEptOYD
zyQfPsrKUIsfugdtsOydoLnrVnc0brMhMuwK+TcDXr0/R/BbXtDpYF5+H5lO6kwK
V868raRxxwmV7dqC9dCUcCQCtKrtZ4PQ5D5ctTZdqsP6dHaQB15L9kp0vR+FjCr5
HMuOuFICB/QU9PCQpxse5Frslj5CxFrrOR/gpaXMP51cXPduRdkRILlHhXrvkClH
LX4t60N2Fq4vWvRnqDRXu46H8k+KYD/08kZQJcbFnSmhAZmfuwXY865zuCO03qLQ
GAR0tpGXjCIKJUujYGxHnn8dIHkktV0fVnrUK5wiqBj3rP/CI2He7FnQ9qFwBo2g
Rqv9B86zXV2lc4uYtLgm
=gD1q
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.2.pl1+dfsg-4_all.deb
to main/c/coq/coq-theories_8.2.pl1+dfsg-4_all.deb
coq_8.2.pl1+dfsg-4.diff.gz
to main/c/coq/coq_8.2.pl1+dfsg-4.diff.gz
coq_8.2.pl1+dfsg-4.dsc
to main/c/coq/coq_8.2.pl1+dfsg-4.dsc
coq_8.2.pl1+dfsg-4_amd64.deb
to main/c/coq/coq_8.2.pl1+dfsg-4_amd64.deb
coqide_8.2.pl1+dfsg-4_amd64.deb
to main/c/coq/coqide_8.2.pl1+dfsg-4_amd64.deb
libcoq-ocaml-dev_8.2.pl1+dfsg-4_amd64.deb
to main/c/coq/libcoq-ocaml-dev_8.2.pl1+dfsg-4_amd64.deb
Reply to: