Adds equational-reasoning, ghc-typelits-presburger, singletons-presburger and sized

2026-01-11 23:08:30 +01:00 · 2020-02-09 22:29:13 +09:00 · 2020-02-09 22:29:13 +09:00 · a4114cf9b2
commit a4114cf9b2
parent b23d0a4e57
1 changed files with 6 additions and 0 deletions
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@ -4117,6 +4117,12 @@ packages:

    "8c6794b6 <8c6794b6@gmail.com> @8c6794b6":
        - hpc-codecov
+    
+    "Hiromi Ishii <konn.jinro@gmail.com> @konn":
+        - equational-reasoning
+        - ghc-typelits-presburger
+        - type-natural
+        - sized

    "Grandfathered dependencies":
        - network