Accepted coq 8.1+dfsg-5 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 22 May 2007 21:53:16 +0200
Source: coq
Binary: coqide coq-libs coq
Architecture: source all i386
Version: 8.1+dfsg-5
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: 424162
Changes:
coq (8.1+dfsg-5) unstable; urgency=low
.
* Correctly clean, closes: #424162.
Files:
7293adeaa32ad20f9c0f690b2450342b 1079 math optional coq_8.1+dfsg-5.dsc
5b2e09d9a647e069339bd5f1ef397bae 14725 math optional coq_8.1+dfsg-5.diff.gz
30df538867efeae50a17c26a43178dfd 14797162 math optional coq-libs_8.1+dfsg-5_all.deb
d49bf27a49965bedbe6a8b2703165853 7448218 math optional coq_8.1+dfsg-5_i386.deb
8fb90c7df18a1a1c072087ec9a589eb2 4662056 math optional coqide_8.1+dfsg-5_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFGU1UIIae1O4AJae8RAoX/AJ9W5NHyOGczCED9Hab7qgxZJCRsHgCeJtmK
O6+BYJ5WsvHSTB5P9ECQcRo=
=aKvp
-----END PGP SIGNATURE-----
Accepted:
coq-libs_8.1+dfsg-5_all.deb
to pool/main/c/coq/coq-libs_8.1+dfsg-5_all.deb
coq_8.1+dfsg-5.diff.gz
to pool/main/c/coq/coq_8.1+dfsg-5.diff.gz
coq_8.1+dfsg-5.dsc
to pool/main/c/coq/coq_8.1+dfsg-5.dsc
coq_8.1+dfsg-5_i386.deb
to pool/main/c/coq/coq_8.1+dfsg-5_i386.deb
coqide_8.1+dfsg-5_i386.deb
to pool/main/c/coq/coqide_8.1+dfsg-5_i386.deb
Reply to: