Forked from
David Hamelin / jscoq-light
59 commits behind the upstream repository.
Shachar Itzhaky
authored
Added standard c_flags to jscoq_extern.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| docker | ||
| notes | ||
| patches | ||
| pkg-metadata | ||
| adopt-addons.cjs | ||
| toolchain-setup.sh | ||