Accepted coq 8.1.pl3+dfsg-1 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Fri, 04 Jan 2008 13:21:43 +0000
Source: coq
Binary: coqide coq-libs coq
Architecture: source all i386
Version: 8.1.pl3+dfsg-1
Distribution: unstable
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: 459050
Changes:
coq (8.1.pl3+dfsg-1) unstable; urgency=low
.
[ Stefano Zacchiroli ]
* fix vcs-svn field to point just above the debian/ dir
.
[ Samuel Mimram ]
* New upstream release.
* Makefile should now be compatible with dash, closes: #459050.
* Updated watch file.
Files:
ad66f75e3da720e59c388d7296a7fb2d 1070 math optional coq_8.1.pl3+dfsg-1.dsc
35571b435de17bc560f018be53585822 2534628 math optional coq_8.1.pl3+dfsg.orig.tar.gz
f56b319a4f74365422613f6614524961 15578 math optional coq_8.1.pl3+dfsg-1.diff.gz
ccfc98f81a253b6570486a1b7ecbc348 12591954 math optional coq-libs_8.1.pl3+dfsg-1_all.deb
74a6b5ab00d801b8973aac89013e4442 8445120 math optional coq_8.1.pl3+dfsg-1_i386.deb
059c52306e39c094c164d3b08b289aa8 4919202 math optional coqide_8.1.pl3+dfsg-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFHf0ujIae1O4AJae8RAtRMAJ9a/NqbOUPzJHstMf8MzN6uuEn9xgCfXoLf
bjOFStz+SMgWtiEMZIB0nUM=
=d8kG
-----END PGP SIGNATURE-----
Accepted:
coq-libs_8.1.pl3+dfsg-1_all.deb
to pool/main/c/coq/coq-libs_8.1.pl3+dfsg-1_all.deb
coq_8.1.pl3+dfsg-1.diff.gz
to pool/main/c/coq/coq_8.1.pl3+dfsg-1.diff.gz
coq_8.1.pl3+dfsg-1.dsc
to pool/main/c/coq/coq_8.1.pl3+dfsg-1.dsc
coq_8.1.pl3+dfsg-1_i386.deb
to pool/main/c/coq/coq_8.1.pl3+dfsg-1_i386.deb
coq_8.1.pl3+dfsg.orig.tar.gz
to pool/main/c/coq/coq_8.1.pl3+dfsg.orig.tar.gz
coqide_8.1.pl3+dfsg-1_i386.deb
to pool/main/c/coq/coqide_8.1.pl3+dfsg-1_i386.deb
Reply to: