> The last snapshot was built on 28 October 2007. Hopefully, the script
> can be fixed and the snapshot will be built daily again.
The snapshots have been disabled temporarily for technical reasons.
It should come back in a week or so.
Note also that the libre site will be shutdown on friday due to office moves,
for a few hours or a few days, depending how the move goes :-)
Arno
_______________________________________________
gps-users mailing list
gps-users@...
http://lists.adacore.com/mailman/listinfo/gps-users