Merge pull request #4868 from jtobin/add-hnock

add hnock
This commit is contained in:
Jens Petersen 2019-10-02 16:55:50 +08:00 committed by GitHub
commit e150b64909
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2529,6 +2529,7 @@ packages:
- sampling
- flat-mcmc
- urbit-hob
- hnock
"Facundo Domínguez <facundo.dominguez@tweag.io> @facundominguez":
- distributed-process < 0 # GHC 8.4 via network-transport-tcp