Accepted coq 8.3~beta0+13323-1 (source all amd64)
-----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
Reply to: