Accepted coq 8.0pl2-1 (i386 source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Mon, 31 Jan 2005 13:25:06 +0100
Source: coq
Binary: coq7-libs coqide coq-libs coq
Architecture: source all i386
Version: 8.0pl2-1
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)
coq7-libs - proof assistant for higher-order logic (Coq 7 theories)
coqide - proof assistant for higher-order logic (gtk interface)
Changes:
coq (8.0pl2-1) unstable; urgency=low
.
* New upstream release.
* Put the libraries in arch all since they are supposed to be
arch-independant.
* Updated the README.Debian to explain that .vo are not compatible between
different upstream releases.
* Renamed coq.desktop into coqide.desktop, updated it and put it in
/usr/share/applications/ to be compliant with the policy.
* Description synopsis now begin with lowercase letters.
* Updated Standards-Version to 3.6.1.1.
Files:
7f084bfefa4d3ce8d4d4342c824819b3 935 math optional coq_8.0pl2-1.dsc
39ee0fed76e47a11de2f49e2c236ef79 2285855 math optional coq_8.0pl2.orig.tar.gz
fceace204e666341c55b8b180b1a2bb3 10782 math optional coq_8.0pl2-1.diff.gz
59598cd27abadbf5c89b0e82fd409c07 6035120 math optional coq_8.0pl2-1_i386.deb
8459f66fad287537934db6060f326fcb 4041488 math optional coqide_8.0pl2-1_i386.deb
2f21123dad6d7d16315c15ba3bdef0ce 3733726 math optional coq-libs_8.0pl2-1_all.deb
5e8ef7eee7e9206f9c6260cdc607fb3d 3811996 math optional coq7-libs_8.0pl2-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)
iD8DBQFB/ka8Iae1O4AJae8RAkA5AKCEjGdcCr/eeTmBd6EQ9fqPCLM89gCfW1JL
ddPqDAUkyYgasy4KtYMjUcc=
=wBMq
-----END PGP SIGNATURE-----
Accepted:
coq-libs_8.0pl2-1_all.deb
to pool/main/c/coq/coq-libs_8.0pl2-1_all.deb
coq7-libs_8.0pl2-1_all.deb
to pool/main/c/coq/coq7-libs_8.0pl2-1_all.deb
coq_8.0pl2-1.diff.gz
to pool/main/c/coq/coq_8.0pl2-1.diff.gz
coq_8.0pl2-1.dsc
to pool/main/c/coq/coq_8.0pl2-1.dsc
coq_8.0pl2-1_i386.deb
to pool/main/c/coq/coq_8.0pl2-1_i386.deb
coq_8.0pl2.orig.tar.gz
to pool/main/c/coq/coq_8.0pl2.orig.tar.gz
coqide_8.0pl2-1_i386.deb
to pool/main/c/coq/coqide_8.0pl2-1_i386.deb
Reply to: