It seems we need an expl from 2012/07/02
-rw-r--r-- 161 .travis.yml
-rw-r--r-- 15145 conteq.dtx