Add vector-rotcev

This commit is contained in:
Bodigrim 2019-10-27 20:43:20 +00:00 committed by GitHub
parent 8c2bc76502
commit 5cbbaa100d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3059,6 +3059,7 @@ packages:
- extended-reals
- ChasingBottoms
- data-interval
- vector-rotcev
"Ashley Yakeley <ashley@semantic.org> @AshleyYakeley":
- countable