testdata.nix (1763B)
1 { fetchurl }: 2 let 3 fetchSrtm = 4 { file, hash }: 5 fetchurl { 6 inherit hash; 7 url = "https://srtm.kurviger.de/SRTM3/${file}"; 8 }; 9 in 10 [ 11 (fetchSrtm { 12 file = "Eurasia/N47E013.hgt.zip"; 13 hash = "sha256-VA4wiiPODvHNMTAN+Gk6YJzJPbeIoJm/xL+ZaM1PGS0="; 14 }) 15 (fetchSrtm { 16 file = "Eurasia/N46E013.hgt.zip"; 17 hash = "sha256-77VJEdbIR8vexa0VUB2U/x5UQotjvAk0fcvYE+ffN5I="; 18 }) 19 (fetchSrtm { 20 file = "Eurasia/N47E012.hgt.zip"; 21 hash = "sha256-FplC/gd0CiLjsZOH1cOFWXqFye++JjGnTVKyXpPSZXI="; 22 }) 23 (fetchSrtm { 24 file = "Africa/N00E015.hgt.zip"; 25 hash = "sha256-Sj5pOoKtxjzwVzmMRhva+6nPXAqsvpXFoD0T7oTpSew="; 26 }) 27 (fetchSrtm { 28 file = "Africa/S01E015.hgt.zip"; 29 hash = "sha256-lrQ5/ivQ1/OG+s7lAjGpQ5VgRB0pCPVZOP62017dpGg="; 30 }) 31 (fetchSrtm { 32 file = "Eurasia/N51E000.hgt.zip"; 33 hash = "sha256-hwxaZfZwEMp3vetsxBBBmoDWHemXgozAX5A9igPG2SU="; 34 }) 35 (fetchSrtm { 36 file = "Eurasia/N51W001.hgt.zip"; 37 hash = "sha256-l8teYdCYG3a7XMtdekyRlTaJ2FLVoBgRGjM++FZiE1w="; 38 }) 39 (fetchSrtm { 40 file = "Eurasia/N42E071.hgt.zip"; 41 hash = "sha256-OH9he4a+rs55g7Hb4P5a4PJc2QASmytNAZOfszZ5t2M="; 42 }) 43 (fetchSrtm { 44 file = "Eurasia/N43E087.hgt.zip"; 45 hash = "sha256-sBPuvLco0MoWb81NAHOvi5nY1aPNZlcUJzqS+KaWeEE="; 46 }) 47 (fetchSrtm { 48 file = "Africa/N31E035.hgt.zip"; 49 hash = "sha256-SO0dSS3jNWKTssoEQ3vB/XlL3AST9laHVr9XTvN3QDw="; 50 }) 51 (fetchSrtm { 52 file = "Eurasia/N55E055.hgt.zip"; 53 hash = "sha256-IqO9AUJ3EdGd0LS1y4hcrz20vyXS23KXSaOSLjP0pFo="; 54 }) 55 (fetchSrtm { 56 file = "Eurasia/N45E013.hgt.zip"; 57 hash = "sha256-y5Ykg4Sl4L0YVVS89bOdT6bn13xEgrmkTEKjf3gWALk="; 58 }) 59 (fetchSrtm { 60 file = "Africa/N24E035.hgt.zip"; 61 hash = "sha256-G4tkOIt4uKO9o1wmXzaqwvnLuB1RSFikOyEfU9vy2bs="; 62 }) 63 ]