Thanks to David Botton for making this mirror available.

David Botton wrote:
>
> There is also an official mirror at
> http://www.adapower.com/pragmada

--
Jeff Carter
PragmAda Software Engineering