Merge pull request #5315 from eschnett/patch-2

New packages mpi-hs-binary and mpi-hs-cereal
This commit is contained in:
Adam Bergmark 2020-04-19 12:28:46 +02:00 committed by GitHub
commit 83302cbe70
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -135,6 +135,8 @@ packages:
"Erik Schnetter <schnetter@gmail.com> @eschnett":
- mpi-hs
- mpi-hs-binary
- mpi-hs-cereal
"Yang Bo <pop.atry@gmail.com> @Atry":
- control-dsl < 0 # via doctest-discover