../ happy-1.18.6-man.patch 27-Dec-2012 05:11 469 happy-1.18.6-missing-tests.patch 02-Aug-2011 10:15 4051 happy-1.18.9-ghc-7.5.patch 14-Sep-2012 13:00 792 happy-1.18.9-missing-tests.patch 27-Dec-2012 21:01 5985