Skip to content

Commit 50dea66

Browse files
authored
Fix the dune package name in the build recipe
1 parent e8382dd commit 50dea66

File tree

1 file changed

+1
-1
lines changed
  • packages/TCSLib/TCSLib.0.5

1 file changed

+1
-1
lines changed

packages/TCSLib/TCSLib.0.5/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ build: [
1818
"dune"
1919
"build"
2020
"-p"
21-
name
21+
"tcslib"
2222
"-j"
2323
jobs
2424
"@install"

0 commit comments

Comments
 (0)