You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
- with-compiler: ghc-8.6.5
-
- packages: .
-
- optimization: 2
-
- package *
- optimization: 2
-
- index-state: 2020-01-24T20:23:40Z
|