Accepted coq 8.0pl1-4 (powerpc source)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 30 Nov 2004 21:38:21 +0100
Source: coq
Binary: coq7-libs coqide coq-libs coq
Architecture: source powerpc
Version: 8.0pl1-4
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stefano Zacchiroli <zack@debian.org>
Description:
coq - Proof assistant for higher-order logic (toplevel and compiler)
coq-libs - Proof assistant for higher-order logic (theories)
coq7-libs - Proof assistant for higher-order logic (Coq 7 theories)
coqide - Proof assistant for higher-order logic (gtk interface)
Changes:
coq (8.0pl1-4) unstable; urgency=low
.
* Rebuilt against ocaml 3.08.2
Files:
1b62d96d5306958c6c7337d8ee3ebf7e 941 math optional coq_8.0pl1-4.dsc
687197168ffbc46f0b2866f16d3cde71 11481 math optional coq_8.0pl1-4.diff.gz
5438749ee305ea5720a1ef0e05fc9b2f 2832794 math optional coq_8.0pl1-4_powerpc.deb
902b775e3772b7452f295da84548c148 1941708 math optional coqide_8.0pl1-4_powerpc.deb
29c59b3ad4f1e4c028c7bff6b0b2a75c 3728160 math optional coq-libs_8.0pl1-4_powerpc.deb
471eb87543681f1039209f1c10b7dc01 3807052 math optional coq7-libs_8.0pl1-4_powerpc.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)
iD8DBQFBrYVu1cqbBPLEI7wRAuB+AKCZmka3GlUlixx8FcQI7oucdhuYIwCbBqm0
0l9RrX+L3BDtJ0poE52zpMc=
=MAw3
-----END PGP SIGNATURE-----
Accepted:
coq-libs_8.0pl1-4_powerpc.deb
to pool/main/c/coq/coq-libs_8.0pl1-4_powerpc.deb
coq7-libs_8.0pl1-4_powerpc.deb
to pool/main/c/coq/coq7-libs_8.0pl1-4_powerpc.deb
coq_8.0pl1-4.diff.gz
to pool/main/c/coq/coq_8.0pl1-4.diff.gz
coq_8.0pl1-4.dsc
to pool/main/c/coq/coq_8.0pl1-4.dsc
coq_8.0pl1-4_powerpc.deb
to pool/main/c/coq/coq_8.0pl1-4_powerpc.deb
coqide_8.0pl1-4_powerpc.deb
to pool/main/c/coq/coqide_8.0pl1-4_powerpc.deb
Reply to: