@@ -1429,7 +1429,7 @@ packages:
1430 "Christoph Hegemann <christoph.hegemann1337@gmail.com":
1430 "Christoph Hegemann <christoph.hegemann1337@gmail.com":
1431 - psc-ide
1431 - psc-ide
1433 "Jinjing Wang <nfjinjing@gmail.com> @nfjinjing":
1433 "Jinjing Wang <nfjinjing@gmail.com> @nfjinjing":
1434 - moesocks
1434 - moesocks
@@ -1455,8 +1455,6 @@ packages:
1456 # https://github.com/fpco/stackage/issues/827
1456 # https://github.com/fpco/stackage/issues/827
1457 - semigroups < 0.17
1457 - semigroups < 0.17
1461 # https://github.com/fpco/stackage/issues/831
1459 # https://github.com/fpco/stackage/issues/831
1462 - lens < 4.13
1460 - lens < 4.13