@@ -2237,6 +2237,9 @@ packages:
2237 - exact-pi
2237 - exact-pi
2238 - numtype-dk
2238 - numtype-dk
2240+ "Henri Verroken <henriverroken@gmail.com> @hverr":
2240 # If you stop maintaining a package you can move it here.
2243 # If you stop maintaining a package you can move it here.
2241 # It will then be disabled if it starts causing problems.
2244 # It will then be disabled if it starts causing problems.
2242 # See https://github.com/fpco/stackage/issues/1056
2245 # See https://github.com/fpco/stackage/issues/1056