Starting from 2021-07-01, all LRZ GitLab users will be required to explicitly accept the GitLab Terms of Service. Please see the detailed information at and make sure that your projects conform to the requirements.

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
passed #806111