on master help sign in
Merge pull request #4487 from qrilka/universe-dependent-sum

Add missing universe-dependent-sum

commitf22d7d0fb54b9e4138959c91515fa51fe9de8b7e authorJens Petersen <juhpetersen@gmail.com> dateThu 18 Apr 2019, 18:05 (8 years ago) parentc0b8969522f007
1 file changed+1
build-constraints.yaml+1
build-constraints.yaml+1
@@ -1541,6 +1541,7 @@ packages:
15411541 # Universe
15421542 - universe
15431543 - universe-base
1544+ - universe-dependent-sum
15441545 - universe-instances-base
15451546 - universe-instances-extended
15461547 - universe-instances-trans