-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Sun, 11 Feb 2007 18:02:49 +0100 Source: coq Binary: coqide coq-libs coq Architecture: source i386 all Version: 8.1~gamma-4 Distribution: experimental 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) coqide - proof assistant for higher-order logic (gtk interface) Closes: 400535 Changes: coq (8.1~gamma-4) experimental; urgency=low . * Correctly build glob.dump on non-native archs, closes: #400535. Files: 764fd9afaa2805b30dc28fa8cd99e3dc 945 math optional coq_8.1~gamma-4.dsc 5f7094afff6a0b0ef0586784694bdb90 14185 math optional coq_8.1~gamma-4.diff.gz cc7c480ef2568e7ec6138f0b5e54552e 14581038 math optional coq-libs_8.1~gamma-4_all.deb 64216e305953a33b4e99092a56d90a39 6307048 math optional coq_8.1~gamma-4_i386.deb 7394d1e7a8538d75a508ce5dee553961 4587346 math optional coqide_8.1~gamma-4_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFFz176Iae1O4AJae8RAig5AJwPcGDhdWe0E2Fa7yaxiFxs1nFh/ACeOQj5 zjmz3ij+6/FHCUhiAI99Mqs= =dD9B -----END PGP SIGNATURE----- Accepted: coq-libs_8.1~gamma-4_all.deb to pool/main/c/coq/coq-libs_8.1~gamma-4_all.deb coq_8.1~gamma-4.diff.gz to pool/main/c/coq/coq_8.1~gamma-4.diff.gz coq_8.1~gamma-4.dsc to pool/main/c/coq/coq_8.1~gamma-4.dsc coq_8.1~gamma-4_i386.deb to pool/main/c/coq/coq_8.1~gamma-4_i386.deb coqide_8.1~gamma-4_i386.deb to pool/main/c/coq/coqide_8.1~gamma-4_i386.deb
