Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Make Travis generate OSX packages. | 2017-08-17 | |
| | | | | | The packages will be built only for main branches (not pull requests), and are accessible via bintray: https://bintray.com/coq/coq | ||
* | Move OSX script. | 2016-11-10 | |