liquid-fixpoint-0.8.10.7: shell.nix

import ./. { makeEnv = true; }