Using upstream branch https://git.ps.informatik.uni-kiel.de/curry/curry-libs.git (from configuration) % (453/823) Total 5996 (delta 642), reused 755 (delta 594), pack-reused 5173 Last upstream version 3.1.0 already imported.