/lang/yap/patches/

• ../
• patch-aa
• patch-ad
• patch-ae
• patch-af
• patch-ah
• patch-aj
• patch-packages_swi-minisat2_C_Solver.C
• patch-packages_swi-minisat2_C_SolverTypes.h