idris-lang/Idris-dev — pull request #1782 by mietek (2014-12-10 00:17:43+00:00)
Title: Work around bug in glibc 2.11

This fixes https://github.com/idris-lang/Idris-dev/issues/1059.