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

…