diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-01-31 22:23:48 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-02-01 00:54:53 +0100 |
| commit | 38008218aa42a2f5520e7de71589378c333727c4 (patch) | |
| tree | c485ac1dfcc2139d957e76b86e836054e59d46e7 | |
| parent | 9fb907bf00825cd43c3fd62f0edc26b8e853e0b7 (diff) | |
Camlp4 -> Camlp5 in package descriptions
| -rw-r--r-- | debian/control | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debian/control b/debian/control index a24e091e..a982dd32 100644 --- a/debian/control +++ b/debian/control @@ -32,7 +32,7 @@ Suggests: ocaml-nox (>= 3.08), proofgeneral-coq, ledit, cle, coq-doc Description: proof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal - specification. It is developed using Objective Caml and Camlp4. + specification. It is developed using Objective Caml and Camlp5. For more information, see <http://coq.inria.fr/>. . This packages provides coqtop, a command line interface to Coq. @@ -52,7 +52,7 @@ Depends: Description: proof assistant for higher-order logic (gtk interface) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal - specification. It is developed using Objective Caml and Camlp4. + specification. It is developed using Objective Caml and Camlp5. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for @@ -66,7 +66,7 @@ Conflicts: coq (<< 8.0), coq-doc (<= 8.0pl1.0-2) Description: proof assistant for higher-order logic (theories) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal - specification. It is developed using Objective Caml and Camlp4. + specification. It is developed using Objective Caml and Camlp5. For more information, see <http://coq.inria.fr/>. . This package provides existing theories that new proofs can be |