···

       
4
       
 
       
  name = "geogebra-${version}";

     

       
5
       
 
       
  version = "5.0.265.0";

     

       
6
       
 
       


     

       
0
       
 
       

     

       
0
       
 
       

     

       
7
       
 
       
  src = fetchurl {

     

       
8
       
 
       
    url = "http://download.geogebra.org/installers/5.0/GeoGebra-Linux-Portable-${version}.tar.bz2";

     

       
9
       
 
       
    sha256 = "74e5abfa098ee0fc464cd391cd3ef6db474ff25e8ea4fbcd82c4b4b5d3d5c459";

     
···

       
51
       
 
       
    homepage = https://www.geogebra.org/;

     

       
52
       
 
       
    license = with licenses; [ gpl3 cc-by-nc-sa-30 geogebra ];

     

       
53
       
 
       
    platforms = platforms.all;

     

       
0
       
 
       

     

       
54
       
 
       
  };

     

       
55
       
 
       
}

     

···

       
4
       
 
       
  name = "geogebra-${version}";

     

       
5
       
 
       
  version = "5.0.265.0";

     

       
6
       
 
       


     

       
7
       
+
       
  preferLocalBuild = true;

     

       
8
       
+
       


     

       
9
       
 
       
  src = fetchurl {

     

       
10
       
 
       
    url = "http://download.geogebra.org/installers/5.0/GeoGebra-Linux-Portable-${version}.tar.bz2";

     

       
11
       
 
       
    sha256 = "74e5abfa098ee0fc464cd391cd3ef6db474ff25e8ea4fbcd82c4b4b5d3d5c459";

     
···

       
53
       
 
       
    homepage = https://www.geogebra.org/;

     

       
54
       
 
       
    license = with licenses; [ gpl3 cc-by-nc-sa-30 geogebra ];

     

       
55
       
 
       
    platforms = platforms.all;

     

       
56
       
+
       
    hydraPlatforms = [];

     

       
57
       
 
       
  };

     

       
58
       
 
       
}