Hi, On Tue, Aug 01, 2017 at 10:28:30AM +0200, Stéphane Glondu wrote: > camlp5, lablgtk2 and other packages have been waiting for migration to > testing for a while. Their migration is essentially blocked by > hol-light and botch which FTBFS at the moment.
Since you wrote this both botch and hol-light successfully built, so when they migrate the others will also be unblocked. Thanks, -- Jonathan Wiltshire j...@debian.org Debian Developer http://people.debian.org/~jmw 4096R: 0xD3524C51 / 0A55 B7C5 1223 3942 86EC 74C3 5394 479D D352 4C51
