@Jeff, unfortunately our version info does not print the ngspice version info. What version do you use?
@Jeff, unfortunately our version info does not print the ngspice version info. What version do you use?