Merge pull request #4838 from jtobin/add-urbit-hob

add urbit-hob
This commit is contained in:
Dan Burton 2019-09-26 18:56:12 -07:00 committed by GitHub
commit 5b92d1ff35
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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