Volkmar W. Pogatzki aa42cf0572 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>

2024-10-02 11:49:30 +02:00

..

4ti2

…

abc

…

acl2

…

alectryon

sci-mathematics/alectryon: enable py3.12 compat

2024-04-29 20:57:28 +02:00

alt-ergo

sci-mathematics/alt-ergo: remove broken live 9999

2024-07-17 17:46:31 +02:00

arb

…

bertini

…

boolector

sci-mathematics/boolector: bump to 3.2.4

2024-09-30 20:22:54 +02:00

btor2tools

…

cadabra

sci-mathematics/cadabra: bump to 2.4.5.7

2024-04-23 00:31:27 +02:00

cadical

sci-mathematics/cadical: bump to 2.0.0

2024-06-28 00:42:21 +02:00

calc

…

cgal

sci-mathematics/cgal: add 6.0_beta1

2024-07-23 07:54:32 -05:00

cliquer

…

coq

sci-mathematics/coq: Stabilize 8.19.2 amd64, #940557

2024-09-30 22:34:31 +03:00

coq-mathcomp

…

coq-serapi

sci-mathematics/coq-serapi: bump to 0.20.0

2024-09-09 02:06:05 +02:00

cryptominisat

sci-mathematics/cryptominisat: enable python support

2024-06-13 01:40:24 +02:00

cubicle

sci-mathematics/cubicle: ignore TEXTRELS

2024-06-04 20:24:58 +02:00

cudd

…

cvc4

sci-mathematics/cvc4: fix build on musl

2024-09-22 10:19:13 +02:00

dataplot

…

diagrtb

…

dsfmt

…

dunshire

sci-mathematics/dunshire: remove pypi upstream metadata

2024-09-09 22:03:22 -04:00

easycrypt

sci-mathematics/easycrypt: drop old 2023.09

2024-07-02 16:50:22 +02:00

eclib

sci-mathematics/eclib: keyword 20240408 for ~riscv

2024-08-20 13:55:59 +00:00

ent

…

eprover

…

euler

*/*: inline mirror://sourceforge

2024-04-30 20:21:05 +02:00

fann

*/*: inline mirror://sourceforge

2024-04-30 20:21:05 +02:00

flint

sci-mathematics/flint: drop 3.0.1, 3.1.0

2024-08-03 09:48:41 -04:00

flocq

…

form

…

fricas

sci-mathematics/fricas: remove old versions

2024-09-23 12:48:40 +07:00

frobby

…

gap

sci-mathematics/gap,dev-gap/*: add ~riscv keywords

2024-08-29 10:03:24 -04:00

gappa

…

gappalib-coq

…

genius

…

geogebra-bin

…

geomview

*/*: inline mirror://sourceforge

2024-04-30 20:21:05 +02:00

gfan

sci-mathematics/gfan: fix startup crash, other improvements

2024-08-29 13:30:59 -04:00

giac

sci-mathematics/giac: remove unused patches

2024-09-20 18:35:34 +02:00

gimps

sci-mathematics/gimps: Stabilize 30.19.20 amd64, #938726

2024-08-31 05:50:47 +01:00

ginac

sci-mathematics/ginac: Stabilize 1.8.7-r3 amd64, #933044

2024-05-29 12:46:05 +01:00

glpk

*/*: unkeyword ~ia64

2024-09-12 21:37:40 +03:00

gmm

…

gmp-ecm

…

gp2c

…

gretl

*/*: inline mirror://sourceforge

2024-04-30 20:21:05 +02:00

gsl-shell

sci-mathematics/gsl-shell: remove unused patches

2024-08-26 01:53:37 +02:00

jags

sci-mathematics/jags: make sure elibtoolize is applied

2024-08-05 20:18:31 -04:00

kind2

…

kissat

…

lcalc

sci-mathematics/lcalc: keyword 2.0.5-r2 for ~riscv

2024-08-26 20:37:56 -04:00

lean

sci-mathematics/lean: bump to 4.11.0

2024-09-20 00:01:39 +02:00

libpoly

sci-mathematics/libpoly: enable py3.12

2024-07-31 11:23:07 +02:00

lpsolve

*/*: inline mirror://sourceforge

2024-04-30 20:21:05 +02:00

lrcalc

sci-mathematics/lrcalc: keyword 2.1 for ~riscv

2024-08-20 21:03:36 +00:00

mathematica

sci-mathematics/mathematica: add 14.0.0

2024-07-30 16:20:36 +02:00

mathlib-tools

sci-mathematics/mathlib-tools: enable py3.12

2024-07-31 11:23:07 +02:00

mathmod

sci-mathematics/mathmod: drop old

2024-08-26 01:53:41 +02:00

mathomatic

…

maxima

sci-mathematics/maxima: keyword 5.47.0-r1 for ~riscv

2024-09-01 16:50:13 -04:00

metamath

…

metamath-databases

…

minisat

…

msieve

*/*: inline mirror://sourceforge

2024-04-30 20:21:05 +02:00

nauty

sci-mathematics/nauty: reorder $S for pkgcheck

2024-07-14 18:41:49 -04:00

nestedsums

…

normaliz

…

num-utils

…

octave

sci-mathematics/octave: drop 9.2.0

2024-08-29 23:55:45 +02:00

octave-epstk

…

opensmt

…

otter

…

palp

sci-mathematics/palp: keyword 2.21 for ~riscv

2024-08-20 14:14:11 +00:00

pari

sci-mathematics/pari: keyword 2.15.5 for ~riscv

2024-08-19 12:47:28 +00:00

pari-data

sci-mathematics/pari-data: fix cosmetic pkgcheck warnings

2024-08-19 12:47:27 +00:00

petsc

sci-mathematics/petsc: remove outdated LTO workaround

2024-07-22 23:32:33 -04:00

picosat

…

planarity

sci-mathematics/planarity: fix remote-id in metadata.xml

2024-08-23 11:34:36 -04:00

plfit

…

polymake

sci-mathematics/polymake: add 4.12

2024-08-29 10:03:23 -04:00

primecount

sci-mathematics/primecount: keyword 7.13-r1 for ~riscv

2024-08-20 14:06:11 +00:00

primesieve

sci-mathematics/primesieve: keyword 12.3 for ~riscv

2024-08-20 14:05:40 +00:00

prng

…

prover9

…

proverif

sci-mathematics/proverif: use edo instead of edob

2024-05-24 00:08:07 +02:00

psmt2-frontend

…

pspp

sci-mathematics/pspp: enable py3.12

2024-07-31 11:23:08 +02:00

rkward

sci-mathematics/rkward: drop 0.7.5

2024-09-05 18:50:25 +02:00

rngstreams

…

rw

sci-mathematics/rw: drop IUSE=""

2024-09-20 23:28:29 -04:00

sha1-polyml

…

singular

sci-mathematics/singular: add 4.4.0_p2

2024-08-23 13:21:27 -04:00

slepc

sci-mathematics/slepc: add 3.21.1

2024-07-03 18:28:09 -05:00

smtinterpol

sci-mathematics/smtinterpol: drop 2.5_p20211018

2024-10-02 11:49:30 +02:00

spin

*/*: Reassign marecki's packages

2024-06-28 13:12:17 +02:00

stp

sci-mathematics/stp: build tweaks

2024-06-29 01:27:08 +02:00

sympow

sci-mathematics/sympow: drop IUSE="" and DEPEND=""

2024-09-20 23:29:18 -04:00

topcom

sci-mathematics/topcom: add 1.1.2

2024-05-15 17:42:09 -04:00

twelf

sci-mathematics/twelf: mark as LTO-unsafe

2024-09-09 21:04:12 -04:00

unuran

…

vampire

sci-mathematics/vampire: bump to 4.9

2024-09-30 20:22:53 +02:00

verifpal

…

verit

…

why3

…

why3-for-spark

…

wxmaxima

sci-mathematics/wxmaxima: call setup-wxwidgets from src_configure

2024-07-03 12:48:40 +07:00

yacas

…

yafu

*/*: inline mirror://sourceforge

2024-04-30 20:21:05 +02:00

yices2

…

z3

sci-mathematics/z3: Bump to 4.13.2

2024-09-28 09:42:07 +02:00

metadata.xml

…