/patch-gtk2/1.1.1.1/Mon Jul 20 14:06:02 2009//
/patch-gtk2-api-change/1.1/Mon Jun 14 19:21:06 2010//
/patch-make/1.2/Mon Nov  8 01:02:14 2021//
/patch-uvm/1.2/Mon Nov  8 01:02:14 2021//
D