Skip to content
Snippets Groups Projects
Select Git revision
  • 32f4d98be332d398f3da61109d9a906ac82f6e91
  • v8.17 default protected
  • ultra-light
  • SharedArrayBuffer
4 results

toolchain-setup.sh

Blame
    • Forked from David Hamelin / jscoq-light
    66 commits behind the upstream repository.
    user avatar
    [port] Adjust for newer OPAM + note about Node.js.
    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).
    04f3839f
    History
    user avatar 04f3839f
    History
    toolchain-setup.sh 1.53 KiB