Accepted coq 8.0pl2-4 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Mon, 21 Nov 2005 19:52:53 +0100
Source: coq
Binary: coq7-libs coqide coq-libs coq
Architecture: source all i386
Version: 8.0pl2-4
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: 340185
Changes:
coq (8.0pl2-4) unstable; urgency=low
.
* Added ocaml309.dpatch patch to compile cleanly with OCaml 3.09,
closes: #340185.
* Removed recommends on coq-doc which is not in main anymore.
* Updated standards version to 3.6.2, no changes needed.
Files:
46c3f97cff31d2d0c001611ed06973b3 882 math optional coq_8.0pl2-4.dsc
a7dcfd2964389244aa641320a886f260 12018 math optional coq_8.0pl2-4.diff.gz
2c31ea8067d38b584e08a2e8e3907a08 3735548 math optional coq-libs_8.0pl2-4_all.deb
71c1b229dd59c263b41a5ca20c1a3341 3811086 math optional coq7-libs_8.0pl2-4_all.deb
71444c7183660bdd9b310b019a5141f9 6089540 math optional coq_8.0pl2-4_i386.deb
7dd0c5fa4a7beb31804f04137e1cf231 4140764 math optional coqide_8.0pl2-4_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (GNU/Linux)
iD8DBQFDgiPbIae1O4AJae8RAiC4AJ9wNpqY4jLL9NurtRyvxxMc0lDqdgCdFKr7
PRn5rDsyzvEH5tbrOo7YPzA=
=fMTJ
-----END PGP SIGNATURE-----
Accepted:
coq-libs_8.0pl2-4_all.deb
to pool/main/c/coq/coq-libs_8.0pl2-4_all.deb
coq7-libs_8.0pl2-4_all.deb
to pool/main/c/coq/coq7-libs_8.0pl2-4_all.deb
coq_8.0pl2-4.diff.gz
to pool/main/c/coq/coq_8.0pl2-4.diff.gz
coq_8.0pl2-4.dsc
to pool/main/c/coq/coq_8.0pl2-4.dsc
coq_8.0pl2-4_i386.deb
to pool/main/c/coq/coq_8.0pl2-4_i386.deb
coqide_8.0pl2-4_i386.deb
to pool/main/c/coq/coqide_8.0pl2-4_i386.deb
Reply to: