-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Thu, 19 Jan 2006 22:22:39 +0100
Source: coq
Binary: coq7-libs coqide coq-libs coq
Architecture: source all i386
Version: 8.0pl3-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.0pl3-1) unstable; urgency=low
.
* New upstream release.
* Removed unnecessary dependency on liblablgtk2-ocaml for coqide.
* Removed ocaml309.dpatch and text_view_typing_error.dpatch, integrated
upstream.
* Removing rpath from coqide binaries.
Files:
eee957bc382bc46d229007f25391cf73 891 math optional coq_8.0pl3-1.dsc
c98d4cefd119accb1ecdeebb41128822 2309002 math optional coq_8.0pl3.orig.tar.gz
1e8fc84587af19b4d20299e6f1be3356 11421 math optional coq_8.0pl3-1.diff.gz
adc8786d3702ce9a04965be6bcfd22a1 3736540 math optional coq-libs_8.0pl3-1_all.deb
8a00270b346131bdfd745c00e8d75349 3811794 math optional coq7-libs_8.0pl3-1_all.deb
e887c1cd63b8d675e2589e7fbbacf6fd 6112056 math optional coq_8.0pl3-1_i386.deb
af4b3cc682480281d5b9dd526c4359be 3441626 math optional coqide_8.0pl3-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (GNU/Linux)
iD8DBQFD1TcKIae1O4AJae8RAs/3AJ0ToQzxtdfIVjxwgEh8eW3ROffqcgCfdF9R
kOvXkrmTwrs3jzq/KgQ7MUM=
=33ko
-----END PGP SIGNATURE-----
Accepted:
coq-libs_8.0pl3-1_all.deb
to pool/main/c/coq/coq-libs_8.0pl3-1_all.deb
coq7-libs_8.0pl3-1_all.deb
to pool/main/c/coq/coq7-libs_8.0pl3-1_all.deb
coq_8.0pl3-1.diff.gz
to pool/main/c/coq/coq_8.0pl3-1.diff.gz
coq_8.0pl3-1.dsc
to pool/main/c/coq/coq_8.0pl3-1.dsc
coq_8.0pl3-1_i386.deb
to pool/main/c/coq/coq_8.0pl3-1_i386.deb
coq_8.0pl3.orig.tar.gz
to pool/main/c/coq/coq_8.0pl3.orig.tar.gz
coqide_8.0pl3-1_i386.deb
to pool/main/c/coq/coqide_8.0pl3-1_i386.deb
