Forked from
David Hamelin / jscoq-light
Source project has a limited visibility.
-
Shachar Itzhaky authored
* In OPAM 2.1 it seems that space-separated package names are obsolete. Using comma, which seems to also work with 2.0.8. * Specified that Node.js >= 16 is required (for CLI).
Shachar Itzhaky authored* In OPAM 2.1 it seems that space-separated package names are obsolete. Using comma, which seems to also work with 2.0.8. * Specified that Node.js >= 16 is required (for CLI).