File tree 2 files changed +5
-5
lines changed
2 files changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -34,7 +34,7 @@ extra-deps:
34
34
- unix-2.8.5.1
35
35
- Win32-2.14.1.0
36
36
- git : https://git.ps.informatik.uni-kiel.de/curry/curry-frontend.git
37
- commit : e451e2b3b95edba48a3589b1adf90c1da15bb24f
37
+ commit : 6919240bf82cc94a2d47bd405e70565c272f98f8
38
38
39
39
allow-newer : true
40
40
Original file line number Diff line number Diff line change @@ -124,15 +124,15 @@ packages:
124
124
original:
125
125
hackage: Win32-2.14.1.0
126
126
- completed:
127
- commit: e451e2b3b95edba48a3589b1adf90c1da15bb24f
127
+ commit: 6919240bf82cc94a2d47bd405e70565c272f98f8
128
128
git: https://git.ps.informatik.uni-kiel.de/curry/curry-frontend.git
129
129
name: curry-frontend
130
130
pantry-tree:
131
- sha256: ac9abbc96d02bbea1f3eeb32bec5253e5dcb1f9cc8806ec227814a66f86b4d0e
132
- size: 21822
131
+ sha256: f2117dffee864bde5f9b5fb0a414787b25acc4fb7a7e0dda1d626339e57c2ceb
132
+ size: 21908
133
133
version: 3.0.0
134
134
original:
135
- commit: e451e2b3b95edba48a3589b1adf90c1da15bb24f
135
+ commit: 6919240bf82cc94a2d47bd405e70565c272f98f8
136
136
git: https://git.ps.informatik.uni-kiel.de/curry/curry-frontend.git
137
137
snapshots:
138
138
- completed:
You can’t perform that action at this time.
0 commit comments