Asher Dawes fdeaa0a848 Asher dev (#82) ...

* Updating GitLab CI, clean up.

* Updating GitLab CI config

* Updating versions, fixing verus scripts

2018-06-27 17:45:13 -07:00

..

verus-cli

Asher dev (#82)

2018-06-27 17:45:13 -07:00