From 290917c19097f9981eede67058634db1b4785e5f Mon Sep 17 00:00:00 2001
From: Evan Marzion <emarzion@gmail.com>
Date: Sat, 11 Jan 2025 16:23:38 -0600
Subject: [PATCH] opam file fix (#43)

---
 coqtbgen.opam | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/coqtbgen.opam b/coqtbgen.opam
index 617d22c..c6a99be 100644
--- a/coqtbgen.opam
+++ b/coqtbgen.opam
@@ -10,9 +10,9 @@ license: "GPL"
 synopsis: "Games library and Tablebase generator"
 
 build: [
-  [dune build]
+  ["dune" "build" "-p" name]
 ]
-install: [dune install]
+install: ["dune" "install" "-p" name]
 
 depends: [
   "ocaml" {>= "4.14.0"}