[darcs-devel] [patch2161] resolve issue2674 (and a few more)

Ganesh Sittampalam ganesh at earth.li
Tue May 11 17:52:58 UTC 2021


On 11/05/2021 10:13, Ben Franksen wrote:

> We should also repair our own repos on darcs.net. But we can't build a
> current darcs on that machine. I can build darcs-2.16.3 on Debian 7, but
> will such a binary work on Debian 6 (which is what darcs.net runs)?

We could just repair them elsewhere and copy the result back up.

Ganesh


More information about the darcs-devel mailing list