You can set source
to a specific deb file, this would get the specific version you need. This however has the drawback that any runtime dependencies would need to be handled manually.
You can set source
to a specific deb file, this would get the specific version you need. This however has the drawback that any runtime dependencies would need to be handled manually.