self: pkgs: with pkgs; {

  cryptominisat = callPackage ./cryptominisat.nix { };

  firedrake = callPackage ./firedrake { };

  meraculous = callPackage ./meraculous.nix { };
}