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 @@ -34,7 +34,7 @@ extra-deps:
3434 - unix-2.8.5.1
3535 - Win32-2.14.1.0
3636 - git : https://git.ps.informatik.uni-kiel.de/curry/curry-frontend.git
37- commit : be9623991440b3f085790475f040ca4b119393b4
37+ commit : e451e2b3b95edba48a3589b1adf90c1da15bb24f
3838
3939allow-newer : true
4040
Original file line number Diff line number Diff line change @@ -124,15 +124,15 @@ packages:
124124 original:
125125 hackage: Win32-2.14.1.0
126126- completed:
127- commit: be9623991440b3f085790475f040ca4b119393b4
127+ commit: e451e2b3b95edba48a3589b1adf90c1da15bb24f
128128 git: https://git.ps.informatik.uni-kiel.de/curry/curry-frontend.git
129129 name: curry-frontend
130130 pantry-tree:
131- sha256: 3826281387ad3183c0dee9a06b575a7c7b70f3c8b07a18f366e291ad443f7228
132- size: 21821
131+ sha256: ac9abbc96d02bbea1f3eeb32bec5253e5dcb1f9cc8806ec227814a66f86b4d0e
132+ size: 21822
133133 version: 3.0.0
134134 original:
135- commit: be9623991440b3f085790475f040ca4b119393b4
135+ commit: e451e2b3b95edba48a3589b1adf90c1da15bb24f
136136 git: https://git.ps.informatik.uni-kiel.de/curry/curry-frontend.git
137137snapshots:
138138- completed:
You can’t perform that action at this time.
0 commit comments