{ pkgs ? import <nixpkgs> {} }:

with pkgs;

stdenv.mkDerivation {

  name = "idris-async";

  buildInputs = [
    (idrisPackages.with-packages (with idrisPackages; [ contrib pruviloj ]))
    gmp
  ];

  src = builtins.fetchGit {
    url = https://github.com/conradsnicta/armadillo-code;
    rev = "8696c7ef3a7e66e92558b438182b7ee5878f028f";
  };

  buildPhase = ''
    idris --build ${src}/idris-async.ipkg
  '';

  installPhase = ''
    idris --install ${src}/idris-async.ipkg
  '';

}

stdenv.mkDerivation {
  name = "idris-env";

  buildInputs = [
    (idrisPackages.with-packages (with idrisPackages; [ contrib pruviloj vdom ]))
    gmp
    idris-async
  ];
}