Accepted coq 8.1+dfsg-6 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Wed, 04 Jul 2007 10:49:01 +0200
Source: coq
Binary: coqide coq-libs coq
Architecture: source all i386
Version: 8.1+dfsg-6
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Samuel Mimram <smimram@debian.org>
Description:
coq - proof assistant for higher-order logic (toplevel and compiler)
coq-libs - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
Closes: 431679
Changes:
coq (8.1+dfsg-6) unstable; urgency=low
.
* Add dependencies on ${misc:Depends}, closes: #431679.
Files:
989627e7e49236209209f3ace96f3d35 1079 math optional coq_8.1+dfsg-6.dsc
fad51b1b1760bd8a922266446ef09cce 14765 math optional coq_8.1+dfsg-6.diff.gz
2c84e71e8842ce2abbb04c91ef09baa1 14797432 math optional coq-libs_8.1+dfsg-6_all.deb
1fce3f1608b156d9a94faf369ce6235a 7448340 math optional coq_8.1+dfsg-6_i386.deb
415987ffccfd37694ba667c9d7a620b6 4662094 math optional coqide_8.1+dfsg-6_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFGi2TkIae1O4AJae8RAqR7AKCHqThp3amtoN6+BU42N4oO5Un9UgCeMX6w
DrRBsxSa2rwdXPRqkDEZiKo=
=GiJQ
-----END PGP SIGNATURE-----
Accepted:
coq-libs_8.1+dfsg-6_all.deb
to pool/main/c/coq/coq-libs_8.1+dfsg-6_all.deb
coq_8.1+dfsg-6.diff.gz
to pool/main/c/coq/coq_8.1+dfsg-6.diff.gz
coq_8.1+dfsg-6.dsc
to pool/main/c/coq/coq_8.1+dfsg-6.dsc
coq_8.1+dfsg-6_i386.deb
to pool/main/c/coq/coq_8.1+dfsg-6_i386.deb
coqide_8.1+dfsg-6_i386.deb
to pool/main/c/coq/coqide_8.1+dfsg-6_i386.deb
Reply to: