Update Travis CI job
authorHerbert Valerio Riedel <hvr@gnu.org>
Tue, 18 Jul 2017 09:12:38 +0000 (11:12 +0200)
committerHerbert Valerio Riedel <hvr@gnu.org>
Tue, 18 Jul 2017 09:12:38 +0000 (11:12 +0200)
commit961f08c9fb4ca14a1c6bb0b7a129a06f403bc395
treed0ee647c1278d805960b2d18a541844fcd73836f
parentbf9147cc71f5f9cf2ebe112d40261d4e038e0da8
Update Travis CI job
.travis.yml
mtl.cabal