search

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
130 stars 33 forks source link

Fix js-deps target #1072

Closed Halbaroth closed 5 months ago

Halbaroth commented 5 months ago

Using opam install package>=version creates a file =version in the pwd. It seems that opam install 'package>=version' works better.

Halbaroth commented 5 months ago

rofl.... the CI will be broken because of the minimal version required by zarith_subs_js. I shouldn't push the auto merge button :(