Add data-interval

This commit is contained in:
Bodigrim 2019-10-24 19:16:06 +01:00 committed by Mihai Maruseac
parent 80b537e933
commit 84ed57f1d0

View File

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