Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Adding a new url for isl.src. The current is only meant for the last version. | Lluís Batlle i Rossell | 2012-02-09 |
* | * Streamline the stdenv bootstrap and resulting closure by removing | Eelco Dolstra | 2011-12-14 |
* | svn path=/nixpkgs/branches/stdenv-updates/; revision=30859 | Eelco Dolstra | 2011-12-12 |
* | ISL: Downgrade to 0.07 so that CLooG builds. | Ludovic Courtès | 2011-11-30 |
* | ISL 0.08, with some simplifications. | Ludovic Courtès | 2011-11-30 |
* | Use correct gmp for cross-build | Michael Raskin | 2011-11-07 |
* | Add isl, the integer set library (needed for cloog, an optional dependency fo... | Shea Levy | 2011-03-31 |