-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 10 Aug 2010 19:22:15 +0200 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 all Version: 8.3~rc1+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~rc1+dfsg-1) experimental; urgency=low . * New upstream release candidate Checksums-Sha1: 8153fb327b249d12a99231bbcad619ba9fff468d 2173 coq_8.3~rc1+dfsg-1.dsc 80174826ed7b57c6a05c7459389d06e6d827f522 3133798 coq_8.3~rc1+dfsg.orig.tar.gz 92f296f19b6135309d11d5cf6fc1177048c5ea27 15924 coq_8.3~rc1+dfsg-1.debian.tar.gz 6040167d8ac2ce03fd2e507cc728a8797f804af7 5573974 coq_8.3~rc1+dfsg-1_amd64.deb 61126d6b94b33b9d05a231f234f56cb03eb6de78 5525054 coqide_8.3~rc1+dfsg-1_amd64.deb 405f696f876ad4b2723529d5ebaa035a272010d1 52839732 coq-theories_8.3~rc1+dfsg-1_all.deb d1cc872eaa0a90c36d248e73153e5077611dfb78 2084036 libcoq-ocaml_8.3~rc1+dfsg-1_amd64.deb 4f540fa194da258771c681f49a701b15842c6148 5864998 libcoq-ocaml-dev_8.3~rc1+dfsg-1_amd64.deb Checksums-Sha256: 5cc38643b3d27aafcd67f3edd83122a9c5e8d341c1a5892c85e49e1d78583d3d 2173 coq_8.3~rc1+dfsg-1.dsc 64c8cf78f00e2c1bfd181ae742c619d4150fc4d1d7d9cdf001fdc82229107ba7 3133798 coq_8.3~rc1+dfsg.orig.tar.gz 199c9640397c29726fd97b91e86998892f6cc8d7cd03e4edeabf64b2a3c1353e 15924 coq_8.3~rc1+dfsg-1.debian.tar.gz b693330542b4c01337143af2970b25095f993f1813578d647b78e41243d76580 5573974 coq_8.3~rc1+dfsg-1_amd64.deb 176b37a70b2d906d5dfbf89f6104dd9945f447a9d9630dc1e0b7444bea12cfc0 5525054 coqide_8.3~rc1+dfsg-1_amd64.deb 4ba740b4a17bf49064efe9a3aeadff649a57c6855cfc2027e010ebdc99e5fc23 52839732 coq-theories_8.3~rc1+dfsg-1_all.deb 8a2962d584bc613328562625d1e038e46b528a24cdd10b20f275af300760431c 2084036 libcoq-ocaml_8.3~rc1+dfsg-1_amd64.deb 8e9802a8af5cd8fab05046dd812a3921586370b86b49fa6ccef22da0fbeaeb88 5864998 libcoq-ocaml-dev_8.3~rc1+dfsg-1_amd64.deb Files: c7d9fd49b08ccdf8b966b6672d3ddf13 2173 math optional coq_8.3~rc1+dfsg-1.dsc 51be0b54bad97ec11911e8c963accea2 3133798 math optional coq_8.3~rc1+dfsg.orig.tar.gz bb076719eb8a45b3405121d48d242562 15924 math optional coq_8.3~rc1+dfsg-1.debian.tar.gz 9274ad6efa372cd8199be31079e75576 5573974 math optional coq_8.3~rc1+dfsg-1_amd64.deb 13df361547d7e3215bd2f4eb13e8960a 5525054 math optional coqide_8.3~rc1+dfsg-1_amd64.deb e55d42f623e29957191051b198cfd0f5 52839732 math optional coq-theories_8.3~rc1+dfsg-1_all.deb faa1fc6e80fffe8deab625963e3e61e7 2084036 ocaml optional libcoq-ocaml_8.3~rc1+dfsg-1_amd64.deb 8ccf5a1310e288305a103ee3fbc23794 5864998 ocaml optional libcoq-ocaml-dev_8.3~rc1+dfsg-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCgAGBQJMYZKHAAoJEHhT2k1JiBrTIjMQAI2og2wisJe29qV9wwxhWeCB SgczQMfqpUVoU+U7ARdghXE8nBRAl+Ee+JbpM+M4tGWAR7jHHIJtdFg4pUsoF8/k Pe+jG3oRXW34YTMGTDHxHWcinwQp3ngup+sWkmOaB5D4MqaDURHRaJlbQK4Tl6FX gIKC91fQhvBgRIp+s4QB25CRyVuOz+NAgNdaC/E8TYwr4A8UpYvL/lls1zn016Ho JSK8BeDQocyFYO85hi+4waFNnnG/tZCvGqnyJ50Nh2Jfj8iVnoJ5Qbkk9eHMVzJb UQP5U0g4EQ6qfhYahexLdUfRq5D7QDditWYHP6WLny4EXLl5SGArE/kvaujd4Arn Q7XggySvdsouXAyYdS0RPqoLsp2P12ZTCNnhW0tDoKX6GbZp+hf8yyPlhHDT/NEn he5JEV9QKji2XWDmrYAd+USCuXnIB4QlOGeJbbmgExDSeH4Osy1dAyVWk+jj0h44 aoz2IONL/TYjRvUzPdbceJYSW56hRKgX3yjnkKhRZZgmMsZ7+aIb6cUfx3looN5/ s4fY0QGAGHnSZZRkIPFmHSt94OxHHxwjd7AoissgT6XEMXE1qUJZ4tOcecxuz3T0 1tolcQ6N0M1vtY9W000RfgoMGtqJ+PG/xTWLvm5EAHkac/jjotgeAXK/wLRzxpSC yTDbtdEE33d5SmxaAhR+ =2JW6 -----END PGP SIGNATURE----- Accepted: coq-theories_8.3~rc1+dfsg-1_all.deb to main/c/coq/coq-theories_8.3~rc1+dfsg-1_all.deb coq_8.3~rc1+dfsg-1.debian.tar.gz to main/c/coq/coq_8.3~rc1+dfsg-1.debian.tar.gz coq_8.3~rc1+dfsg-1.dsc to main/c/coq/coq_8.3~rc1+dfsg-1.dsc coq_8.3~rc1+dfsg-1_amd64.deb to main/c/coq/coq_8.3~rc1+dfsg-1_amd64.deb coq_8.3~rc1+dfsg.orig.tar.gz to main/c/coq/coq_8.3~rc1+dfsg.orig.tar.gz coqide_8.3~rc1+dfsg-1_amd64.deb to main/c/coq/coqide_8.3~rc1+dfsg-1_amd64.deb libcoq-ocaml-dev_8.3~rc1+dfsg-1_amd64.deb to main/c/coq/libcoq-ocaml-dev_8.3~rc1+dfsg-1_amd64.deb libcoq-ocaml_8.3~rc1+dfsg-1_amd64.deb to main/c/coq/libcoq-ocaml_8.3~rc1+dfsg-1_amd64.deb
