[Vm-dev] Static link to latest Coq vms

[Fabio Niephaus]

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/20151226/3eedd78c/attachment.htm