From f8fd65f3e3e349d00c4d2b38f625564af7a093c6 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Sun, 22 Nov 2009 16:26:48 +0100 Subject: debian/control: fix typo in long description (Closes: #557458) --- debian/control | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'debian/control') diff --git a/debian/control b/debian/control index 1a8784a8..ee9cded4 100644 --- a/debian/control +++ b/debian/control @@ -48,7 +48,7 @@ Description: proof assistant for higher-order logic (toplevel and compiler) development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . - This packages provides coqtop, a command line interface to Coq. + This package provides coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be -- cgit v1.2.3