File tree Expand file tree Collapse file tree 2 files changed +0
-13
lines changed Expand file tree Collapse file tree 2 files changed +0
-13
lines changed Original file line number Diff line number Diff line change @@ -66,12 +66,6 @@ source-repository-package
66
66
subdir: dependent-sum-template
67
67
-- https://github.com/obsidiansystems/dependent-sum/pull/57
68
68
69
- -- https://github.com/wz1000/HieDb/pull/35
70
- source-repository-package
71
- type: git
72
- location: https://github.com/pepeiborra/HieDb
73
- tag: 67ccc0c248fbe2947525756a95e23116c71c3f28
74
-
75
69
source-repository-package
76
70
type: git
77
71
location: https://github.com/anka-213/lsp
Original file line number Diff line number Diff line change @@ -34,13 +34,6 @@ source-repository-package
34
34
location : https://github.com/hsyl20/ghc-api-compat
35
35
tag : 8fee87eac97a538dbe81ff1ab18cff10f2f9fa15
36
36
37
- -- https://github.com/wz1000/HieDb/pull/35
38
- source-repository-package
39
- type : git
40
- location : https://github.com/pepeiborra/HieDb
41
- tag : 67ccc0c248fbe2947525756a95e23116c71c3f28
42
-
43
-
44
37
write-ghc-environment-files : never
45
38
46
39
index-state : 2021-06-21T19:57 :32Z
You can’t perform that action at this time.
0 commit comments