Add universe package family

This commit is contained in:
Oleg Grenrus 2015-08-31 06:35:33 +03:00
parent 400232b158
commit 4c1bf8ee67

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":