Merge pull request #173379 from trofi/update-lrs

lrs: 7.0 -> 7.2
main
7c6f434c 2 years ago committed by GitHub
commit 394bbe2357
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 6
      pkgs/development/libraries/science/math/lrs/default.nix

@ -2,11 +2,11 @@
stdenv.mkDerivation rec {
pname = "lrs";
version = "7.0";
version = "7.2";
src = fetchurl {
url = "http://cgm.cs.mcgill.ca/~avis/C/lrslib/archive/lrslib-070.tar.gz";
sha256 = "1zjdmkjracz695k73c2pvipc0skpyn1wzagkhilsvcw9pqljpwg9";
url = "http://cgm.cs.mcgill.ca/~avis/C/lrslib/archive/lrslib-072.tar.gz";
sha256 = "1w1jsnfgny8cihndr5gfm99pvwp48qsvxkqfsi2q87gd3m57aj7w";
};
buildInputs = [ gmp ];

Loading…
Cancel
Save