Update cabal file for merge

1 job for update-sbv in 8 minutes and 31 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #806111
Build

00:08:31