projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 354adc7) | patch
sci-mathematics/z3: Revert "Drop old"
authorMichał Górny <mgorny@gentoo.org>
Wed, 10 Apr 2019 17:44:38 +0000 (19:44 +0200)
committerMichał Górny <mgorny@gentoo.org>
Wed, 10 Apr 2019 17:45:17 +0000 (19:45 +0200)
commit0e7a59ce50c3202ff2c3a4bff22be3a9fe69f581
treef6b6fc722ef7fd4f19363b22600796874082b8a2tree | snapshot
parent354adc79a73ada60fb5b487556a5c3546bfc6a20commit | diff
sci-mathematics/z3: Revert "Drop old"

This broke sci-mathematics/isabelle.

Reverts: 6785f3b5e8a6e7969ed07ed59c5b2e7a82aea188.
Signed-off-by: Michał Górny <mgorny@gentoo.org>
sci-mathematics/z3/Manifest diff | blob | history
sci-mathematics/z3/files/z3-4.4.1-gcc-6.patch [new file with mode: 0644] blob
sci-mathematics/z3/z3-4.4.1.ebuild [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.