| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add libz3-dev to the snap build-packages | Leo Arias | 2017-08-24 | 1 | -1/+1 |
| * | update the snap metadata to allow stable releases | Leo Arias | 2017-07-27 | 1 | -1/+1 |
| * | use echo -n instead of touch | Leo Arias | 2017-07-18 | 1 | -1/+1 |
| * | Prepare the version of the snap package for the release tags | Leo Arias | 2017-07-18 | 1 | -1/+7 |
| * | Add the packaging metadata to build the solidity snap | Leo Arias | 2017-06-28 | 1 | -0/+29 |
