D/gnulib//// /defs.mk/1.1.1.2/Tue Aug 13 03:02:47 2024//