@@ -3601,6 +3601,7 @@ packages:
36013601 - co-log-core
36023602 - co-log
36033603 - co-log-polysemy
3604+ - colourista
36043605 - first-class-patterns
36053606 - ilist
36063607 - membrain
@@ -4143,7 +4144,7 @@ packages:
41434144
41444145 "8c6794b6 <8c6794b6@gmail.com> @8c6794b6":
41454146 - hpc-codecov
4146−
4147+
41474148 "Hiromi Ishii <konn.jinro@gmail.com> @konn":
41484149 - equational-reasoning
41494150 - ghc-typelits-presburger