On Thu, 14 Jan 2016, Emmanuel Bourg wrote: > Thank you for the feedback, I'm glad to hear that at least one person > found our work useful.
I indeed do, yes. > Technically you could achieve the same stability by installing the > upstream package once and disabling the jenkins-ci entry in > /etc/apt/sources.list. Hrm, so is upstream’s packaging any good then? I have seen so many attempts of upstream to package “for” Debian that I don’t believe them unseen any more… … (plus I’d not know which version to pick, and “nobody ever got fired for buying IB^W^Wusing what’s in Debian” ☺) bye, //mirabilos -- tarent solutions GmbH Rochusstraße 2-4, D-53123 Bonn • http://www.tarent.de/ Tel: +49 228 54881-393 • Fax: +49 228 54881-235 HRB 5168 (AG Bonn) • USt-ID (VAT): DE122264941 Geschäftsführer: Dr. Stefan Barth, Kai Ebenrett, Boris Esser, Alexander Steeg

