From 5cbbaa100d64f1f541ab9c87a07bab7a7f4ec4ab Mon Sep 17 00:00:00 2001 From: Bodigrim Date: Sun, 27 Oct 2019 20:43:20 +0000 Subject: [PATCH] Add vector-rotcev --- build-constraints.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/build-constraints.yaml b/build-constraints.yaml index 36823397..3a294ff0 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -3059,6 +3059,7 @@ packages: - extended-reals - ChasingBottoms - data-interval + - vector-rotcev "Ashley Yakeley @AshleyYakeley": - countable