Anderson Torres 519c4f1727 Merge pull request #110830 from iblech/patch-agdastdlib15 ... agdaPackages.standard-library: 1.4 -> 1.5		2021-02-03 15:56:55 -03:00
..
default.nix	Merge pull request #110830 from iblech/patch-agdastdlib15	2021-02-03 15:56:55 -03:00