On Thu, Jul 21, 2016 at 05:18:43PM +0000, Mattia Rizzolo wrote: > On Thu, Jul 21, 2016 at 07:17:03PM +0200, Ralf Treinen wrote: > > Fixed package is in sid (5.0-3) since Fri, 15 Jul, should migrate to > > testing soon. I just uploaded to jessie-backports. > > It migrated to testing this morning.
well, the source-only upload to jessie-backports was rejected, claiming that architecture-independent packages have to be included. Great surprise, that wasn't the case before. I am leaving for vacation tomorrow and don't have access to a jessie chroot now, so I cannot fix this now. If you want 5.0-3 in backports please pick it up at https://anonscm.debian.org/git/pkg-ocaml-maint/packages/dose3.git branch jessie-backports/master -Ralf.
