Accepted coq 8.1.pl1+dfsg-3 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Sat, 08 Sep 2007 00:35:31 +0200
Source: coq
Binary: coqide coq-libs coq
Architecture: source all i386
Version: 8.1.pl1+dfsg-3
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: 439570
Changes:
coq (8.1.pl1+dfsg-3) unstable; urgency=low
.
* Depend on ocaml-base-nox since coq_makefile needs ocamlrun,
closes: #439570.
Files:
ae7075f9129e418ca8d0c5b56a8c3294 1097 math optional coq_8.1.pl1+dfsg-3.dsc
6cd75000c7ae800f0302f14d0561825c 20780 math optional coq_8.1.pl1+dfsg-3.diff.gz
1302988f867beb0b8bc9161c403648f2 12590454 math optional coq-libs_8.1.pl1+dfsg-3_all.deb
ccbcccb75c62bdfa76b358c66593b547 7738884 math optional coq_8.1.pl1+dfsg-3_i386.deb
75caa883a97f78d086e5b365c3ed5d6a 4866890 math optional coqide_8.1.pl1+dfsg-3_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFG4djJIae1O4AJae8RAtNVAJ9RH803i6sEX6wnHU0cd6ebbZa9ngCeLhB9
ZHZ5i3oPomYH095DPO0jqkE=
=e4TV
-----END PGP SIGNATURE-----
Accepted:
coq-libs_8.1.pl1+dfsg-3_all.deb
to pool/main/c/coq/coq-libs_8.1.pl1+dfsg-3_all.deb
coq_8.1.pl1+dfsg-3.diff.gz
to pool/main/c/coq/coq_8.1.pl1+dfsg-3.diff.gz
coq_8.1.pl1+dfsg-3.dsc
to pool/main/c/coq/coq_8.1.pl1+dfsg-3.dsc
coq_8.1.pl1+dfsg-3_i386.deb
to pool/main/c/coq/coq_8.1.pl1+dfsg-3_i386.deb
coqide_8.1.pl1+dfsg-3_i386.deb
to pool/main/c/coq/coqide_8.1.pl1+dfsg-3_i386.deb
Reply to: