Merge pull request #5279 from eschnett/eschnett/mpi-hs

Re-enable mpi-hs
This commit is contained in:
Joe Kachmar 2020-03-30 17:06:36 +00:00 committed by GitHub
commit a239b5980d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -133,7 +133,7 @@ packages:
- PyF
"Erik Schnetter <schnetter@gmail.com> @eschnett":
- mpi-hs < 0 # https://github.com/commercialhaskell/stackage/issues/5278
- mpi-hs
"Yang Bo <pop.atry@gmail.com> @Atry":
- control-dsl < 0 # via doctest-discover

View File

@ -92,13 +92,13 @@ apt-get install -y \
libmono-2.0-dev \
libmp3lame-dev \
libmpfr-dev \
libmpich-dev \
libmysqlclient-dev \
libncurses5-dev \
libnfc-dev \
liboath-dev \
libnotify-dev \
libopenal-dev \
libopenmpi-dev \
libpango1.0-dev \
libpcap0.8-dev \
libpcre2-dev \