Commit ac77d2b5 authored by Michael Hanus 's avatar Michael Hanus

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

parents e2bffe43 90996e38
Pipeline #1405 passed with stages
in 213 minutes and 47 seconds