Adds equational-reasoning, ghc-typelits-presburger, singletons-presburger and sized
commita4114cf9b25d0631e7d215f7fa76aff2c250aa3f
authorHiromi ISHII <konn.jinro@gmail.com>
dateSun 9 Feb 2020, 22:29 (7 years ago)
parentb23d0a4
build-constraints.yaml+6
@@ -4117,6 +4117,12 @@ packages:
41174117
41184118 "8c6794b6 <8c6794b6@gmail.com> @8c6794b6":
41194119 - hpc-codecov
4120+
4121+ "Hiromi Ishii <konn.jinro@gmail.com> @konn":
4122+ - equational-reasoning
4123+ - ghc-typelits-presburger
4124+ - type-natural
4125+ - sized
41204126
41214127 "Grandfathered dependencies":
41224128 - network