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