File tree Expand file tree Collapse file tree 1 file changed +8
-2
lines changed Expand file tree Collapse file tree 1 file changed +8
-2
lines changed Original file line number Diff line number Diff line change @@ -49,6 +49,12 @@ source-repository-package
49
49
tag: 224f3901eaa1b32a27e097968afd4a3894efa77e
50
50
-- https://github.com/pepeiborra/ghc-check/pull/14/files
51
51
52
+ source-repository-package
53
+ type:git
54
+ location: https://github.com/tvh/ekg-wai/
55
+ tag: ba56333e0959f896a03f15a9f151f4a31d1bfcca
56
+ -- https://github.com/tvh/ekg-wai/issues/4
57
+
52
58
write-ghc-environment-files: never
53
59
54
60
index-state: 2021-09-29T21:38:47Z
@@ -78,12 +84,12 @@ allow-newer:
78
84
dependent-sum:constraints,
79
85
diagrams:diagrams-core,
80
86
Chart-diagrams:diagrams-core,
81
- SVGFonts:diagrams-core
87
+ SVGFonts:diagrams-core,
82
88
ekg:base,
83
89
ekg-core:base,
84
90
ekg-core:ghc-prim,
85
91
ekg-json:base,
86
- snap-server :base,
92
+ ekg-wai :base -- https://github.com/tvh/ekg-wai/issues/6
87
93
88
94
constraints:
89
95
Agda ==2.6.1.3,
You can’t perform that action at this time.
0 commit comments