Accepted coq 8.0pl3-2 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Sun, 19 Feb 2006 11:33:21 +0000
Source: coq
Binary: coq7-libs coqide coq-libs coq
Architecture: source all i386
Version: 8.0pl3-2
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)
Closes: 353493
Changes:
coq (8.0pl3-2) unstable; urgency=low
.
* Added coq-8.0pl3-ocaml-3.09.dpatch in order to prevent intuition from
looping forever, closes: #353493.
Files:
548a296b46bb18c10acb0175a6a50396 891 math optional coq_8.0pl3-2.dsc
c871e14e4f6a3e861ea351fa8e0d6da2 16289 math optional coq_8.0pl3-2.diff.gz
9a0fdcb82fd28c013f9aebc0e9dc79ad 3737024 math optional coq-libs_8.0pl3-2_all.deb
953b60e6a96afebda37ffddcfdcb2e5b 3812424 math optional coq7-libs_8.0pl3-2_all.deb
a09ea7f959b72228c91cd2520a7fd3a8 6111850 math optional coq_8.0pl3-2_i386.deb
7a2d32ee778f56c00bac079cadcdf79a 3441578 math optional coqide_8.0pl3-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (GNU/Linux)
iD8DBQFD+GLBIae1O4AJae8RAr88AJoDTtRc9CLVawTpxLNICdMSxHMKKACfSuiW
WTRAVCoVevUxYXMTZgSiMw0=
=RtmT
-----END PGP SIGNATURE-----
Accepted:
coq-libs_8.0pl3-2_all.deb
to pool/main/c/coq/coq-libs_8.0pl3-2_all.deb
coq7-libs_8.0pl3-2_all.deb
to pool/main/c/coq/coq7-libs_8.0pl3-2_all.deb
coq_8.0pl3-2.diff.gz
to pool/main/c/coq/coq_8.0pl3-2.diff.gz
coq_8.0pl3-2.dsc
to pool/main/c/coq/coq_8.0pl3-2.dsc
coq_8.0pl3-2_i386.deb
to pool/main/c/coq/coq_8.0pl3-2_i386.deb
coqide_8.0pl3-2_i386.deb
to pool/main/c/coq/coqide_8.0pl3-2_i386.deb
Reply to: