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.
Jonathan Wiltshire j...@debian.org
Debian Developer http://people.debian.org/~jmw
4096R: 0xD3524C51 / 0A55 B7C5 1223 3942 86EC 74C3 5394 479D D352 4C51