Accepted: coq 8.1.pl3+dfsg-1 (source)

[Ubuntu Installer]

Accepted:
 OK: coq_8.1.pl3+dfsg.orig.tar.gz
 OK: coq_8.1.pl3+dfsg-1.diff.gz
 OK: coq_8.1.pl3+dfsg-1.dsc
     -> Component: universe Section: devel

Origin: Debian/unstable
Format: 1.7
Date: Mon,  07 Jan 2008 20:06:41 +0000
Source: coq
Binary: coq, coq-libs, coqide
Architecture: source
Version: 8.1.pl3+dfsg-1
Distribution: hardy
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Michael Bienia <michael at vorlon.ping.de>
Description: 
 coq        - proof assistant for higher-order logic (toplevel and compiler)
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: 
 f56b319a4f74365422613f6614524961 15578 math optional coq_8.1.pl3+dfsg-1.diff.gz
 35571b435de17bc560f018be53585822 2534628 math optional coq_8.1.pl3+dfsg.orig.tar.gz
 ad66f75e3da720e59c388d7296a7fb2d 1070 math optional coq_8.1.pl3+dfsg-1.dsc