opam file: remove invalid field uninstall + add field build

Deducteam · Jun 21, 2024 · e71b5d1 · e71b5d1
1 parent 5584437
commit e71b5d1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"}
 ]