diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2017-05-23 10:51:18 +0200 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2017-05-23 10:51:18 +0200 |
| commit | 19902a9540b028d24be9c078df0471bd589e7c82 (patch) | |
| tree | cb8c599464dab9b7375caf1bb3af951a59fc881c | |
| parent | 31878a6e3095de7514da41f344d5dc1b58dcfd35 (diff) | |
travis: coq_makefile needs the tipa package
| -rw-r--r-- | .travis.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index a959fbf96..14bafd345 100644 --- a/.travis.yml +++ b/.travis.yml @@ -88,6 +88,7 @@ matrix: - ghostscript - transfig - imagemagick + - tipa - env: - TEST_TARGET="test-suite" |