@@ -4117,6 +4117,12 @@ packages:
4118 "8c6794b6 <8c6794b6@gmail.com> @8c6794b6":
4118 "8c6794b6 <8c6794b6@gmail.com> @8c6794b6":
4119 - hpc-codecov
4119 - hpc-codecov
4121+ "Hiromi Ishii <konn.jinro@gmail.com> @konn":
4122+ - equational-reasoning
4123+ - ghc-typelits-presburger
4121 "Grandfathered dependencies":
4127 "Grandfathered dependencies":
4122 - network
4128 - network