Add dunai, rhine, and rhine-gloss

This commit is contained in:
Manuel Bärenz 2018-05-07 19:34:57 +02:00 committed by GitHub
parent 1e5df511e6
commit 6783f1a6f4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -7,6 +7,11 @@ cabal-format-version: "2.0"
# Constraints for brand new builds
packages:
"Manuel Bärenz <programming@manuelbaerenz.de> @turion":
- dunai
- rhine
- rhine-gloss
"Paul Johnson <paul@cogito.org.uk> @PaulJohnson":
- geodetics