[m-dev.] Mercury packages for Debian

[Paul Bone]

On Tue, Nov 13, 2018 at 05:04:36PM +0000, Julien Fischer wrote:
> 
> 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.
> 

Cheers.

-- 
Paul Bone
http://paul.bone.id.au