resolver: lts-13.23

extra-deps:
  - butcher-1.3.2.1
  - multistate-0.8.0.1