b189247ba0
Uses the HTTPS url for cases where the existing URL has a permanent redirect. For each domain, at least one fixed derivation URL was downloaded to test the domain is properly serving downloads. Also fixes jbake source URL, which was broken.
22 lines
555 B
Nix
22 lines
555 B
Nix
{ stdenv, fetchurl, gmp }:
|
|
|
|
stdenv.mkDerivation rec {
|
|
name = "isl-0.14.1";
|
|
|
|
src = fetchurl {
|
|
url = "http://isl.gforge.inria.fr/${name}.tar.xz";
|
|
sha256 = "0xa6xagah5rywkywn19rzvbvhfvkmylhcxr6z9z7bz29cpiwk0l8";
|
|
};
|
|
|
|
buildInputs = [ gmp ];
|
|
|
|
enableParallelBuilding = true;
|
|
|
|
meta = {
|
|
homepage = https://www.kotnet.org/~skimo/isl/;
|
|
license = stdenv.lib.licenses.lgpl21;
|
|
description = "A library for manipulating sets and relations of integer points bounded by linear constraints";
|
|
platforms = stdenv.lib.platforms.all;
|
|
};
|
|
}
|