-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 08 Feb 2009 22:42:51 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml-dev
Architecture: source all amd64
Version: 8.2~rc2+dfsg-3
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stephane Glondu <steph@glondu.net>
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-dev - development libraries and tools for Coq
Changes:
coq (8.2~rc2+dfsg-3) experimental; urgency=low
.
* Explicit more dependencies and drop dependency on
ocaml-best-compilers, for autobuilders
Checksums-Sha1:
00f912fe1a824b31711122ca934d5842f4e448ed 1718 coq_8.2~rc2+dfsg-3.dsc
69a584ddd04435c7ed13941746007aacc1a1f9b4 13770 coq_8.2~rc2+dfsg-3.diff.gz
3070462654c80218759d07f282b55f1220239d60 18221086 coq-theories_8.2~rc2+dfsg-3_all.deb
7169040cb1f8c4f7c6fbe03544b64624dc20634e 14186502 coq_8.2~rc2+dfsg-3_amd64.deb
980bfbcec995f0c7ecf3f44bf6f7e0a2d33070ab 6463222 coqide_8.2~rc2+dfsg-3_amd64.deb
ad1ec7420621d76af029b4857ebb7e33388b5e30 6038084 libcoq-ocaml-dev_8.2~rc2+dfsg-3_amd64.deb
Checksums-Sha256:
d03194296484b8c2400c8cdda565b99568d2c33431ac9ce63d0ae718bd8d7ddf 1718 coq_8.2~rc2+dfsg-3.dsc
8e99b22e20f57c0218a88fb3fcb82e9001bc0b3e2abf8d6af944bbe5b4f7223f 13770 coq_8.2~rc2+dfsg-3.diff.gz
c95d92cb890b556720cfc6a5e241dcf25c64649b5ba34dc3358aa7e745bd0145 18221086 coq-theories_8.2~rc2+dfsg-3_all.deb
9f55cb57e09d68503d8f26f3b36906f09875d399dca610b2af470eabbb54dcfa 14186502 coq_8.2~rc2+dfsg-3_amd64.deb
c2c4f80ff5ace4bbfdca986dae37a04445ca71f8fb6c667536d3592b3988a375 6463222 coqide_8.2~rc2+dfsg-3_amd64.deb
456013a70ec438bbacbf14550dba80037e951b6808f1eb8b7b506278235a7019 6038084 libcoq-ocaml-dev_8.2~rc2+dfsg-3_amd64.deb
Files:
8840279b45f1d40a1a592e10e3db4c33 1718 math optional coq_8.2~rc2+dfsg-3.dsc
3332b10b0677986cb5622793e66d1352 13770 math optional coq_8.2~rc2+dfsg-3.diff.gz
0b2b0b75afdd7c1d34f518587a64519d 18221086 math optional coq-theories_8.2~rc2+dfsg-3_all.deb
1f96001a92334aac866caed0ad2b61e6 14186502 math optional coq_8.2~rc2+dfsg-3_amd64.deb
0fcc073db4226629e81db17619bd7582 6463222 math optional coqide_8.2~rc2+dfsg-3_amd64.deb
70d4a2e2c02de74e7ed587adc57b37f3 6038084 libdevel optional libcoq-ocaml-dev_8.2~rc2+dfsg-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkmPVo0ACgkQBg8odvzgPaquSgCfcNkgA55aapezEslHNu/h/8LU
yXMAmgJXkQ+w7M6418DlNBoaJNbEqYbc
=AfGZ
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.2~rc2+dfsg-3_all.deb
to pool/main/c/coq/coq-theories_8.2~rc2+dfsg-3_all.deb
coq_8.2~rc2+dfsg-3.diff.gz
to pool/main/c/coq/coq_8.2~rc2+dfsg-3.diff.gz
coq_8.2~rc2+dfsg-3.dsc
to pool/main/c/coq/coq_8.2~rc2+dfsg-3.dsc
coq_8.2~rc2+dfsg-3_amd64.deb
to pool/main/c/coq/coq_8.2~rc2+dfsg-3_amd64.deb
coqide_8.2~rc2+dfsg-3_amd64.deb
to pool/main/c/coq/coqide_8.2~rc2+dfsg-3_amd64.deb
libcoq-ocaml-dev_8.2~rc2+dfsg-3_amd64.deb
to pool/main/c/coq/libcoq-ocaml-dev_8.2~rc2+dfsg-3_amd64.deb
