liquid-fixpoint-8.10.7: shell.nix

import ./. { makeEnv = true; }