Re: [DNG] human reaable package index

2017-06-11 Thread Jaromil
dear Hendrik, On Sun, 11 Jun 2017, Hendrik Boom wrote: > Debian has a useful page, https://www.debian.org/distrib/packages, > which you get to via packages.debian.org > > Is there anything similar for devuan? > > https://www.devuan.org/distrib/packages does not work. > Nor does https://package

[DNG] human reaable package index

2017-06-11 Thread Hendrik Boom
Debian has a useful page, https://www.debian.org/distrib/packages, which you get to via packages.debian.org Is there anything similar for devuan? https://www.devuan.org/distrib/packages does not work. Nor does https://packages.devuan.org/ -- hendrik

[DNG] Please backport opam 1.2.2 to jessie

2017-06-11 Thread Hendrik Boom
opam 1.2.0 is broken in practical terms. It is no longer compatible with the current archive format. The developers are recommending migrating to opam 1.2.2. As far as I know, Debian and Devuan Jessie are the only distros still shipping opam 1.2.0. Would it be possible to provide 1.2.2 in Jes

Re: [DNG] reportbug default bts

2017-06-11 Thread Jaromil
dear Nate, On Sat, 10 Jun 2017, Nate Bargmann wrote: > I emailed a followup to 6...@bugs.devuan.org and received an > acknowledgment from the BTS but the message has not appeared on the > bug's Web page. I have the same problem and this and other issues were addressed in our last developer meeti