Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sci-mathematics/sha1-polyml: Bump to 5.6-1. Fix | Mark Wright | 2017-01-03 | 3 | -0/+123 |
* | Revert "dev-util/nvidia-cuda-toolkit: Drop old" | Justin Lecher | 2017-01-02 | 2 | -0/+157 |
* | sci-mathematics/kodkodi: Update to EAPI="6" | Mark Wright | 2017-01-03 | 1 | -0/+108 |
* | sci-mathematics/kodkod: Fix get_libdir called in global scope, thanks to | Mark Wright | 2017-01-03 | 1 | -0/+141 |
* | sci-mathematics/isabelle: Bump to 2016.1. Thanks to David E. Narv?ez for | Mark Wright | 2017-01-03 | 11 | -0/+606 |