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

Update catala.opam, maybe we'll get the right cache hash this time?

Browse Source
This commit is contained in:
Denis Merigoux 2022-01-10 15:19:33 +01:00
parent b2fd09908f
commit f65af81d30
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
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

@ -31,6 +31,7 @@ depends: [
"benchmark" {>= "1.6"}
"js_of_ocaml-ppx" {>= "3.8.0"}
"camomile" {>= "1.0.2"}
"z3" {>= "4.8.11"}
"cppo" {>= "1"}
"odoc" {with-doc}
]