nixpkgs-suyu/pkgs/development/libraries/agda/standard-library
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