Add missing universe-dependent-sum

This commit is contained in:
Kirill Zaborsky 2019-04-17 13:18:33 +03:00
parent 074199fa0a
commit 522f00757f

View File

@ -1541,6 +1541,7 @@ packages:
# Universe
- universe
- universe-base
- universe-dependent-sum
- universe-instances-base
- universe-instances-extended
- universe-instances-trans