[m-dev.] Mercury packages for Debian

Julien Fischer jfischer at opturion.com
Wed Nov 14 04:04:36 AEDT 2018

Hi Paul,

On Tue, 13 Nov 2018, Paul Bone wrote:

> I'm updating the Debian packages that I made of Mercury, and I'll package a
> more recent version of Mercury as part of that.
> Would anyone (being familiar with what's been committed lately) like to
> nomiate a version that's fairly stable and can build the current development
> version?

The most recent rotd (2018-11-12) should be fine.


More information about the developers mailing list