{ pkgs ? import { } }: pkgs.mkShell { name = "athens"; buildInputs = [ ]; }