undo previous dummy commit
commitaf592833d271075a995016dc1022c3c3ca2e3e17
authormikkonecny <mikkonecny@gmail.com>
dateTue 22 Aug 2017, 07:16 (9 years ago)
parent325782d
build-constraints.yaml+1−1
@@ -2842,7 +2842,7 @@ packages:
28422842
28432843 "Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
28442844 - hmpfr
2845− - mixed-types-num
2845+ - mixed-types-num
28462846
28472847 "Bartosz Nitka <niteria@gmail.com> @niteria":
28482848 - oeis