I updated the crafty port to use version 15.20 instead. The read.me has changed, too which caused a changed md5. Fix: This I tested briefly on a -current machine. Testing on an a.out machine is impossible as I don't have one at present. The patch for the patch looks really weird. :-(
State Changed From-To: open->closed Update committed, thanks!