-----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
