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