From 31efb0b673edd94691929b2901811137b5abbd57 Mon Sep 17 00:00:00 2001
From: Niols <niols@niols.fr>
Date: Tue, 2 Jul 2024 14:12:25 +0200
Subject: [PATCH] Fix installation of Morbig 0.11.0

---
 packages/morbig/morbig.0.11.0/opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/morbig/morbig.0.11.0/opam b/packages/morbig/morbig.0.11.0/opam
index 41f8d674bb0..e70f9572087 100644
--- a/packages/morbig/morbig.0.11.0/opam
+++ b/packages/morbig/morbig.0.11.0/opam
@@ -33,6 +33,7 @@ depends: [
 ]
 
 build: [make "build"]
+install: [make "install"]
 run-test: [make "check"]
 
 url {