Branches · curry-packages / cpm · GitLab

Active branches

master default protected

d01c5bbe · Change name of default home package to be conform with required package name · May 31, 2023

Download source code

zip tar.gz tar.bz2 tar

Stale branches

notypeclasses merged

f1b1d1cf · Small fix in Makefile · Dec 10, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
libs_refactor merged

a3743c49 · Dependencies updated · Nov 04, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
pakcs2

6c79e4d5 · Option `--version` added · Nov 20, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
curry-main-goal-gitignore

60bfac0b · Add KiCS2-generated Curry_Main_Goal to generated gitignore · Apr 22, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar