/Makefile.am/1.1.1.1/Sun Feb 26 19:46:54 2023// /Makefile.in/1.1.1.1/Sun Feb 26 19:46:54 2023// /Xspice/1.1.1.1/Sun Feb 26 19:46:54 2023// D