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