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