CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

Forbid "base 0.16"

Browse Source 
There is trouble with CI because it needs bash, and apparently the upgrade also
leads to conflicts between yojson and its ppx (which is where the dependecy upon
base lies)
This commit is contained in:
Louis Gesbert 2023-06-18 18:33:51 +02:00
parent 52b1c25d50
commit 0c6ae736cb
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
catala.opam
View File

@ -53,6 +53,7 @@ depends: [
depopts: ["z3"] depopts: ["z3"]
conflicts: [ conflicts: [
"z3" {< "4.8.11"} "z3" {< "4.8.11"}
"base" {>= "v0.16.0"}
] ]
build: [ build: [
["dune" "subst"] {dev} ["dune" "subst"] {dev}