mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-16 14:54:29 +01:00
0e8c811907
Update `isl` to use `isl_0_20`. |
||
---|---|---|
.. | ||
0.11.1.nix | ||
0.14.1.nix | ||
0.17.1.nix | ||
0.20.0.nix | ||
fix-gcc-build.diff |