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
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
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
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