Anderson Torres 8bf1bc692c

Merge pull request #110512 from neosimsim/agda-dont-install-Everything ...

Agda don't install Everything module

2021-02-03 15:56:34 -03:00

..

default.nix

Merge pull request #110512 from neosimsim/agda-dont-install-Everything

2021-02-03 15:56:34 -03:00

lib.nix

agdaPackages.mkDerivation: don't install Everything module

2021-01-24 17:30:01 +01:00