[Vm-dev] Static link to latest Coq vms

[David T. Lewis]

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?

I'd go with /bleedingedge/ and /stable/ (rather than "recommended"). Most
people will understand "stable" to mean the recommended download for general
use, and suitable for everyone who does not want or need to be bleeding edge.

Dave


> 
> _,,,^..^,,,_ (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/