-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Thu, 23 Nov 2006 14:27:15 +0000 Source: coq Binary: coqide coq-libs coq Architecture: source i386 all Version: 8.1~gamma-2 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: 399919 Changes: coq (8.1~gamma-2) experimental; urgency=low . * Added no-complexity-test.dpatch to skip complexity checks (thanks Julien Cristau), closes: #399919. Files: 7e7556f28487dbb1c3e5283e03ebea8e 923 math optional coq_8.1~gamma-2.dsc 95407d72bb1c2f9e7d3ef0b3831f04fa 13585 math optional coq_8.1~gamma-2.diff.gz 0340264d637a67b33c1a0f889f80b27f 14580806 math optional coq-libs_8.1~gamma-2_all.deb 9508bd7fb550c5095df7b7b2261547d5 6303954 math optional coq_8.1~gamma-2_i386.deb 4cc9c66745c16b3b72b5283889f2c74d 4587052 math optional coqide_8.1~gamma-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.5 (GNU/Linux) iD8DBQFFZhhCIae1O4AJae8RAm46AJ9uSN/0ei2fCplqwYFfHFFeJeRjsgCfcD2S iIu/FMb6bwtkLM3QWT29RJc= =/Rw3 -----END PGP SIGNATURE----- Accepted: coq-libs_8.1~gamma-2_all.deb to pool/main/c/coq/coq-libs_8.1~gamma-2_all.deb coq_8.1~gamma-2.diff.gz to pool/main/c/coq/coq_8.1~gamma-2.diff.gz coq_8.1~gamma-2.dsc to pool/main/c/coq/coq_8.1~gamma-2.dsc coq_8.1~gamma-2_i386.deb to pool/main/c/coq/coq_8.1~gamma-2_i386.deb coqide_8.1~gamma-2_i386.deb to pool/main/c/coq/coqide_8.1~gamma-2_i386.deb
