MD5 (gnat-3.12p-src.tar.gz) = e441db93cfef98702f8cf16dffaab6e8
MD5 (gcc-2.8.1.tar.gz) = 311829e9c36080fb54b0145285746a9e
MD5 (gnat-3.11p-boot.tar.gz) = ff94f828ce93328a4ebbc546743f9834