fixed build

Shark-with-Blue-Shoes · Shark-with-Blue-Shoes · commit 4dbae3821291 · 2025-05-23T11:55:51.000-05:00
diff --git a/packages/binary_tree/binary_tree.1.0/opam b/packages/binary_tree/binary_tree.1.0/opam
@@ -14,7 +14,7 @@ build: [
 ]
 install: [
   ["mkdir" "-p" "%{lib}%/coq/user-contrib/BTree"]
-  ["cp" "b_tree.vo" "b_tree.glob" "%{lib}%/coq/user-contrib/BTree/"]
+  ["cp" "binary_tree.vo" "binary_tree.glob" "%{lib}%/coq/user-contrib/BTree/"]
 ]
 remove: [
   ["rm" "-rf" "%{lib}%/coq/user-contrib/BTree"]

Original file line number	Diff line number	Diff line change
`@@ -14,7 +14,7 @@ build: [`
`14`	`14`	`]`
`15`	`15`	`install: [`
`16`	`16`	`["mkdir" "-p" "%{lib}%/coq/user-contrib/BTree"]`
`17`		`- ["cp" "b_tree.vo" "b_tree.glob" "%{lib}%/coq/user-contrib/BTree/"]`
	`17`	`+ ["cp" "binary_tree.vo" "binary_tree.glob" "%{lib}%/coq/user-contrib/BTree/"]`
`18`	`18`	`]`
`19`	`19`	`remove: [`
`20`	`20`	`["rm" "-rf" "%{lib}%/coq/user-contrib/BTree"]`