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

Remove limitation on Zarith since https://github.com/janestreet/zarith_stubs_js/pull/8 is closed

Browse Source
This commit is contained in:
Denis Merigoux 2021-10-18 09:43:06 +02:00
parent 8dbf034efc
commit cf31da7ca1
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
3 changed files with 2130 additions and 1996 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
catala.opam
View File

@ -23,8 +23,8 @@ depends: [
"bindlib" {>= "5.0.1"}
"cmdliner" {>= "1.0.4"}
"re" {>= "1.9.0"}
"zarith" {= "1.11"}
"zarith_stubs_js" {= "v0.14.0"}
"zarith" {>= "1.12"}
"zarith_stubs_js" {>= "v0.14.1"}
"ocamlgraph" {>= "1.8.8"}
"calendar" {>= "2.04"}
"visitors" {>= "20200210"}

4
dune-project
View File

@ -47,9 +47,9 @@
(re
(>= 1.9.0))
(zarith
(= 1.11))
(>= 1.12))
(zarith_stubs_js
(= v0.14.0))
(>= v0.14.1))
(ocamlgraph
(>= 1.8.8))
(calendar

4118
french_law/js/french_law.js
View File

File diff suppressed because one or more lines are too long