Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/sha1-polyml: Bump to 5.6-1. FixMark Wright2017-01-033-0/+123
| | | | | | | | get_libdir called in global scope, thanks to mgorny for reporting. Gentoo-bug: 593380 Package-Manager: portage-2.3.3
* Revert "dev-util/nvidia-cuda-toolkit: Drop old"Justin Lecher2017-01-022-0/+157
| | | | This reverts commit be8b86dd8750a545bead3f04f9989f36602780ab.
* sci-mathematics/kodkodi: Update to EAPI="6"Mark Wright2017-01-031-0/+108
| | | | Package-Manager: portage-2.3.3
* sci-mathematics/kodkod: Fix get_libdir called in global scope, thanks toMark Wright2017-01-031-0/+141
| | | | | | | | mgorny for reporting. Gentoo-bug: 593380 Package-Manager: portage-2.3.3
* sci-mathematics/isabelle: Bump to 2016.1. Thanks to David E. Narv?ez forMark Wright2017-01-0311-0/+606
providing the isabelle 2016 patches and the 2016 ebuild. Thanks to mgorny for reporting the get_libdir called in global scope QA bug. Gentoo-bugs: 602958, 593380 Package-Manager: portage-2.3.3