Accepted coq 8.2-1+dfsg-2 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: RIPEMD160
Format: 1.8
Date: Wed, 01 Jul 2009 17:41:55 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml-dev
Architecture: source all amd64
Version: 8.2-1+dfsg-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stephane Glondu <steph@glondu.net>
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: 524037 535320
Changes:
coq (8.2-1+dfsg-2) unstable; urgency=low
.
[ Samuel Mimram ]
* Remove upstream url from long descriptions since we already use the
Homepage field, closes: #524037.
* Updated watch file.
.
[ Stephane Glondu ]
* Remove suggestion on package cle (which has been removed), use
readline-editor instead
* Recompile with OCaml 3.11.1 (Closes: #535320)
* Add versioned dependencies to camlp5 and liblablgtk2-ocaml-dev to
ease OCaml 3.11.1 transition
* Move libcoq-ocaml-dev to section ocaml
* Update Standards-Version to 3.8.2
Checksums-Sha1:
484a71fe02d4a9f5b62c43c1500156f94fe37a25 1593 coq_8.2-1+dfsg-2.dsc
e055d7d49e86746c3e6768fc066f5621e814c197 14193 coq_8.2-1+dfsg-2.diff.gz
d03ef4e3007a3c1bb8fb17fffefb8dc632170298 18214944 coq-theories_8.2-1+dfsg-2_all.deb
13092981cf875cc88ffa955bae20ad06c91ce4e3 15303582 coq_8.2-1+dfsg-2_amd64.deb
824db8d1dc99a88f6ae62544d0361b918b301efe 6536950 coqide_8.2-1+dfsg-2_amd64.deb
bbbc9236fb8a36a241ab2dccdf6986e017f82d8c 6043274 libcoq-ocaml-dev_8.2-1+dfsg-2_amd64.deb
Checksums-Sha256:
98c0d9ca84ced1269f22bcc4c55497fa9d6568dc354f5ad4923443f7e81fe22a 1593 coq_8.2-1+dfsg-2.dsc
bcdb368a342a6e11d949e9cdf99437a196cedee5a8b42aa31846e777c2d6d171 14193 coq_8.2-1+dfsg-2.diff.gz
13f9edd1821fa617dd731e0aabea7c6363440359bcda5ff4f9ec3aca7493703e 18214944 coq-theories_8.2-1+dfsg-2_all.deb
c26e35b7154ab60cf8c43a06d0c5d930d788e2ef7cb8ac7eede19e0294c2184d 15303582 coq_8.2-1+dfsg-2_amd64.deb
f0b10c7b4ecbb45e58b41adab95d2256eef5f3887115168a34571be8a9839780 6536950 coqide_8.2-1+dfsg-2_amd64.deb
86b3c11ed1030ecfd386f941ba42e7b2f34480290578b1f4d445f796cee1181d 6043274 libcoq-ocaml-dev_8.2-1+dfsg-2_amd64.deb
Files:
2aad42085c4110fce3512ebe17a56d20 1593 math optional coq_8.2-1+dfsg-2.dsc
949d55351b3c4aeffa3d0084e06fc816 14193 math optional coq_8.2-1+dfsg-2.diff.gz
36ecf125fffc6f4c6c6ec1876815a80d 18214944 math optional coq-theories_8.2-1+dfsg-2_all.deb
8fc150ad80c0e669b30ae644d09af8c6 15303582 math optional coq_8.2-1+dfsg-2_amd64.deb
d9178a2cc71fa3274264522d9cef64bc 6536950 math optional coqide_8.2-1+dfsg-2_amd64.deb
290ae65148cd79d7e51b38d44282699b 6043274 ocaml optional libcoq-ocaml-dev_8.2-1+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEAREDAAYFAkpLmPIACgkQBg8odvzgParctwCfUwxCTC0jChOroK2QuP1dfFC6
tWIAoMFN94ChFPSBSdOy/87InxPYAU0U
=fPmo
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.2-1+dfsg-2_all.deb
to pool/main/c/coq/coq-theories_8.2-1+dfsg-2_all.deb
coq_8.2-1+dfsg-2.diff.gz
to pool/main/c/coq/coq_8.2-1+dfsg-2.diff.gz
coq_8.2-1+dfsg-2.dsc
to pool/main/c/coq/coq_8.2-1+dfsg-2.dsc
coq_8.2-1+dfsg-2_amd64.deb
to pool/main/c/coq/coq_8.2-1+dfsg-2_amd64.deb
coqide_8.2-1+dfsg-2_amd64.deb
to pool/main/c/coq/coqide_8.2-1+dfsg-2_amd64.deb
libcoq-ocaml-dev_8.2-1+dfsg-2_amd64.deb
to pool/main/c/coq/libcoq-ocaml-dev_8.2-1+dfsg-2_amd64.deb
Reply to: