···

       
7
       
 
       


     

       
8
       
 
       
stdenv.mkDerivation {

     

       
9
       
 
       
  pname = "lrs";

     

       
10
       
-
       
  version = "7.2";

     

       
11
       
 
       


     

       
12
       
 
       
  src = fetchurl {

     

       
13
       
-
       
    url = "http://cgm.cs.mcgill.ca/~avis/C/lrslib/archive/lrslib-072.tar.gz";

     

       
14
       
-
       
    sha256 = "1w1jsnfgny8cihndr5gfm99pvwp48qsvxkqfsi2q87gd3m57aj7w";

     

       
15
       
 
       
  };

     

       
16
       
 
       


     

       
17
       
 
       
  buildInputs = [ gmp ];

     

···

       
7
       
 
       


     

       
8
       
 
       
stdenv.mkDerivation {

     

       
9
       
 
       
  pname = "lrs";

     

       
10
       
+
       
  version = "7.3";

     

       
11
       
 
       


     

       
12
       
 
       
  src = fetchurl {

     

       
13
       
+
       
    url = "http://cgm.cs.mcgill.ca/~avis/C/lrslib/archive/lrslib-073.tar.gz";

     

       
14
       
+
       
    sha256 = "sha256-xJpOvYVhg0c9HVpieF/N/hBX1dZx1LlvOhJQ6xr+ToM=";

     

       
15
       
 
       
  };

     

       
16
       
 
       


     

       
17
       
 
       
  buildInputs = [ gmp ];