nixpkgs-suyu/pkgs/development/compilers/idris
2012-09-21 16:36:24 +02:00
..
default.nix haskell-idris: update to version 0.9.3.1 2012-09-21 16:36:24 +02:00