CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-19 16:28:12 +03:00
Code Issues Projects Releases Wiki Activity

Obelisk already in dev mode

Browse Source
This commit is contained in:
Denis Merigoux 2022-09-05 14:12:23 +02:00
parent bd17857e90
commit 2d26040a7a
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
catala.opam
View File

@ -28,7 +28,6 @@ depends: [
"js_of_ocaml-ppx" {>= "4.0.0"}
"menhir" {>= "20200211"}
"menhirLib" {>= "20200211"}
"obelisk" { >= "0.6.0" }
"ocaml" {>= "4.13.0"}
"ocamlfind" {!= "1.9.5"}
"ocamlgraph" {>= "1.8.8"}