File tree Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -41,7 +41,6 @@ source-repository-package
41
41
tag: b6245884ae83e00dd2b5261762549b37390179f8
42
42
-- https://github.com/lspitzner/czipwith/pull/2
43
43
44
-
45
44
source-repository-package
46
45
type: git
47
46
location: https://github.com/jneira/hie-bios/
@@ -67,11 +66,11 @@ source-repository-package
67
66
subdir: dependent-sum-template
68
67
-- https://github.com/obsidiansystems/dependent-sum/pull/57
69
68
69
+ -- https://github.com/wz1000/HieDb/pull/35
70
70
source-repository-package
71
71
type: git
72
- location: https://github.com/anka-213/HieDb
73
- tag: a3f7521f6c5af1b977040cce09c8f7354f8984eb
74
- -- https://github.com/wz1000/HieDb/pull/31
72
+ location: https://github.com/pepeiborra/HieDb
73
+ tag: 67ccc0c248fbe2947525756a95e23116c71c3f28
75
74
76
75
source-repository-package
77
76
type: git
Original file line number Diff line number Diff line change @@ -34,10 +34,11 @@ 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
37
38
source-repository-package
38
39
type : git
39
40
location : https://github.com/pepeiborra/HieDb
40
- tag : 6eb9e7578bc675ec658a0c945cebe7ae69505d1e
41
+ tag : 67ccc0c248fbe2947525756a95e23116c71c3f28
41
42
42
43
43
44
write-ghc-environment-files : never
You can’t perform that action at this time.
0 commit comments