add collect-errors

This commit is contained in:
mikkonecny 2021-05-01 12:49:11 +01:00
parent 4924641c7a
commit e0614b64e0

View File

@ -3319,6 +3319,7 @@ packages:
"Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
- hmpfr
- collect-errors
- mixed-types-num
- aern2-mp
- aern2-real