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