nixpkgs/pkgs/development/libraries/agda/agda-base
2014-10-02 09:49:42 +01:00
..
default.nix agda-base: new package 2014-10-02 09:49:42 +01:00