Accepted coq 8.3+dfsg-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 16 Oct 2010 09:56:23 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.3+dfsg-1
Distribution: experimental
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+dfsg-1) experimental; urgency=low
.
* New upstream release
- add 0001-Fix-missing-coqlib-argument-to-coqdep-in-test-suite.patch
* Bump Standards-Version to 3.9.1 (no changes)
Checksums-Sha1:
0d405b41ef3ad33c70bce9c183d6bbf9eb03e994 2145 coq_8.3+dfsg-1.dsc
350bcd4a071b5aca666cf5c780a2cac827e0b483 3125481 coq_8.3+dfsg.orig.tar.gz
ab7bc0a705cc1221113d2eb60c580a3b1a5fd5c8 16288 coq_8.3+dfsg-1.debian.tar.gz
43ca0b615aa32b7a623e9ed112787d60e90b692c 5579932 coq_8.3+dfsg-1_amd64.deb
c355fc4ab39dfbefe4851d362797d60f5d4b9559 5530470 coqide_8.3+dfsg-1_amd64.deb
6ebad72332af6fc65ce0f2999459cf4c0a063148 52905288 coq-theories_8.3+dfsg-1_all.deb
30161a245cb3335c9bbdbc7c77019412aff64197 2084988 libcoq-ocaml_8.3+dfsg-1_amd64.deb
71a5a1bbfc7bba0bd759264565b1da6abb6078bb 5876692 libcoq-ocaml-dev_8.3+dfsg-1_amd64.deb
Checksums-Sha256:
e0a6f3d44255dd39a05efb55b8558723536cb4339872ea757fcf0c08850b829a 2145 coq_8.3+dfsg-1.dsc
1419852dcc588137b26fa0de8ba19c3e217dca8487a28c7d068e6c4a7526650b 3125481 coq_8.3+dfsg.orig.tar.gz
896b69103d0ccdd3e5c10f30e03e732e1119f8bfa169c68dfa6ad8880cfb048f 16288 coq_8.3+dfsg-1.debian.tar.gz
82f0c88bc81446e655bb0dc3fd4521cd808699cfb586926a45e53b0f3a5f8c88 5579932 coq_8.3+dfsg-1_amd64.deb
b0c98ae374b7e3f9bf4a25de85768ed68f28a41fb7def989ba88acdac2856655 5530470 coqide_8.3+dfsg-1_amd64.deb
7d6ba890f1f155bb380a7799f021f1b99c1c283258f5534a6898b8a40f2f1b9b 52905288 coq-theories_8.3+dfsg-1_all.deb
54cd008c94b731e54c70468720124b1fde4d592b06d48c1de6c8ba516a4a89d7 2084988 libcoq-ocaml_8.3+dfsg-1_amd64.deb
e7661511818feebd46d9cfc061e23fa7901eaf71838eab1af3870ed4e968a95d 5876692 libcoq-ocaml-dev_8.3+dfsg-1_amd64.deb
Files:
ec5ddf888111d3df88f93e6b27c21159 2145 math optional coq_8.3+dfsg-1.dsc
7735279e0847c64728b56a7aae8f96dc 3125481 math optional coq_8.3+dfsg.orig.tar.gz
4f91a49809b9f971b8850aa36f412e10 16288 math optional coq_8.3+dfsg-1.debian.tar.gz
f1b72f86bb94772b901cde9f0b9da86a 5579932 math optional coq_8.3+dfsg-1_amd64.deb
a5ca489d0121abbd1046fa2efa85fa4b 5530470 math optional coqide_8.3+dfsg-1_amd64.deb
c916a5b809a377b4edf2be6f8ca4a9c4 52905288 math optional coq-theories_8.3+dfsg-1_all.deb
98f2e27b84713058b03f2bf4fe70d4b6 2084988 ocaml optional libcoq-ocaml_8.3+dfsg-1_amd64.deb
f26c74a23a171ec8910f8b4ccb2f97ad 5876692 ocaml optional libcoq-ocaml-dev_8.3+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJMuXQTAAoJEHhT2k1JiBrT8KYP/0XzEpUecX/Ti+7X/+x9wiGV
cRr9i14GSIm0h1xDESOdE8rMYEwkyWII1altACzZoEtavSvZRYNnp4959+HGizNu
sY2lESPZTPhYB3GN/NtWg4N36QXuRCJ17Bj8XcFdhBmbqmZEq/AYgOV9pJYUERCH
E01eeN6uufR0k59W2vZYnI5vBNXk0HhCnLZSYsUKTLzwgDDD2Uk8ZmvPQcXWEvqx
HENpr+MIQw9unn27mCPk7i0/jqJUyKUTZ9wSMDRLcgej7dOmBWwh/iUsJ+QwxJ/R
jUbdH/kNjiefY56qBtEwxV7QrVRxnxjFCq5TKkyuTFnyqbxW3oOAqA51aURyjVhy
+LS7aBXShHGAY+328uo0xRs9iGvoVNcfucZOnBpPxw69zYO2YPY68Fy7/eB/5h8m
DnHfFG+RliINa7PWp5OGpjXAPEtepEMbpxvJZJyPIFHwucTw6kIrXwYpz2FtJs51
5ne6zG7TgnHg0j9+8TI56V2aBdm7Rk5mY7i2SxiWrqzsqtLsGvxMYQNZlftBRIBz
Ie9rdkoRO/xAqxydJH7P0PyrJjllNt/ElAf7q6/Wj5uua4/wG7J/w+76Mfz3PSMT
5WhvDWq4376VQ9DgLfUoQxauisGgwHVGW49rv46WOuqfDj+H0OOu+HfKS2eG8Osf
hiIm7za6bT8jkp865+IZ
=y9zx
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.3+dfsg-1_all.deb
to main/c/coq/coq-theories_8.3+dfsg-1_all.deb
coq_8.3+dfsg-1.debian.tar.gz
to main/c/coq/coq_8.3+dfsg-1.debian.tar.gz
coq_8.3+dfsg-1.dsc
to main/c/coq/coq_8.3+dfsg-1.dsc
coq_8.3+dfsg-1_amd64.deb
to main/c/coq/coq_8.3+dfsg-1_amd64.deb
coq_8.3+dfsg.orig.tar.gz
to main/c/coq/coq_8.3+dfsg.orig.tar.gz
coqide_8.3+dfsg-1_amd64.deb
to main/c/coq/coqide_8.3+dfsg-1_amd64.deb
libcoq-ocaml-dev_8.3+dfsg-1_amd64.deb
to main/c/coq/libcoq-ocaml-dev_8.3+dfsg-1_amd64.deb
libcoq-ocaml_8.3+dfsg-1_amd64.deb
to main/c/coq/libcoq-ocaml_8.3+dfsg-1_amd64.deb
Reply to: