File tree Expand file tree Collapse file tree 3 files changed +4
-4
lines changed
Expand file tree Collapse file tree 3 files changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -161,7 +161,7 @@ compileCurryModule opts outDirPath m fp = do
161161 return [(fp, mdl)]
162162
163163-- The following functions partially reimplement
164- -- https://git.ps.informatik.uni-kiel.de /curry/curry -frontend/-/ blob/master/src/Modules.hs
164+ -- https://github.com/cau-placc /curry-frontend/blob/master/src/Curry/Frontend /Modules.hs
165165-- since the original module loader/parser does not support virtualized file systems.
166166-- License : BSD-3-clause
167167-- Copyright : (c) 1999 - 2004 Wolfgang Lux
Original file line number Diff line number Diff line change @@ -33,7 +33,7 @@ extra-deps:
3333 - time-1.9.3
3434 - unix-2.8.5.1
3535 - Win32-2.14.1.0
36- - git : https://git.ps.informatik.uni-kiel.de/curry /curry-frontend.git
36+ - git : https://github.com/cau-placc /curry-frontend.git
3737 commit : 6919240bf82cc94a2d47bd405e70565c272f98f8
3838
3939allow-newer : true
Original file line number Diff line number Diff line change @@ -125,15 +125,15 @@ packages:
125125 hackage: Win32-2.14.1.0
126126- completed:
127127 commit: 6919240bf82cc94a2d47bd405e70565c272f98f8
128- git: https://git.ps.informatik.uni-kiel.de/curry /curry-frontend.git
128+ git: https://github.com/cau-placc /curry-frontend.git
129129 name: curry-frontend
130130 pantry-tree:
131131 sha256: f2117dffee864bde5f9b5fb0a414787b25acc4fb7a7e0dda1d626339e57c2ceb
132132 size: 21908
133133 version: 3.0.0
134134 original:
135135 commit: 6919240bf82cc94a2d47bd405e70565c272f98f8
136- git: https://git.ps.informatik.uni-kiel.de/curry /curry-frontend.git
136+ git: https://github.com/cau-placc /curry-frontend.git
137137snapshots:
138138- completed:
139139 sha256: 1e32b51d9082fdf6f3bd92accc9dfffd4ddaf406404427fb10bf76d2bc03cbbb
You can’t perform that action at this time.
0 commit comments