Bug#870336: Helping migration of camlp5, lablgtk2, etc.

To: Stéphane Glondu <glondu@debian.org>, 870336-done@bugs.debian.org
Cc: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#870336: Helping migration of camlp5, lablgtk2, etc.
From: Jonathan Wiltshire <jmw@debian.org>
Date: Sun, 6 Aug 2017 14:11:07 +0100
Message-id: <[🔎] 20170806131107.fzkkze5weqwtq3fx@powdarrmonkey.net>
Reply-to: Jonathan Wiltshire <jmw@debian.org>, 870336@bugs.debian.org
In-reply-to: <[🔎] 150157611066.24963.17512472978997792111.reportbug@korell.up7.fr>
References: <[🔎] 150157611066.24963.17512472978997792111.reportbug@korell.up7.fr>

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                                      jmw@debian.org
Debian Developer                         http://people.debian.org/~jmw

4096R: 0xD3524C51 / 0A55 B7C5 1223 3942 86EC  74C3 5394 479D D352 4C51

Reply to:

References:
- Bug#870336: Helping migration of camlp5, lablgtk2, etc.
  - From: Stéphane Glondu <glondu@debian.org>

Prev by Date: Bug#869854: marked as done (nmu: restbed-4.0~dfsg1-4 on armel)
Next by Date: Bug#870336: marked as done (Helping migration of camlp5, lablgtk2, etc.)
Previous by thread: Bug#870336: Helping migration of camlp5, lablgtk2, etc.
Next by thread: Bug#870336: marked as done (Helping migration of camlp5, lablgtk2, etc.)
Index(es):
- Date
- Thread