Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/z3
Commit message (Collapse)AuthorAgeFilesLines
* */*: Normalize metadata.xml filesMichał Górny2021-03-161-1/+1
| | | | | | | | | | | Normalize quoting, replace '>' with entities, replace unnecessary entities, remove trailing empty lines. Done via: find -name metadata.xml -exec xml ed -P -L -d //none {} + Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Remove oldMichał Górny2021-03-062-97/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.10 arm64, #774231Sam James2021-03-061-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.10 arm, #774231Sam James2021-03-051-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.10 ppc64, #774231Sam James2021-03-051-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: amd64 stable wrt bug #774231Agostino Sarubbo2021-03-051-1/+1
| | | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/z3: x86 stable wrt bug #774231Agostino Sarubbo2021-03-051-1/+1
| | | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* */*: Remove obsolete values from PYTHON_COMPATMichał Górny2021-01-311-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Bump to 4.8.10Michał Górny2021-01-212-0/+97
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Keyword 4.8.9 riscv, #756115Mikle Kolyada2020-12-041-1/+1
| | | | Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics/z3: Remove oldMichał Górny2020-11-032-97/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.9 amd64, #751145Sam James2020-11-031-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: stable 4.8.9 for ppc64Sergei Trofimovich2020-10-261-1/+1
| | | | | | | | stable wrt bug #751145 Package-Manager: Portage-3.0.8, Repoman-3.0.2 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.9 arm, #751145Sam James2020-10-261-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.9 arm64, #751145Sam James2020-10-261-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: x86 stable (bug #751145)Thomas Deutschmann2020-10-261-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* sci-mathematics/z3: Bump to 4.8.9Michał Górny2020-09-112-0/+97
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Remove oldMichał Górny2020-08-052-94/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: x86 stable wrt bug #734542Agostino Sarubbo2020-08-051-1/+1
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/z3: amd64 stable wrt bug #734542Agostino Sarubbo2020-08-051-1/+1
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/z3: stable 4.8.8 for ppc64Sergei Trofimovich2020-08-011-1/+1
| | | | | | | | stable wrt bug #734542 Package-Manager: Portage-3.0.1, Repoman-2.3.23 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/z3: arm stable (bug #734542)Sam James2020-07-311-1/+1
| | | | | Package-Manager: Portage-3.0.1, Repoman-2.3.23 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: arm64 stable (bug #734542)Sam James2020-07-301-1/+1
| | | | | Package-Manager: Portage-3.0.1, Repoman-2.3.23 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: drop haskell@ from maintainersSergei Trofimovich2020-06-211-4/+0
| | | | | Package-Manager: Portage-2.3.101, Repoman-2.3.22 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/z3: Port to cmake.eclassMichał Górny2020-06-081-2/+3
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Remove redundant longdescMichał Górny2020-05-141-3/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Bump to 4.8.8Michał Górny2020-05-142-0/+96
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3-4.8.6: Add missing dep on dev-libs/gmp[cxx]Patrick McLean2020-03-201-1/+1
| | | | | Package-Manager: Portage-2.3.94, Repoman-2.3.21 Signed-off-by: Patrick McLean <chutzpah@gentoo.org>
* sci-mathematics/z3: Remove py2Michał Górny2020-02-101-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* */*: Clean PYTHON_COMPAT of obsolete implsMichał Górny2020-01-051-2/+2
| | | | | Closes: https://github.com/gentoo/gentoo/pull/14246 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: remove unused patch(es)Michael Mair-Keimberger2019-12-121-18/+0
| | | | | | Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/13960 Signed-off-by: Aaron Bauman <bman@gentoo.org>
* sci-mathematics/z3: Tested on python3.8Michał Górny2019-12-081-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Remove oldDavid Seifert2019-12-084-473/+0
| | | | | Package-Manager: Portage-2.3.81, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/z3: arm64 stable (bug #700296)Aaron Bauman2019-11-231-1/+1
| | | | | Signed-off-by: Aaron Bauman <bman@gentoo.org> Package-Manager: Portage-2.3.79, Repoman-2.3.18
* sci-mathematics/z3: arm stable wrt bug #700296Mikle Kolyada2019-11-221-1/+1
| | | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.16 RepoMan-Options: --include-arches="arm" Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics/z3: ppc64 stable wrt bug #700296Agostino Sarubbo2019-11-201-1/+1
| | | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.16 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/z3: x86 stable wrt bug #700296Agostino Sarubbo2019-11-191-1/+1
| | | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.16 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/z3: amd64 stable wrt bug #700296Agostino Sarubbo2019-11-181-1/+1
| | | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.16 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/z3: Bump to 4.8.6Michał Górny2019-09-202-0/+94
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: arm64 stable (bug #693856)Aaron Bauman2019-09-161-1/+1
| | | | | Signed-off-by: Aaron Bauman <bman@gentoo.org> Package-Manager: Portage-2.3.76, Repoman-2.3.17
* sci-mathematics/z3: arm stable wrt bug #693856Mikle Kolyada2019-09-131-1/+1
| | | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="arm" Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics/z3: ppc64 stable wrt bug #693856Agostino Sarubbo2019-09-111-1/+1
| | | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/z3: x86 stable wrt bug #693856Agostino Sarubbo2019-09-101-1/+1
| | | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/z3: amd64 stable wrt bug #693856Agostino Sarubbo2019-09-101-1/+1
| | | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/z3: Drop oldMichał Górny2019-06-082-107/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Bump to 4.8.5Michał Górny2019-06-012-0/+107
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* */*: Remove python3_4 PYTHON_COMPAT correctlyMichał Górny2019-04-171-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Revert "Drop old"Michał Górny2019-04-103-0/+197
| | | | | | | This broke sci-mathematics/isabelle. Reverts: 6785f3b5e8a6e7969ed07ed59c5b2e7a82aea188. Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Drop oldMichał Górny2019-04-103-197/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Keyword 4.8.4 ~arm64Michał Górny2019-03-211-1/+1
| | | | | | Tested by NeddySeagoon. Signed-off-by: Michał Górny <mgorny@gentoo.org>