# This file is controlled by /etc/dotfiles/README.org { pkgs ? import { } }: with pkgs; mkShell { buildInputs = [ jre8 jdk8 ]; shellHook = '' ''; }