idris-lang/Idris-dev — pull request #1231 by melted (2014-05-15 11:51:27+00:00)
Title: Add the rts/windows files to idris.cabal

Fixes #1224