Sent from my iPhone
Should the old sparemint package webpages be archived (but still accessible) beforec we switch to a newer gcc ? Peter