aboutsummaryrefslogtreecommitdiffhomepage
path: root/.bintray.json
Commit message (Collapse)AuthorAge
* Master now deploys 8.8+alpha.Gravatar Maxime Dénès2017-08-29
|
* Change 8.7~alpha to 8.7+alpha.Gravatar Maxime Dénès2017-08-17
| | | | | Only the latter is a valid git tag, and we will soon be using those to generate our version numbers.
* Make Travis generate OSX packages.Gravatar Maxime Dénès2017-08-17
The packages will be built only for main branches (not pull requests), and are accessible via bintray: https://bintray.com/coq/coq