From 4b4a73db20e5f5ec72ed4d03682642bbc3fe2eff Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@debian.org>
Date: Sat, 29 Dec 2018 15:18:32 -0500
Subject: Don’t try to install coqmktop
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Upstream deprecated it in favor of ocamlfind in
https://github.com/coq/coq/commit/598e3ae4a8eb8d9bce316e13d71ee48d9ba1a01f.
---
 debian/control | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'debian/control')

diff --git a/debian/control b/debian/control
index 80fb6fcd..0421b4c0 100644
--- a/debian/control
+++ b/debian/control
@@ -102,5 +102,5 @@ Description: development libraries and tools for Coq
  development of computer programs consistent with their formal
  specification. It is developed using Objective Caml and Camlp5.
  .
- This package provides coqmktop, and libraries needed to develop
- OCaml-side extensions to Coq.
+ This package provides and libraries needed to develop OCaml-side
+ extensions to Coq.
-- 
cgit v1.2.3