Accepted coq 8.1~gamma-2 (source i386 all)
-----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
Reply to: