sci-mathematics / smtinterpol

Interpolating SMT-solver computing Craig interpolants for various theories

Official package sites : https://github.com/ultimate-pa/smtinterpol/ · https://ultimate.informatik.uni-freiburg.de/smtinterpol/ ·

v2.5_p20211018-r1 :: 0 :: gentoo

Modified
License
LGPL-3
Keywords
amd64

dev-java / java-config : Java environment configuration query tool

virtual / jdk : Virtual for Java Development Kit (JDK)

dev-java / java-config : Java environment configuration query tool

virtual / jre : Virtual for Java Runtime Environment (JRE)

Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
sci-mathematics/smtinterpol: dekeyword x86
After a message to gentoo-dev ML, and no reply from any user on x86, we decided to dekeyword most Java packages from x86, and reverse dependencies of them. Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Volkmar W. Pogatzki · gentoo
sci-mathematics/smtinterpol: drop 2.5_p20211018
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Closes: https://github.com/gentoo/gentoo/pull/38846 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/smtinterpol: Stabilize 2.5_p20211018-r1 amd64, #940447
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Volkmar W. Pogatzki · gentoo
sci-mathematics/smtinterpol: build without BSFIX, drop java-ant-2
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Closes: https://github.com/gentoo/gentoo/pull/37468/commits/596ccf2967564a9e90a0fa1dd86c5b1053f179be Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/smtinterpol: H -> COMMIT
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/smtinterpol: Stabilize 2.5_p20211018 amd64, #892295
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Conrad Kostecki · gentoo
sci-mathematics/smtinterpol: fix QA BadDescription
Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/smtinterpol: new package; add version 2.5_p20211018
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>