@@ -3601,6 +3601,7 @@ packages:
3601 - co-log-core
3601 - co-log-core
3602 - co-log
3602 - co-log
3603 - co-log-polysemy
3603 - co-log-polysemy
3604 - first-class-patterns
3605 - first-class-patterns
3606 - membrain
3607 - membrain
@@ -4143,7 +4144,7 @@ packages:
4144 "8c6794b6 <8c6794b6@gmail.com> @8c6794b6":
4145 "8c6794b6 <8c6794b6@gmail.com> @8c6794b6":
4145 - hpc-codecov
4146 - hpc-codecov
4147 "Hiromi Ishii <konn.jinro@gmail.com> @konn":
4148 "Hiromi Ishii <konn.jinro@gmail.com> @konn":
4148 - equational-reasoning
4149 - equational-reasoning
4149 - ghc-typelits-presburger
4150 - ghc-typelits-presburger