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

Reply via email to