Remove duplicate entry for jvm-batching.

This commit is contained in:
Facundo Domínguez 2018-07-11 17:59:04 -03:00 committed by GitHub
parent 70d4352c0f
commit 85b83d52d9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1874,7 +1874,6 @@ packages:
- inline-r < 0 # GHC 8.4 via inline-c
- jni
- jvm
- jvm-batching
- jvm-streaming
- H < 0 # GHC 8.4 via inline-r
- sparkle
@ -2319,7 +2318,7 @@ packages:
- distributed-process-tests < 0 # GHC 8.4 via distributed-process
- distributed-static
- inline-c
- jvm-batching < 0 # GHC 8.4 via inline-java
- jvm-batching
- network-transport
- network-transport-tests
- network-transport-tcp < 0 # BuildFailureException Process exited with ExitFailure 1: dist/build/TestTCP/TestTCP