[m-dev.] Mercury packages for Debian

Julien Fischer jfischer at opturion.com
Thu Nov 15 12:40:22 AEDT 2018


Hi Paul,

Might as well use 2018-11-14, which would be equally good.

Cheers,
Julien.

On Thu, 15 Nov 2018 at 12:28, Paul Bone <paul at bone.id.au> wrote:

> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/developers/attachments/20181115/a91e1cf7/attachment.html>


More information about the developers mailing list