idris-lang/Idris-dev — pull request #762 by david-christiansen (2014-01-02 15:16:57+00:00)
Title: Properly handle generation of sdist Git hashes

Now, the Git hash module is appropriately generated when running cabal sdist.