2020-08-10 19:52:02 +03:00
|
|
|
raw-project
|
|
|
|
|
package brick
|
|
|
|
|
flags: +demos
|
2021-10-23 04:21:57 +03:00
|
|
|
|
|
|
|
|
-- GHC 8.10.7 is unavailable from https://launchpad.net/~hvr/+archive/ubuntu/ghc.
|
|
|
|
|
-- Therefore we install it via GHCup.
|
|
|
|
|
ghcup-jobs: >= 8.10
|
|
|
|
|
|
|
|
|
|
branches: master
|
