[Vm-dev] Static link to latest Coq vms

[Eliot Miranda]

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?

_,,,^..^,,,_ (phone)

> On Dec 26, 2015, at 11:34 AM, Fabio Niephaus <lists at fniephaus.com> wrote:
> 
> Hi Eliot,
> 
> I am looking for a way to obtain always the latest Cog vms (Spur & non-Spur, Linux/Mac).
> I don't really want to parse the version list at [1] and then programmatically
> determine and download the latest vms.
> Can you think of a better way how to do this? Would it be possible to
> provide a resource like:
> 
> http://www.mirandabanda.org/files/Cog/VM/latest/
> 
> which always contains the latest build?
> 
> Best,
> Fabio
> 
> [1] http://www.mirandabanda.org/files/Cog/VM/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.squeakfoundation.org/pipermail/vm-dev/attachments/20151227/9a01d5c1/attachment.htm