From c4300e65f34c33a20c4c41d7aa04aa879b526225 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Thu, 17 Mar 2022 09:33:17 +0100
Subject: [PATCH] opam: use 4.08.0 instead of 4.8.0

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

diff --git a/solo5-elftool.opam b/solo5-elftool.opam
index 6f6eb3a..25d7c95 100644
--- a/solo5-elftool.opam
+++ b/solo5-elftool.opam
@@ -13,7 +13,7 @@ build: [
 ]
 
 depends: [
-  "ocaml" {>= "4.8.0"}
+  "ocaml" {>= "4.08.0"}
   "dune" {>= "2.9"}
   "owee" {>= "0.4"}
   "cstruct" {>= "6.0.0"}