{
  buildEnv,
  #
  myPkgs,
  pkgs,
}:
buildEnv {
  name = "fun";

  paths = [
    myPkgs.prop-solveur
    myPkgs.hbrainfuck
    pkgs.lucky-commit
  ];
}