mirror of
https://github.com/comby-tools/comby.git
synced 2024-09-11 13:25:36 +03:00
don't pin bisect_ppx
This commit is contained in:
parent
278c67edbe
commit
e6f6bd61c7
@ -33,7 +33,6 @@ depends: [
|
||||
"bisect_ppx" {with-test & dev & >= "2.5.0"}
|
||||
]
|
||||
pin-depends: [
|
||||
["bisect_ppx.git" "git+https://github.com/aantron/bisect_ppx.git"]
|
||||
["mparser-comby.git" "git+https://github.com/comby-tools/mparser.git"]
|
||||
["patdiff.git" "git+https://github.com/rvantonder/patdiff.git#0.14.0-patch-compatible-diffs"]
|
||||
["camlzip.git" "git+https://github.com/rvantonder/camlzip.git#zip64"]
|
||||
|
Loading…
Reference in New Issue
Block a user