repo.or.cz
/
NixPkgs.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Merge pull request #268619 from tweag/lib-descriptions
[NixPkgs.git]
/
pkgs
/
development
/
libraries
/
isl
/
0.17.1.nix
blob
2e0110df786effc062e73193ff956a89f254fc14
1
import ./generic.nix rec {
2
version = "0.17.1";
3
urls = [
4
"mirror://sourceforge/libisl/isl-${version}.tar.xz"
5
"https://libisl.sourceforge.io/isl-${version}.tar.xz"
6
];
7
sha256 = "be152e5c816b477594f4c6194b5666d8129f3a27702756ae9ff60346a8731647";
8
}