diff options
| author |  Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-16 21:10:33 +0000 |
|---|---|---|
| committer | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-16 21:10:33 +0000 |
| commit | 87d0789ec9533e2efc5513d5a50d3a4e3d641d82 (patch) | |
| tree | 186f2c519bf15a50da1f73d6b227267afd939010 /debian/control | |
| parent | 7c8031af038d51afec49714c604cf0b006b17724 (diff) | |
Corrected a few problems.
Diffstat (limited to 'debian/control')
| -rw-r--r-- | debian/control | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control index bddc2fdb..f9e0e8b3 100644 --- a/debian/control +++ b/debian/control @@ -9,7 +9,7 @@ Build-Depends: debhelper (>= 4.0.0), ocaml-3.07, ocaml-best-compilers, liblablgt Package: coq Architecture: any Depends: ${shlibs:Depends}, coq-libs -Suggests: coq-doc, ocaml-3.07, proofgeneral-coq, ledit, cle +Suggests: ocaml-3.07, proofgeneral-coq, ledit, cle Recommends: coq-doc, coqide | proofgeneral-coq Description: Proof assistant for higher-order logic Coq is a proof assistant for higher-order logic, which allows the |