fixed build sys, probably

Author: Shark-with-Blue-Shoes

packages/binary_tree/binary_tree.1.0/opam

@@ -1,9 +1,9 @@
 opam-version: "2.0"
 maintainer: "[email protected]"
 authors: "Pierre Castoran, slightly modified by Humam Alhusaini"
-homepage: "https://github.com/Tralalero-Tralalal/Coq-b-tree"
-dev-repo: "git+https://github.com/Tralalero-Tralalal/Coq-b-tree"
-bug-reports: "https://github.com/Tralalero-Tralalal/Coq-b-tree/issues"
+homepage: "https://github.com/Tralalero-Tralalal/coq-binary-tree"
+dev-repo: "git+https://github.com/Tralalero-Tralalal/coq-binary-tree"
+bug-reports: "https://github.com/Tralalero-Tralalal/coq-binary-tree/issues"
 license: "MIT"
 depends: [
   "coq" {>= "8.16"}
@@ -13,11 +13,11 @@ build: [
   [make]
 ]
 install: [
-  ["mkdir" "-p" "%{lib}%/coq/user-contrib/BTree"]
-  ["cp" "binary_tree.vo" "binary_tree.glob" "%{lib}%/coq/user-contrib/BTree/"]
+  ["mkdir" "-p" "%{lib}%/coq/user-contrib/coq-binary-tree"]
+  ["cp" "binary_tree.vo" "binary_tree.glob" "%{lib}%/coq/user-contrib/coq-binary-tree/"]
 ]
 remove: [
-  ["rm" "-rf" "%{lib}%/coq/user-contrib/BTree"]
+  ["rm" "-rf" "%{lib}%/coq/user-contrib/coq-binary-tree"]
 ]
 synopsis: "A Coq binary tree module"
 description: """