| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Teach TravisCI to use Z3 4.4.1 from repositories that I'm currently |  Dan Liew | 2015-12-01 |
| * | Teach the TravisCI build to use the ``travis_retry`` command when | Dan Liew | 2015-11-21 |
| * | Add .travis.yml file for TravisCI builds. | Dan Liew | 2015-04-03 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |
path: root/.travis.yml