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

Add user @eschnett and package mpi-hs
This commit is contained in:
Dan Burton 2018-10-22 11:46:09 -04:00 committed by GitHub
commit 019588d08f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 0 deletions

View File

@ -8,6 +8,9 @@ cabal-format-version: "2.2"
# Constraints for brand new builds
packages:
"Erik Schnetter <schnetter@gmail.com> @eschnett":
- mpi-hs
"Yang Bo <pop.atry@gmail.com> @Atry":
- control-dsl

View File

@ -99,6 +99,7 @@ apt-get install -y \
liboath-dev \
libnotify-dev \
libopenal-dev \
libopenmpi-dev \
libpango1.0-dev \
libpcap0.8-dev \
libpq-dev \