idris-lang/Idris-dev — pull request #1631 by edwinb (2014-10-14 10:37:36+00:00)
Title: Force ibc

This isn't strictly necessary since there's no format change, but there
has been a huge library renaming including some internal things, and
some things may end up stale by mistake (it just happened to me) so it's
mostly defensive, to prevent any confusing errors...