/DESCR/1.1.1.1/Thu May 26 23:27:22 2011//
/Makefile/1.9/Sat Jan 18 23:32:55 2020//
/hacks.mk/1.2/Sun Apr 26 10:22:59 2020//
/avoid-duplicate.mk/1.4/Mon Apr 11 01:00:57 2022//
D