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