Bug#934340: Please remove the dependency on obus and camlp4

2019-08-19 Thread Thomas Leonard
Why have you (I assume) removed 0install and obus from the repository? A camlp4 release for 4.08 came out on Aug 7th: https://github.com/ocaml/camlp4/releases/tag/4.08%2B1 And even if not, surely waiting for the NEW queue to clear so that obus can be upgraded is better than removing working

Bug#933992: Bug#934340: Please remove the dependency on obus and camlp4

2019-08-10 Thread Stéphane Glondu
Le 10/08/2019 à 16:59, Thomas Leonard a écrit : > obus is only optional on systems that don't use D-BUS. It is needed on Debian. > > https://github.com/ocaml-community/obus/blob/master/CHANGES.md says: > > 1.2.0 (2019-07-04) > - remove all Camlp4 dependencies > > So I think Debian can just

Bug#934340: Please remove the dependency on obus and camlp4

2019-08-10 Thread Thomas Leonard
On Sat, 10 Aug 2019 at 01:54, Stéphane Glondu wrote: > > Source: zeroinstall-injector > Version: 2.12.3-2 > Severity: serious > > Dear Maintainer, > > zeroinstall-injector build depends on obus, which is affected by > [1]. According to [2], it is an optional dependency. Please provide a > version

Bug#934340: Please remove the dependency on obus and camlp4

2019-08-09 Thread Stéphane Glondu
Source: zeroinstall-injector Version: 2.12.3-2 Severity: serious Dear Maintainer, zeroinstall-injector build depends on obus, which is affected by [1]. According to [2], it is an optional dependency. Please provide a version of zeroinstall-injector without the dependency on obus. It also seems