Vladimír Čunát d73c8ed79d Revert "Merge pull request #555 from errge/master" ...

This reverts commit 8f7cfc0c73, reversing
changes made to cc85ad4b1c.

The merge changed stdenv (a bit surprisingly, see #555 for details).

2013-05-27 18:29:53 +02:00

..

default.nix

Revert "Merge pull request #555 from errge/master"

2013-05-27 18:29:53 +02:00