id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,difficulty 933,crunch doesn't add crunch.h to crunch.setup-info (chicken-uninstall doesn't remove crunch.h),Mario Domenech Goulart,felix winkelmann,"crunch.setup doesn't use {{{install-extension}}} to install crunch.h, so it doesn't get added to the .setup-info file. Thus, chicken-uninstall is not able to know about its existence. The attached patch works for me, but maybe I'm overlooking something that justifies the extra tweak to install crunch.h (the version has '''not''' been bumped).",defect,closed,major,someday,extensions,4.8.x,fixed,"crunch, chicken-uninstall",,