{
  sources ? import ./npins,
  pkgs ? import sources.nixpkgs { },
}:

{
  devShell = pkgs.mkShell {
    name = "cas-eleves.dev";

    packages = [
      (pkgs.python3.withPackages (ps: [
        ps.django
        (ps.callPackage ./nix/django-cas-server { })
        (ps.callPackage ./nix/loadcredential { })
      ]))
    ];

    env = {
      CREDENTIALS_DIRECTORY = builtins.toString ./.credentials;
      CE_DEBUG = true;
    };
  };
}