CHANGES.md · 79a2f2349cc5a14c454acdd7dcd5c7bf5c6fa091 · Pierre Rousselin / jscoq-light · GitLab

Snippets Groups Projects

Forked from David Hamelin / jscoq-light

Source project has a limited visibility.

4 years ago
79a2f234
[port] Upgrade to Coq 8.12.1, and general housekeeping. · 79a2f234
Shachar Itzhaky authored 4 years ago
```
When building on macOS + arm64, choose OCaml 4.10.2 automatically
(4.08.x is not available).
```
79a2f234

History
[port] Upgrade to Coq 8.12.1, and general housekeeping.
Shachar Itzhaky authored 4 years ago
```
When building on macOS + arm64, choose OCaml 4.10.2 automatically
(4.08.x is not available).
```