-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Tue, 21 Nov 2006 13:33:55 +0000 Source: coq Binary: coqide coq-libs coq Architecture: source i386 all Version: 8.1~gamma-1 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: 383310 Changes: coq (8.1~gamma-1) experimental; urgency=low . * New upstream release. * Made the package binNMU-safe. * Minor improvements of the coqide.desktop file, closes: #383310. * Added system.dpatch to avoid erroneous interpretation of ~. * Removed assert.dpatch, integrated upstream. Files: b47851bc6d2c326961cbdc5379c13c50 923 math optional coq_8.1~gamma-1.dsc f25ce6cf8cfc25a72bfd8fdbe193059d 2942601 math optional coq_8.1~gamma.orig.tar.gz 4012c6a273dc77ea6e98cd4579f38af4 13319 math optional coq_8.1~gamma-1.diff.gz 0fa0cc2ec99f0d760b1518b903036339 14580888 math optional coq-libs_8.1~gamma-1_all.deb c271228f46a164d5a6a2f10ce106ed5e 6303896 math optional coq_8.1~gamma-1_i386.deb 6f1008e8f609c67f4f9d53ea1cdc373e 4586932 math optional coqide_8.1~gamma-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.5 (GNU/Linux) iD4DBQFFY3OVIae1O4AJae8RAoSNAJoCVdN7CHR3LYAjGNO8ebQFWcRxqACXdl3+ shgmNBnYwKETb2mHVglH8g== =k+O5 -----END PGP SIGNATURE----- Accepted: coq-libs_8.1~gamma-1_all.deb to pool/main/c/coq/coq-libs_8.1~gamma-1_all.deb coq_8.1~gamma-1.diff.gz to pool/main/c/coq/coq_8.1~gamma-1.diff.gz coq_8.1~gamma-1.dsc to pool/main/c/coq/coq_8.1~gamma-1.dsc coq_8.1~gamma-1_i386.deb to pool/main/c/coq/coq_8.1~gamma-1_i386.deb coq_8.1~gamma.orig.tar.gz to pool/main/c/coq/coq_8.1~gamma.orig.tar.gz coqide_8.1~gamma-1_i386.deb to pool/main/c/coq/coqide_8.1~gamma-1_i386.deb
