Accepted coq 8.1+dfsg-6 (source)

[Ubuntu Installer]

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

Origin: Debian/unstable
Format: 1.7
Date: Wed,  11 Jul 2007 13:30:10 +0100
Source: coq
Binary: coq, coq-libs, coqide
Architecture: source
Version: 8.1+dfsg-6
Distribution: gutsy
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: William Grant <william at qeuni.net>
Description: 
 coq        - proof assistant for higher-order logic (toplevel and compiler)
Closes: 431679
Changes: 
 coq (8.1+dfsg-6) unstable; urgency=low
 .
   * Add dependencies on ${misc:Depends}, closes: #431679.
Files: 
 989627e7e49236209209f3ace96f3d35 1079 math optional coq_8.1+dfsg-6.dsc
 fad51b1b1760bd8a922266446ef09cce 14765 math optional coq_8.1+dfsg-6.diff.gz