D/magdir//// /Localstuff/1.1.1.4/Thu May 25 03:00:29 2017// /Header/1.1.1.3/Fri Oct 19 03:00:29 2018// D/scripts//// /Makefile.am/1.22/Sat Aug 19 03:00:32 2023// /Makefile.in/1.26/Sat Aug 19 03:00:32 2023//