Accepted coq 8.3.pl1+dfsg-2 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 26 Feb 2011 18:12:12 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.3.pl1+dfsg-2
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.pl1+dfsg-2) experimental; urgency=low
.
* Set and check COQ_VERSION used to compute COQ_ABI in debian/rules
Checksums-Sha1:
ce94f56b18266eec8a18bc4182b6b5440a1fedac 2175 coq_8.3.pl1+dfsg-2.dsc
0a356e18c1c2a706bc3afdfa1168334ed63a3ae8 16029 coq_8.3.pl1+dfsg-2.debian.tar.gz
6ff2c1fb4cec4eaaaf24a88461a5bc54d070b700 5609510 coq_8.3.pl1+dfsg-2_amd64.deb
88110dddfafa626d6b95fb34cb00b918e0cb709a 5557108 coqide_8.3.pl1+dfsg-2_amd64.deb
85bac7c2dc2e7ba5a7b6a78c883f6f8517429101 53453116 coq-theories_8.3.pl1+dfsg-2_all.deb
0b21cea518084ee7d939a8d2f2cf43c6cd60e723 2085726 libcoq-ocaml_8.3.pl1+dfsg-2_amd64.deb
fc7633025ef6ec7d1a2fc93c7e84677583b19f25 5887512 libcoq-ocaml-dev_8.3.pl1+dfsg-2_amd64.deb
Checksums-Sha256:
ae5264ad9826b0a3c8befd41b0ab463e02dbfdeb808b66ea79360210bb177aa6 2175 coq_8.3.pl1+dfsg-2.dsc
8dd50131a78f860bcb89ca9b4e2ffb9cb9eea518831a04abb79125aa7c683451 16029 coq_8.3.pl1+dfsg-2.debian.tar.gz
f5898213143132551dceedb8911035f36fee8c9c5f8936ca03e57eaa4e4ba543 5609510 coq_8.3.pl1+dfsg-2_amd64.deb
c72a443edf26eb96bd6fd636b939aeac50bf83819b783e6b57b5164e02a5a5e6 5557108 coqide_8.3.pl1+dfsg-2_amd64.deb
d3ec06102d85ebbf5f1eac326f576e36388674c44d4d9e1448c4106408125f5f 53453116 coq-theories_8.3.pl1+dfsg-2_all.deb
583992fa9ab013e5b3a231df259623f6d28636dcb8f7ce1d389006ad3949777c 2085726 libcoq-ocaml_8.3.pl1+dfsg-2_amd64.deb
1bd1d72d79243de18782c61c30535772619b71d690d10bc8232027956e7c0c48 5887512 libcoq-ocaml-dev_8.3.pl1+dfsg-2_amd64.deb
Files:
40e597f81778df22a12a36e25acaca59 2175 math optional coq_8.3.pl1+dfsg-2.dsc
4a97f511d4411f6563c848ce09f1e141 16029 math optional coq_8.3.pl1+dfsg-2.debian.tar.gz
e4edafff7d0b4da3025507b137cfa597 5609510 math optional coq_8.3.pl1+dfsg-2_amd64.deb
baab88a7aee2ae0b4e8be137988cf30d 5557108 math optional coqide_8.3.pl1+dfsg-2_amd64.deb
552b6bc383e1693ad1b7ff0b3e97e5f2 53453116 math optional coq-theories_8.3.pl1+dfsg-2_all.deb
ed5e4e7389e24b9a562439d3da22a0a4 2085726 ocaml optional libcoq-ocaml_8.3.pl1+dfsg-2_amd64.deb
ce41142d00b5b90cfe9c80b331d573af 5887512 ocaml optional libcoq-ocaml-dev_8.3.pl1+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJNaUGEAAoJEHhT2k1JiBrT7Z8P/2UaLbtecljXpzulDaZofCj/
DNHUur3yNH1HdNZ62gAdkSXJHhm0woXKiMYbgE8BXR+eOAosZCgYen4ubfRyQsnb
IpkgQO73iWXOiE0LPTUfS810Re/EW7ERrp9OdnYhI6LDqNZ4wZBFuymLubU94GpF
lbuOm7k0px3jMHyJ82IFMNd5W09TWsjpQwGWaZNQkc2fg6MhEGPBC9DtoI1q986l
aBAMYtD3G0T39EdN4ouuCFm9Ha1nQRulZ5VYmAwsTOU2+7nZaTQmNGhevUpnuWIQ
SYqsFgNjHj8zc1al4+VbeB6+1Tvx8PQrDVRgokmApShgHu4RwnWX2EXjAkhdy3fx
ji/TOl/SnZIb8CqmzOt1hoJZPS/56OdFo8gDQZYPv0NS0oNnhoiNzHLm9bIdGVVp
lQPnOLCRZej3NNEzvgBFi9U3tuGIGEXPk96ZpBW9LvmxHFr4JVbxVXVkEbSAbC7t
O+6rJPuQ0dGI973NwExpHT3tPZKeQi9PDR/1ieGhZONrpTHt5gS3u+/JzpYHapCn
kKU+HZbE2PuOXYdxjB1GLupkCdDNYgb9X3uYy46rL7TkzlWSttYm7aNRl8p472JR
xO32Xbe86/UAzoWS2RNdaVCZqRdmk2L15wnnTJCIz+EAs6OPv0N84JnGqkwmWrd7
+eGEGGtfaLzzFyVMl80s
=v2yT
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.3.pl1+dfsg-2_all.deb
to main/c/coq/coq-theories_8.3.pl1+dfsg-2_all.deb
coq_8.3.pl1+dfsg-2.debian.tar.gz
to main/c/coq/coq_8.3.pl1+dfsg-2.debian.tar.gz
coq_8.3.pl1+dfsg-2.dsc
to main/c/coq/coq_8.3.pl1+dfsg-2.dsc
coq_8.3.pl1+dfsg-2_amd64.deb
to main/c/coq/coq_8.3.pl1+dfsg-2_amd64.deb
coqide_8.3.pl1+dfsg-2_amd64.deb
to main/c/coq/coqide_8.3.pl1+dfsg-2_amd64.deb
libcoq-ocaml-dev_8.3.pl1+dfsg-2_amd64.deb
to main/c/coq/libcoq-ocaml-dev_8.3.pl1+dfsg-2_amd64.deb
libcoq-ocaml_8.3.pl1+dfsg-2_amd64.deb
to main/c/coq/libcoq-ocaml_8.3.pl1+dfsg-2_amd64.deb
Reply to: