Migrate to version 3 (!2) · Merge requests · curry-packages / currypp

Merged Fredrik Wieczerkowski requested to merge version3 into master Dec 13, 2020

The branch applies the remaining fixes to make the project build successfully on version 3.