Merge pull request #787 from phadej/universe

Add universe package family
This commit is contained in:
Adam Bergmark 2015-08-31 14:29:13 +02:00
commit fa34ade00e

View File

@ -886,6 +886,12 @@ packages:
- regex-applicative-text
- spdx
- these
- universe
- universe-base
- universe-instances-base
- universe-instances-extended
- universe-instances-trans
- universe-reverse-instances
- waitra
"Adam C. Foltzer acfoltzer@galois.com @acfoltzer":