projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5be0fa) | patch
sci-mathematics/z3: Thanks to Yichao Zhou, jlec and slyfox for development
authorMark Wright <gienah@gentoo.org>
Mon, 2 Jan 2017 00:18:51 +0000 (11:18 +1100)
committerMark Wright <gienah@gentoo.org>
Mon, 2 Jan 2017 00:20:08 +0000 (11:20 +1100)
commite1bee0588417636345663574e7c1ef127abbebe6
tree0531ba68e6da9a2bda0cc307f9c92fff34461be2tree | snapshot
parentf5be0fa19f11299cbecedced0eb1524342b8ab7fcommit | diff
sci-mathematics/z3: Thanks to Yichao Zhou, jlec and slyfox for development
on the z3 ebuilds.  Thanks to David E. Narv?ez for reporting and patching.

Gentoo-bug: 602498, 602600

Package-Manager: portage-2.3.3
sci-mathematics/z3/Manifest [new file with mode: 0644] blob
sci-mathematics/z3/files/z3-4.1.2-configure.patch [new file with mode: 0644] blob
sci-mathematics/z3/files/z3-4.4.1-gcc-6.patch [new file with mode: 0644] blob
sci-mathematics/z3/metadata.xml [new file with mode: 0644] blob
sci-mathematics/z3/z3-4.4.1.ebuild [new file with mode: 0644] blob
sci-mathematics/z3/z3-4.5.0.ebuild [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.