[core-dev] coq-stdlib install, take 3

proux01 · Dec 13, 2024 · 6981897 · 6981897
1 parent 2915aa6
commit 6981897
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam b/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam
@@ -42,6 +42,7 @@ build: [
     "@runtest" {with-test}
     "@doc" {with-doc}
   ]
+  ["mv" "stdlib/coq-stdlib.install" "."]
 ]
 
 url {