From 654133b47df896e4ca074502aa5dcf74f8beac30 Mon Sep 17 00:00:00 2001 From: notin Date: Fri, 9 Jun 2006 16:59:42 +0000 Subject: Suppression du répertoire distrib: il fait désormais partie du projet coq-dev-tools sur GForge git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8943 85f007b7-540e-0410-9357-904b9bb8a0f7 --- distrib/debian/control | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 distrib/debian/control (limited to 'distrib/debian/control') diff --git a/distrib/debian/control b/distrib/debian/control deleted file mode 100644 index cb5c43578f..0000000000 --- a/distrib/debian/control +++ /dev/null @@ -1,18 +0,0 @@ -Source: coq -Section: devel -Priority: optional -Maintainer: Judicaël Courant -Standards-Version: 3.5.3 -Build-Depends: debhelper (>= 3), timeout, ocaml (>= 3.06) - -Package: coq -Architecture: any -Depends: ${shlibs:Depends} -Suggests: coq-doc, ocaml (>= 3.06), cle, ledit -Recommends: coq-doc, proofgeneral-coq -Description: a proof assistant for higher-order logic. - 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. - For more information, see . - -- cgit v1.2.3