on master help sign in
add collect-errors
commite0614b64e0483d74b9845d3f88ee998cff33a964 authormikkonecny <mikkonecny@gmail.com> dateSat 1 May 2021, 12:49 (5 years ago) parent4924641
1 file changed+1
build-constraints.yaml+1
build-constraints.yaml+1
@@ -3319,6 +3319,7 @@ packages:
33193319
33203320 "Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
33213321 - hmpfr
3322+ - collect-errors
33223323 - mixed-types-num
33233324 - aern2-mp
33243325 - aern2-real