WIP: Update vendored CPM dependencies for KiCS2 (!4) · Merge requests · curry / curry-tools · GitLab

The source project of this merge request has been removed.

Fredrik Wieczerkowski requested to merge (removed):kics2-read-legacy into version3 Mar 16, 2021

See curry-packages/read-legacy!1 (closed).