Hi
There is a new upstream release of ngspice but the name of the source
package has changed from ng-spice-rework to ngspice. I didn't find anything
about it in the debian documentation but is there any complication involved in
just renaming the source package?
Regards
Gudjon