clasp-manpage.patch
clasp-parallel-solve.patch
