3 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
c0 1:553-1 4 0.05 A small safe subset of the C programming language, augmented with contracts kopecs
c0-bin 0.771-1 1 0.06 A small safe subset of the C programming language, augmented with contracts kopecs
smackage-git 1.4.3.r298-1 0 0.00 Package Manager for Standard ML kopecs

3 packages found. Page 1 of 1.