Accepted coq 8.0pl1-1 (powerpc source)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Sun, 18 Jul 2004 01:10:24 +0200
Source: coq
Binary: coq7-libs coqide coq-libs coq
Architecture: source powerpc
Version: 8.0pl1-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Samuel Mimram <samuel.mimram@ens-lyon.org>
Description:
coq - Proof assistant for higher-order logic
coq-libs - Proof assistant for higher-order logic
coq7-libs - Proof assistant for higher-order logic
coqide - Proof assistant for higher-order logic
Closes: 230356 250497
Changes:
coq (8.0pl1-1) unstable; urgency=low
.
* New upstream release: finally the version without QPL-licensed files is out,
closes: #230356, #250497.
* Libraries are now in separate packages (coq-libs and coq7-libs).
* An additional package provides coqide.
* Built with OCaml 3.08.
Files:
6429f4b742b7223422bd25d5bf01106b 894 devel optional coq_8.0pl1-1.dsc
95237e64081d7306fdea49e1988bde12 2272613 devel optional coq_8.0pl1.orig.tar.gz
458a401647337b73bc844432c79cfc09 9681 devel optional coq_8.0pl1-1.diff.gz
e09662cdb155101d35d2943d0fe4880a 6869798 devel optional coq_8.0pl1-1_powerpc.deb
4eb39f0b006d4ea2366cce343d2e4881 4479848 devel optional coqide_8.0pl1-1_powerpc.deb
087caf84d4e6e78372142bb2a435728c 3727828 devel optional coq-libs_8.0pl1-1_powerpc.deb
a0ee6bcef3fcacc6e85e36de7aa6d429 3806696 devel optional coq7-libs_8.0pl1-1_powerpc.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)
iD8DBQFBChl52WTeT3CRQaQRAnboAJ95Z2awdh9E8IX6bZGMaVqboxUvXgCgpq0f
jMDJ60laWdEm8SWjCuAdoF0=
=W7f/
-----END PGP SIGNATURE-----
Accepted:
coq-libs_8.0pl1-1_powerpc.deb
to pool/main/c/coq/coq-libs_8.0pl1-1_powerpc.deb
coq7-libs_8.0pl1-1_powerpc.deb
to pool/main/c/coq/coq7-libs_8.0pl1-1_powerpc.deb
coq_8.0pl1-1.diff.gz
to pool/main/c/coq/coq_8.0pl1-1.diff.gz
coq_8.0pl1-1.dsc
to pool/main/c/coq/coq_8.0pl1-1.dsc
coq_8.0pl1-1_powerpc.deb
to pool/main/c/coq/coq_8.0pl1-1_powerpc.deb
coq_8.0pl1.orig.tar.gz
to pool/main/c/coq/coq_8.0pl1.orig.tar.gz
coqide_8.0pl1-1_powerpc.deb
to pool/main/c/coq/coqide_8.0pl1-1_powerpc.deb
Reply to: