Summary: | sci-mathematics/kodkod, sci-mathematics/sha1-polyml, sci-mathematics/isabelle: get_libdir called in global scope | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Michał Górny <mgorny> |
Component: | Current packages | Assignee: | Mark Wright <gienah> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | sci-mathematics |
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Bug Depends on: | |||
Bug Blocks: | 593364 |
Description
Michał Górny
![]() ![]() ![]() ![]() Fixed: commit 1772772b7973e844b580481f4912f949b75890f4 Author: Mark Wright <gienah@gentoo.org> Date: Tue Jan 3 10:00:36 2017 +1100 sci-mathematics/sha1-polyml: Bump to 5.6-1. Fix get_libdir called in global scope, thanks to mgorny for reporting. Gentoo-bug: 593380 commit 9d42d1b6bb6bcba7e6617511ae617cef326fd851 Author: Mark Wright <gienah@gentoo.org> Date: Tue Jan 3 09:52:35 2017 +1100 sci-mathematics/kodkod: Fix get_libdir called in global scope, thanks to mgorny for reporting. Gentoo-bug: 593380 commit 08c4c3f235caed7161be8696b7019064e20a4378 Author: Mark Wright <gienah@gentoo.org> Date: Tue Jan 3 09:47:13 2017 +1100 sci-mathematics/isabelle: Bump to 2016.1. Thanks to David E. Narv?ez for 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 |