HoTT/HoTT — pull request #530 by JasonGross (2014-09-27 14:51:42+00:00)
Title: Teach coqdep not to look at HoTT on making stdlib

This silences the warnings about duplicated files.