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