Accepted coq 8.4~gamma0+really8.4beta2+dfsg-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 05 Jun 2012 07:38:25 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.4~gamma0+really8.4beta2+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.4~gamma0+really8.4beta2+dfsg-1) experimental; urgency=low
.
* New upstream beta release
Checksums-Sha1:
fcc7a5c2d678627b8ce44989477907049e4267ff 2469 coq_8.4~gamma0+really8.4beta2+dfsg-1.dsc
593a3a849789c1ffa94f1fb71c13d2d884694a80 3387665 coq_8.4~gamma0+really8.4beta2+dfsg.orig.tar.gz
4055f8bf4cb9802766fc45433d0ec0f00c7f1af4 16724 coq_8.4~gamma0+really8.4beta2+dfsg-1.debian.tar.gz
462ee386e3ff918b9c8f3a796442f19d26ecaea9 6020254 coq_8.4~gamma0+really8.4beta2+dfsg-1_amd64.deb
b35a83555c53bb0874450fa0dcffd23f73852431 1062866 coqide_8.4~gamma0+really8.4beta2+dfsg-1_amd64.deb
96f9e5e2133e270389acaff4363a026263a1195c 65848868 coq-theories_8.4~gamma0+really8.4beta2+dfsg-1_all.deb
b3a1618e08f906355e324011871cc06d07c6215f 2235936 libcoq-ocaml_8.4~gamma0+really8.4beta2+dfsg-1_amd64.deb
55890f4cf7ec704c8852deccd0865b1a705d80f5 5747210 libcoq-ocaml-dev_8.4~gamma0+really8.4beta2+dfsg-1_amd64.deb
Checksums-Sha256:
a8a6a7c0a9a9e2197e6102e95220268dc8fad39d0273c10cfe32731cdc783787 2469 coq_8.4~gamma0+really8.4beta2+dfsg-1.dsc
841b586dba0f6ab0842b1958e24fc8ef1c68ddf7ba863ae2c5fcaa98221f872f 3387665 coq_8.4~gamma0+really8.4beta2+dfsg.orig.tar.gz
d5d2f48f6446ecec7ed927f15e425a51e9e39468aa0bf534a721dbc4df4f8144 16724 coq_8.4~gamma0+really8.4beta2+dfsg-1.debian.tar.gz
8b9c5e8bb9e12a39a15cd1b6c74ecbf99bf6148eb347972ba314813dd040c8ce 6020254 coq_8.4~gamma0+really8.4beta2+dfsg-1_amd64.deb
8d04ca6182ac57555b3c45db2b9239ce1d24be563b37798a6aad8e749d6195e5 1062866 coqide_8.4~gamma0+really8.4beta2+dfsg-1_amd64.deb
b4df3247a2a0282f2adbfb08c6205355e77592e5dabe998903d5a43d5681d770 65848868 coq-theories_8.4~gamma0+really8.4beta2+dfsg-1_all.deb
c637e2046971e00bac1c6608b42f04700a7046af4cd83cc7ab056913e08839e6 2235936 libcoq-ocaml_8.4~gamma0+really8.4beta2+dfsg-1_amd64.deb
af5b9df0f2d598111c6fb864d06f1e9dd895beca8150c7e0956a7d81a6f472ad 5747210 libcoq-ocaml-dev_8.4~gamma0+really8.4beta2+dfsg-1_amd64.deb
Files:
8b528e1af38d07798a342541f37a6660 2469 math optional coq_8.4~gamma0+really8.4beta2+dfsg-1.dsc
fdd7220eee3de9325f9b5be245a5dbdb 3387665 math optional coq_8.4~gamma0+really8.4beta2+dfsg.orig.tar.gz
709c0af2feaa9ce0a75b90e06c2821e6 16724 math optional coq_8.4~gamma0+really8.4beta2+dfsg-1.debian.tar.gz
6d019c336b6acf988ae21f229b63195f 6020254 math optional coq_8.4~gamma0+really8.4beta2+dfsg-1_amd64.deb
9e5b14f880055d7e93c87363244f35d0 1062866 math optional coqide_8.4~gamma0+really8.4beta2+dfsg-1_amd64.deb
8a9b30ec9eb090836b9d37785ebdbf02 65848868 math optional coq-theories_8.4~gamma0+really8.4beta2+dfsg-1_all.deb
ae059071249a21ecc95c7eb9d2849956 2235936 ocaml optional libcoq-ocaml_8.4~gamma0+really8.4beta2+dfsg-1_amd64.deb
88155b1a68fcfbf83f55cce2fcc93483 5747210 ocaml optional libcoq-ocaml-dev_8.4~gamma0+really8.4beta2+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJPz3/RAAoJEHhT2k1JiBrTRigP/2uouUR4qWKSFNbKRcKiBc4k
PL1gVmKtN7DAt3D2WDs/eTfrp+hXxZ7ZeeBQR9zyUXduIOf+p4UXBxaBf0qxINf3
2wb1RVi7PZoYsiaj1F+dGA7MR4/BO9C0wDyrSgu6nqT7+jB9t2mR1GXrWHezmPBf
+n643NKx099Gin9O4GBqbovgYn+8aP19tmEam2EIqjeAqqKxkT5hClgEiuF6GBWj
IhZEqrGqpwzvSuHu+ta1fVAXj8p66ijon+kbe/+slvzp4ww4DZe7JPOdgMA5ZveZ
/ZmMdBfO7v0B4I791rl31tzsaMFN1DkxGnJuw45qJ6HiYAzZ0kuunrzXG7ZKjSPB
n9EvD6cLCiB1alY+mTjLeKwBBGLsjrSVll08U6zY3wsTzGk6NOhly8849cz9MX2L
y2MZj8xmKE5EWHP9qfSmPpUfWJowjp8z0T/ifo4AAILnO4pcAvu65/zESatTa8gP
0+WMWz1KfaUCLFFa4Hs8RMzuJlzQFf7nKB/wKFPMvjr9VK7DMrjM2uPUL7a+vVum
1dnSng5trTx/N2mp2XLUsmjv2VF+04Q6WpKJ88GNXIwIJu63Q6jK4HhP5H7Ydgo5
vdalZomFg7/ShpgDaHNhSRcwWhKmEHKuIXXfzE4zi4iWJbpuh3jhMa6AqOdk1RS2
s9A0iOMWO+CLQ5T/r/M5
=Pd62
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.4~gamma0+really8.4beta2+dfsg-1_all.deb
to main/c/coq/coq-theories_8.4~gamma0+really8.4beta2+dfsg-1_all.deb
coq_8.4~gamma0+really8.4beta2+dfsg-1.debian.tar.gz
to main/c/coq/coq_8.4~gamma0+really8.4beta2+dfsg-1.debian.tar.gz
coq_8.4~gamma0+really8.4beta2+dfsg-1.dsc
to main/c/coq/coq_8.4~gamma0+really8.4beta2+dfsg-1.dsc
coq_8.4~gamma0+really8.4beta2+dfsg-1_amd64.deb
to main/c/coq/coq_8.4~gamma0+really8.4beta2+dfsg-1_amd64.deb
coq_8.4~gamma0+really8.4beta2+dfsg.orig.tar.gz
to main/c/coq/coq_8.4~gamma0+really8.4beta2+dfsg.orig.tar.gz
coqide_8.4~gamma0+really8.4beta2+dfsg-1_amd64.deb
to main/c/coq/coqide_8.4~gamma0+really8.4beta2+dfsg-1_amd64.deb
libcoq-ocaml-dev_8.4~gamma0+really8.4beta2+dfsg-1_amd64.deb
to main/c/coq/libcoq-ocaml-dev_8.4~gamma0+really8.4beta2+dfsg-1_amd64.deb
libcoq-ocaml_8.4~gamma0+really8.4beta2+dfsg-1_amd64.deb
to main/c/coq/libcoq-ocaml_8.4~gamma0+really8.4beta2+dfsg-1_amd64.deb
Reply to: