HoTT/HoTT — pull request #610 by JasonGross (2014-11-10 06:26:22+00:00)
Title: Remove -lcoqrun hackery

This closes #335.