resolver: lts-13.23 extra-deps: - butcher-1.3.2.1 - multistate-0.8.0.1