Accepted coq 8.0pl1-5 (powerpc source)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Mon, 13 Dec 2004 16:05:18 +0100
Source: coq
Binary: coq7-libs coqide coq-libs coq
Architecture: source powerpc
Version: 8.0pl1-5
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-5) unstable; urgency=low
.
* Reuploaded since powerpc .deb did not include native code executable
Files:
1a4edd0592c0d56e24eeb6e8c19b2d37 941 math optional coq_8.0pl1-5.dsc
6e3002be052644a5386dac6ce2261a7a 11533 math optional coq_8.0pl1-5.diff.gz
74c2e423f099c038f5182182dd111caa 6878040 math optional coq_8.0pl1-5_powerpc.deb
5de7dca9f2f1790c7a173a21d768c067 4493876 math optional coqide_8.0pl1-5_powerpc.deb
3f29a0a914b3de90437833c5fba70747 3728238 math optional coq-libs_8.0pl1-5_powerpc.deb
743e82db9c79164d43444a1bfb54a00e 3807100 math optional coq7-libs_8.0pl1-5_powerpc.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)
iD8DBQFBvbh21cqbBPLEI7wRAorKAJ47upwWAgvK8sUtbte/xi/6Zm8TjwCgka5w
IawE8zYd8Gf3djsCwHMDuAg=
=81KY
-----END PGP SIGNATURE-----
Accepted:
coq-libs_8.0pl1-5_powerpc.deb
to pool/main/c/coq/coq-libs_8.0pl1-5_powerpc.deb
coq7-libs_8.0pl1-5_powerpc.deb
to pool/main/c/coq/coq7-libs_8.0pl1-5_powerpc.deb
coq_8.0pl1-5.diff.gz
to pool/main/c/coq/coq_8.0pl1-5.diff.gz
coq_8.0pl1-5.dsc
to pool/main/c/coq/coq_8.0pl1-5.dsc
coq_8.0pl1-5_powerpc.deb
to pool/main/c/coq/coq_8.0pl1-5_powerpc.deb
coqide_8.0pl1-5_powerpc.deb
to pool/main/c/coq/coqide_8.0pl1-5_powerpc.deb
Reply to: