pakcs issueshttps://git.ps.informatik.uni-kiel.de/curry/pakcs/-/issues2020-10-30T13:33:07Zhttps://git.ps.informatik.uni-kiel.de/curry/pakcs/-/issues/28Makefile not suited for paths containing spaces2020-10-30T13:33:07ZFinn TeegenMakefile not suited for paths containing spaces