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