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