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.
21 lines
567 B
Nix
21 lines
567 B
Nix
{ stdenv, fetchurl, gmp }:
|
|
|
|
stdenv.mkDerivation rec {
|
|
name = "isl-0.17.1";
|
|
|
|
src = fetchurl {
|
|
url = "http://isl.gforge.inria.fr/${name}.tar.xz";
|
|
sha256 = "be152e5c816b477594f4c6194b5666d8129f3a27702756ae9ff60346a8731647";
|
|
};
|
|
|
|
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;
|
|
};
|
|
}
|