on master help sign in
Merge pull request #4900 from Bodigrim/patch-2

Add ChasingBottoms

commit10e7c5465c6b32aa2c33a8cb6313db5a3f164bc7 authorJoe Kachmar <joseph.kachmar@gmail.com> dateWed 9 Oct 2019, 23:03 (7 years ago) parent207826b7a440ba
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