/patch-configure/1.2/Sun Jul 20 12:39:48 2014//
/patch-configure.in/1.2/Sun Jul 20 12:39:48 2014//
/patch-dist_version.sh/1.2/Tue Aug 29 01:01:09 2023//
D