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