From e71b5d1d0ed0a09398129e35d688c648315a59e1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= <frederic.blanqui@inria.fr>
Date: Fri, 21 Jun 2024 21:25:22 +0200
Subject: [PATCH] opam file: remove invalid field uninstall + add field build

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

diff --git a/lambdapi-stdlib.opam b/lambdapi-stdlib.opam
index 1b7328d..1ef38c3 100644
--- a/lambdapi-stdlib.opam
+++ b/lambdapi-stdlib.opam
@@ -21,8 +21,8 @@ license: "CECILL-2.1"
 homepage: "https://github.com/Deducteam/lambdapi-stdlib"
 bug-reports: "https://github.com/Deducteam/lambdapi-stdlib/issues"
 dev-repo: "git+https://github.com/Deducteam/lambdapi-stdlib.git"
+build: [ make ]
 install: [ make "install" ]
-uninstall: [ make "uninstall" ]
 depends: [
   "lambdapi" {>= "2.3.0"}
 ]