@@ -2843,7 +2843,7 @@ packages:
2844 "Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
2844 "Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
2846− # - mixed-types-num # GHC 8.2.1
2846+ - mixed-types-num
2848 "Bartosz Nitka <niteria@gmail.com> @niteria":
2848 "Bartosz Nitka <niteria@gmail.com> @niteria":