From aa151dbc7aa501bac78b835a80f9a25c5316d2dc Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 8 Nov 2018 03:11:06 +0100
Subject: [camlp5] Remove dependency on camlp5.

---
 coq.opam | 1 -
 1 file changed, 1 deletion(-)

(limited to 'coq.opam')

diff --git a/coq.opam b/coq.opam
index ab18119ac4..ae1f688312 100644
--- a/coq.opam
+++ b/coq.opam
@@ -22,7 +22,6 @@ depends: [
   "ocaml"     {         >= "4.05.0" }
   "dune"      { build & >= "1.4.0"  }
   "num"
-  "camlp5"    {         >= "7.03"   }
 ]
 
 build-env: [
-- 
cgit v1.2.3