[Vm-dev] Static link to latest Coq vms

[Fabio Niephaus]

+1 for "stable" and "alpha".

Could you also make sure the files are named consistently? E.g.
"coglinux-stable.tgz".

So the following would always give me a stable Cog vm for OS X:
http://www.mirandabanda.org/files/Cog/VM/stable/Cog.app-stable.tgz

Thanks Eliot!

Best,
Fabio

On Sun, 27 Dec 2015 at 21:02, Chris Muller <asqueaker at gmail.com> wrote:

>
> On Sun, Dec 27, 2015 at 12:50 PM, David T. Lewis <lewis at mail.msen.com>
> wrote:
> >
> > On Sun, Dec 27, 2015 at 06:28:50PM +0000, Eliot Miranda wrote:
> >>
> >> Hi Fabio,
> >>
> >>     yes, I'll set this up when next I build VMs, which will be within
> the next two weeks.  I think I'll use something like
> >>
> >> http://www.mirandabanda.org/files/Cog/VM/bleedingedge/ and
> /recommended/
> >>
> >> Any suggestions for better names?
>
> ftp.squeak.org uses a "alpha" nomenclature which I think is nice.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.squeakfoundation.org/pipermail/vm-dev/attachments/20151227/77406a06/attachment-0001.htm