From b749455b76501c9e3623e05d659565eab7292602 Mon Sep 17 00:00:00 2001
From: Markus Mottl <markus.mottl@gmail.com>
Date: Thu, 25 Feb 2021 11:11:19 -0500
Subject: [PATCH 3/4] Updated opam file

---
 gsl.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gsl.opam b/gsl.opam
index ee63305..0b9eaf1 100644
--- a/gsl.opam
+++ b/gsl.opam
@@ -18,7 +18,7 @@ doc: "https://mmottl.github.io/gsl-ocaml/api"
 bug-reports: "https://github.com/mmottl/gsl-ocaml/issues"
 depends: [
   "dune" {>= "2.7"}
-  "ocaml" {>= "4.08"}
+  "ocaml" {>= "4.12"}
   "dune-configurator"
   "conf-gsl" {build}
   "conf-pkg-config" {build}
-- 
2.41.0