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