@@ -4121,6 +4121,7 @@ packages:
4121 "Hiromi Ishii <konn.jinro@gmail.com> @konn":
4121 "Hiromi Ishii <konn.jinro@gmail.com> @konn":
4122 - equational-reasoning
4122 - equational-reasoning
4123 - ghc-typelits-presburger
4123 - ghc-typelits-presburger
4124+ - singletons-presburger
4124 - type-natural
4125 - type-natural