| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Work around travis bugs |  Jason Gross | 2018-01-29 |
| https://github.com/travis-ci/travis-ci/issues/8507 We use a script and travis_retry to work around "failed to fetch" with launchpad | |||
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |