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 <[EMAIL PROTECTED]>
Changed-By: William Grant <[EMAIL PROTECTED]>
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
--
gutsy-changes mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/gutsy-changes
