Merge pull request #5859 from Atry/control-dsl-lts17

Reenable control-dsl (backport #5850)
This commit is contained in:
Chris Dornan 2021-02-08 10:24:06 +00:00 committed by GitHub
commit 9a133ff140
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -209,7 +209,7 @@ packages:
- mpi-hs-cereal
"Yang Bo <pop.atry@gmail.com> @Atry":
- control-dsl < 0 # via doctest-discover
- control-dsl
"Laurent P. René de Cotret <laurent.decotret@outlook.com> @LaurentRDC":
- pandoc-plot < 0 # ghc 8.10 via pandoc