Commit 6b68ca68 authored by Michael Hanus 's avatar Michael Hanus

Merge branch 'master' of git.ps.informatik.uni-kiel.de:curry/pakcs

parents 47a8dad4 64c82c21
Pipeline #1353 passed with stages
in 214 minutes and 16 seconds