nixpkgs mirror (for testing) github.com/NixOS/nixpkgs
nix
at python-updates 11 lines 331 B view raw
1import ./generic.nix rec { 2 version = "0.20"; 3 urls = [ 4 "mirror://sourceforge/libisl/isl-${version}.tar.xz" 5 "https://libisl.sourceforge.io/isl-${version}.tar.xz" 6 ]; 7 sha256 = "1akpgq0rbqbah5517blg2zlnfvjxfcl9cjrfc75nbcx5p2gnlnd5"; 8 configureFlags = [ 9 "--with-gcc-arch=generic" # don't guess -march=/mtune= 10 ]; 11}