Merge pull request #4487 from qrilka/universe-dependent-sum

Add missing universe-dependent-sum
This commit is contained in:
Jens Petersen 2019-04-18 18:05:44 +08:00 committed by GitHub
commit f22d7d0fb5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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