-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 24 Jul 2010 20:17:44 +0200 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 all Version: 8.3~beta0+13323-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~beta0+13323-1) experimental; urgency=low . * New upstream snapshot * Update copyright file * Fix installation of emacs files Checksums-Sha1: ea4f1a495d51b465753b2a6ed3914bc804ceb747 2194 coq_8.3~beta0+13323-1.dsc 1043a510f16fac23102a7ae3431a5d3fabbd7ed8 3115380 coq_8.3~beta0+13323.orig.tar.gz ec5fd55881f60a6222106d3da5d80c764afcb8df 15968 coq_8.3~beta0+13323-1.debian.tar.gz 8c9862cfbcba2fa40108d2e3b850d0ddc4eebf75 5566314 coq_8.3~beta0+13323-1_amd64.deb 6a3afe472a8c116bc59113d70a2d2a7e0affb335 5495126 coqide_8.3~beta0+13323-1_amd64.deb d8ae267275aff516a530df8a28d39be15de00642 53719192 coq-theories_8.3~beta0+13323-1_all.deb 7f215bde5c86af8c40257920695c2279f44006ea 2085252 libcoq-ocaml_8.3~beta0+13323-1_amd64.deb 0b4d13a5725edebac43ff9987f7aa61effbbde73 5823378 libcoq-ocaml-dev_8.3~beta0+13323-1_amd64.deb Checksums-Sha256: 2b06a643550e0a2d310cf2797e96364fbcdc471ca77f0ca8a46381564ab57fad 2194 coq_8.3~beta0+13323-1.dsc fbe5038802bd9f6ddba0b5efafd972577b86a450efd2717eaf6fc6f5062b78c2 3115380 coq_8.3~beta0+13323.orig.tar.gz a7e0ada433e32c69dabb89c83f3bd8874d0cea5de0c3af0c81c99e84bc08680f 15968 coq_8.3~beta0+13323-1.debian.tar.gz 50c9769b13019be93a6aaa6ba66f1b8b4bbc4e68cb76f4c6c03744381dbb5646 5566314 coq_8.3~beta0+13323-1_amd64.deb 93c2ad89fffd4ee1f7a958878dd3de880856426196dd98b8b0fd37bc8231f119 5495126 coqide_8.3~beta0+13323-1_amd64.deb 1c99373098a82d4225aebd77445e9c91bb068c1839d97a6df10627ebb16657a5 53719192 coq-theories_8.3~beta0+13323-1_all.deb faf28c35808af8cb056c286d24c9b074a57399003ca473f03619a2c95e653d99 2085252 libcoq-ocaml_8.3~beta0+13323-1_amd64.deb a09ed0c2c92d05beb76fe4e56bb488d7539c31eb069030a4095130c56c5fc269 5823378 libcoq-ocaml-dev_8.3~beta0+13323-1_amd64.deb Files: 42258260c09465b9a1f71fe52057a35e 2194 math optional coq_8.3~beta0+13323-1.dsc 5d23e8fba15705bdad730508b3b2071d 3115380 math optional coq_8.3~beta0+13323.orig.tar.gz 530ae7d24cf1dc589c47a94a81d5caa1 15968 math optional coq_8.3~beta0+13323-1.debian.tar.gz e2b66de9727436c55c4fa2a0be181e68 5566314 math optional coq_8.3~beta0+13323-1_amd64.deb d8b2584478568005cb1a69e6e5df5cc0 5495126 math optional coqide_8.3~beta0+13323-1_amd64.deb 2ef545f2e3b02598146b64ecd70f54ea 53719192 math optional coq-theories_8.3~beta0+13323-1_all.deb 1563e448a8182b0c5bf6cfc492fc0433 2085252 ocaml optional libcoq-ocaml_8.3~beta0+13323-1_amd64.deb 7ee07ac42ed0f7f1178c73b86a595e81 5823378 ocaml optional libcoq-ocaml-dev_8.3~beta0+13323-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCgAGBQJMS0rRAAoJEHhT2k1JiBrTgWoQAI5yJjRtMay2wm5aFXQm2cXz kM56pZIxRlnRtJCn3Fz3a5qOzE8YIDqkKMwHyjKBPNs6x43+0U/yqvCpFUB0QIQ1 VPNjzjHv3aKxfZ4iJOS7Yhbc20SxlKoAjq3Mz8iM0qvZaAw4Q5ciXuBI1UFRFq4i RY3irakR9xao/JzWxUPuxHqJp7kTl3QMfPYwtJJXqBGJccCnK9j+kR76mLGauW36 sY0X0Rmn3MZ4xfScgSa/H6zGsNX0Dr9UJy4L8btmyL+wCa97T92ffNpgFoFBjAui lfbDBqSptMxksUlPXZc+7a5lvHjDjoSP4hvc2ZSHC3E0cHXDtf4O5bfiiTb7rsZv Qbj5A3XsxWAf+nOIvIAfB9LArX+qTTuUGvUz7RcavcFcKTXQcT2Pq0OOS/l2UG6+ JttJbP5sLOoVcuTT33WxkLymqvFfTIXf7bgIozNAHa3LLvq4HA7N/Qkmjxf/rpFP Pr0F8ZiY3mLtpQ1yO9+Y28StbJhD31mW1fNMGP8OEi3IQJZdRfeHvdju+FK6Cu+N 7F5LjLOZ6lmFyhSD22dDYSveKjJ5jlLkfAl05cD9/0cy8nHlPIyRVJ0/dpkayAX6 +KNm1zre4Zfj1s7K1ztZ/Pu9oeRlyI0g9UBEixx8f9STW6JXTDdOXeUeNkFO89pM ZkSC3soLK2QwvVElVaEg =IHTe -----END PGP SIGNATURE----- Accepted: coq-theories_8.3~beta0+13323-1_all.deb to main/c/coq/coq-theories_8.3~beta0+13323-1_all.deb coq_8.3~beta0+13323-1.debian.tar.gz to main/c/coq/coq_8.3~beta0+13323-1.debian.tar.gz coq_8.3~beta0+13323-1.dsc to main/c/coq/coq_8.3~beta0+13323-1.dsc coq_8.3~beta0+13323-1_amd64.deb to main/c/coq/coq_8.3~beta0+13323-1_amd64.deb coq_8.3~beta0+13323.orig.tar.gz to main/c/coq/coq_8.3~beta0+13323.orig.tar.gz coqide_8.3~beta0+13323-1_amd64.deb to main/c/coq/coqide_8.3~beta0+13323-1_amd64.deb libcoq-ocaml-dev_8.3~beta0+13323-1_amd64.deb to main/c/coq/libcoq-ocaml-dev_8.3~beta0+13323-1_amd64.deb libcoq-ocaml_8.3~beta0+13323-1_amd64.deb to main/c/coq/libcoq-ocaml_8.3~beta0+13323-1_amd64.deb
