Sha256: 62de28941f72f832fe5e1ba25dbdd1c99a8bc31e858504d1787bd892882537e0

Contents?: true

Size: 32.6 KB

Versions: 0

Compression: gzip

Compressed size: 4.46 KB

Stored size: 4.46 KB

Contents

Download

Package Spec version

gecoder-with-gecode-0.7.1