Hi Johannes, are you planning to upload dose3 to jessie-backports?
Thanks Anton 2016-06-22 13:32 GMT+02:00 Johannes Schauer <[email protected]>: > Hi all, > > Quoting Pietro Abate (2016-06-22 11:44:59) > > Hei josh, can you check this branch ? > > > > dose3.5.0-debian-jessie > > > > I don't have a vm with debian jessie ready, but I've used an opam > > switch that should be close enough to what we ave in jessie. > > thanks to Pietro we now have a patch that lets dose3 from experimental > work in > stable. I pushed it to the branch jessie-backports/master of the dose3 > packaging git. > > > https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/dose3.git/commit/?h=jessie-backports/master&id=e6b2a9b7321cf5639826ef73ff6f668dfc3fdf0d > > It builds fine inside a Jessie chroot with backports enabled (needed for > newer > librpm). > > Thanks! > > cheers, josch >

