HoTT/HoTT — pull request #436 by JasonGross (2014-08-26 14:40:52+00:00)
Title: Revert "Use the coq-git ppa on travis"

This reverts commit d17f47f34bc4352d9fa83fb97fa138c99b8d9fb8.

We probably don't actually want the pull requests to show red `x`s
whenever the most recent Coq trunk happens to break some random file in
HoTT.