On Fri, Mar 24, 2017 at 11:53:59AM -0400, Chuck Hallenbeck wrote: > > I presume you are suggesting using wget to retrieve the missing > packages after identifying their URL's? >
Yeah, or just download the package from packages.debian.org with a web browser, and then use dpkg -i on it. Check the dependency this for the package and consider whether you might need to (re-)download any of those in addition. Hopefully not, but... Mark