[Vm-dev] Static link to latest Coq vms

[Robert Withers]

On 12/27/2015 04:07 PM, Fabio Niephaus wrote:
>   
>
>
> +1 for "stable" and "alpha".

+1.

Could you also ensure the crypto plugins are included?

Thanks!
robert

> 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 
> <mailto:asqueaker at gmail.com>> wrote:
>
>
>     On Sun, Dec 27, 2015 at 12:50 PM, David T. Lewis
>     <lewis at mail.msen.com <mailto: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 <http://ftp.squeak.org> uses a "alpha" nomenclature
>     which I think is nice.
>

-- 
Robert
.  ..   ...    ^,^

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.squeakfoundation.org/pipermail/vm-dev/attachments/20151227/199ae596/attachment.htm