Accepted coq 8.0pl2-2 (i386 source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 22 Mar 2005 17:40:08 +0100
Source: coq
Binary: coq7-libs coqide coq-libs coq
Architecture: source all i386
Version: 8.0pl2-2
Distribution: unstable
Urgency: medium
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-2) unstable; urgency=medium
.
* Rebuilding with OCaml 3.08.3 is necessary because of the former dependency
on ocaml-base-nox-3.08.
* Removed the dependency on ocaml-base-nox-3.08 since ocamlrun does not seem
to be necessary, even on non-native archs.
* Cleaner handling of -arch and -indep targets.
* Added utf8.v in coq and utf8.vo to coq-libs since utf8 can be useful for
non-coqide users too.
* Using dh_desktop to register .desktop files.
Files:
8291198100c5f1e2a6222b4955399004 919 math optional coq_8.0pl2-2.dsc
b8e0039e9e1ede7453ff301bc4fb362a 11086 math optional coq_8.0pl2-2.diff.gz
b7bd2fa634f6a6eebfe561a3c786085d 3735984 math optional coq-libs_8.0pl2-2_all.deb
c3ae9d338234da57b87fb212395c11cd 3811428 math optional coq7-libs_8.0pl2-2_all.deb
f2d5bf0699f3f8e24fe60efbf9cf409c 6036590 math optional coq_8.0pl2-2_i386.deb
8ce22dfa934ef1241165ac0764048943 4060380 math optional coqide_8.0pl2-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.0 (GNU/Linux)
iD8DBQFCRCdjIae1O4AJae8RAl3ZAJoCCCnX/bYWYN8O7pCSoNOiEzwdRQCfacEi
v4CNRdyb0Gl3YMUXUxzjv/M=
=KiB+
-----END PGP SIGNATURE-----
Accepted:
coq-libs_8.0pl2-2_all.deb
to pool/main/c/coq/coq-libs_8.0pl2-2_all.deb
coq7-libs_8.0pl2-2_all.deb
to pool/main/c/coq/coq7-libs_8.0pl2-2_all.deb
coq_8.0pl2-2.diff.gz
to pool/main/c/coq/coq_8.0pl2-2.diff.gz
coq_8.0pl2-2.dsc
to pool/main/c/coq/coq_8.0pl2-2.dsc
coq_8.0pl2-2_i386.deb
to pool/main/c/coq/coq_8.0pl2-2_i386.deb
coqide_8.0pl2-2_i386.deb
to pool/main/c/coq/coqide_8.0pl2-2_i386.deb
Reply to: