HoTT/HoTT — pull request #653 by JasonGross (2014-12-23 09:47:49+00:00)
Title: Auto-Update opam

This PR, on top of #652, will auto-push submodule bumps to opam.