From: Stephane Glondu <steph@glondu.net>
Date: Thu, 11 Jul 2019 12:17:35 +0000 (+0200)
Subject: Remove useless build-dependency
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~2^2~17^2~40
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=fd7a34bf1975784d6b4ae5f64675c984833ff301;p=ocaml.git

Remove useless build-dependency
---

diff --git a/debian/control b/debian/control
index 57d8e501..e968a919 100644
--- a/debian/control
+++ b/debian/control
@@ -12,7 +12,6 @@ Build-Depends:
  debhelper (>= 12),
  pkg-config,
  quilt,
- autotools-dev,
  binutils-dev,
  libiberty-dev,
  libncurses5-dev,