f0e84b add armv5tel to ghc_arches and fix url

Authored and Committed by petersen 8 years ago
    add armv5tel to ghc_arches and fix url
    
        
file modified
+6 -3