joerg 66049a300a Deal with broken name lookup in GCC.		2012-06-15 18:53:30 +00:00
..
patch-aa	Update to Yap 6.2.1	2011-07-08 11:40:27 +00:00
patch-ad
patch-ae
patch-af	Don't use obsolete "malloc.h", some systems choose to break it intentionally (e.g. DragonFly).	2011-07-09 21:15:48 +00:00
patch-ah
patch-aj	Update to Yap 6.2.0	2010-10-27 12:32:52 +00:00
patch-packages_swi-minisat2_C_Solver.C	Deal with broken name lookup in GCC.	2012-06-15 18:53:30 +00:00
patch-packages_swi-minisat2_C_SolverTypes.h	Deal with broken name lookup in GCC.	2012-06-15 18:53:30 +00:00