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