self: pkgs: with pkgs; {

  cryptominisat = callPackage ./cryptominisat.nix { };

  firedrake = callPackage ./firedrake { };
}