Hi Andreas,
>installed while a build in a Jessie+backports chroot fails. Do you think the >solution is that simple as backporting armadillo 6.700.6+dfsg-1 ? pbuilder-dist jessie login, enable backports apt-get build-dep seer dpkg-buildpackage (fails) enable stretch repo apt-get update && apt-get install libarmadillo-dev (get the stretch version) dpkg-buildpackage (good) [...] dh_builddeb dpkg-deb: building package `seer' in `../seer_1.1.1-2_amd64.deb'. dpkg-genchanges >../seer_1.1.1-2_amd64.changes [...] I guess so. G.
