on master help sign in
Add ChasingBottoms
commit7a440bafc58b43549d3bbd2e7b5174e4a5aedab8 authorBodigrim <andrew.lelechenko@gmail.com> dateTue 8 Oct 2019, 19:37 (7 years ago) parent3fc190d
1 file changed+1
build-constraints.yaml+1
build-constraints.yaml+1
@@ -3044,6 +3044,7 @@ packages:
30443044 - bitvec
30453045 - poly
30463046 - extended-reals
3047+ - ChasingBottoms
30473048
30483049 "Ashley Yakeley <ashley@semantic.org> @AshleyYakeley":
30493050 - countable