From 19902a9540b028d24be9c078df0471bd589e7c82 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 23 May 2017 10:51:18 +0200
Subject: travis: coq_makefile needs the tipa package

---
 .travis.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.travis.yml b/.travis.yml
index a959fbf961..14bafd3456 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -88,6 +88,7 @@ matrix:
           - ghostscript
           - transfig
           - imagemagick
+          - tipa
 
     - env:
       - TEST_TARGET="test-suite"
-- 
cgit v1.2.3