From 7a440bafc58b43549d3bbd2e7b5174e4a5aedab8 Mon Sep 17 00:00:00 2001 From: Bodigrim Date: Tue, 8 Oct 2019 19:37:43 +0100 Subject: [PATCH] Add ChasingBottoms --- build-constraints.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/build-constraints.yaml b/build-constraints.yaml index 4f06cc38..717fefa0 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -3044,6 +3044,7 @@ packages: - bitvec - poly - extended-reals + - ChasingBottoms "Ashley Yakeley @AshleyYakeley": - countable