Michał Górny 2488dcb0d7 sci-mathematics/z3: Bump to 5.3.1 ...

Signed-off-by: Michał Górny <mgorny@gentoo.org>

2026-10-16 05:18:56 +02:00

..

4ti2

sci-mathematics/4ti2: remove unused patches

2026-10-07 06:35:31 +02:00

abc

…

acl2

…

alectryon

sci-mathematics/alectryon: fix build deps

2026-08-29 16:44:52 +02:00

alt-ergo

…

arb

…

bertini

…

btor2tools

…

cadabra

sci-mathematics/cadabra: fix PYTHON_EXECUTABLE in Jupyter kernel

2026-08-27 22:57:16 +02:00

cadical

sci-mathematics/cadical: remove unused patch

2026-04-16 07:10:19 +02:00

calc

…

cgal

sci-mathematics/cgal: add 6.2, 9999

2026-09-15 16:36:41 +01:00

clipper2

sci-mathematics/clipper2: add 2.0.1

2026-09-15 16:36:41 +01:00

cliquer

…

coq

…

coq-mathcomp

…

coq-serapi

…

coq-stdlib

…

cryptominisat

sci-mathematics/cryptominisat: bump PYTHON_COMPAT to py3.14

2026-05-06 00:51:28 +02:00

cubicle

…

cudd

sci-mathematics/cudd: add dev-texlive/texlive-latexrecommended

2026-08-23 10:59:47 +02:00

cvc4

sci-mathematics/cvc4: enable py3.14

2026-05-11 09:55:36 +02:00

dataplot

…

dsfmt

sci-mathematics/dsfmt: add 2.2.5

2026-08-23 10:59:43 +02:00

dunshire

sci-mathematics/dunshire: support python-3.14

2026-05-12 09:29:20 -04:00

easycrypt

sci-mathematics/easycrypt: drop old 2026.03

2026-07-30 13:11:46 +02:00

eclib

…

ent

…

eprover

…

euler

…

fann

…

flint

sci-mathematics/flint: Stabilize 3.5.0 amd64, #976544

2026-06-02 00:46:15 -04:00

flocq

…

form

…

fricas

…

frobby

…

functions-matlab-colormaps

…

gap

sci-mathematics/gap: add 4.16.1, drop 4.16.0

2026-08-24 15:56:36 -04:00

gappa

…

gappalib-coq

…

genius

sci-mathematics/genius: add 1.0.29

2026-05-02 18:44:39 +02:00

geogebra-bin

…

geomview

…

gfan

sci-mathematics/gfan: add 0.8_beta1

2026-06-18 08:40:38 -04:00

giac

…

gimps

…

ginac

sci-mathematics/ginac: remove old version

2026-06-02 13:33:40 +07:00

glpk

sci-mathematics/glpk: fix maintainer mode QA warning

2026-09-28 20:06:48 -04:00

gmm

…

gmp-ecm

…

gp2c

…

gretl

…

gsl-shell

…

highs

sci-mathematics/highs: stabilize 1.14.0-r3 for amd64

2026-07-11 14:22:38 -04:00

jags

…

kind2

…

kissat

…

lcalc

sci-mathematics/lcalc: add 2.2.2

2026-10-03 19:20:20 -04:00

lean

sci-mathematics/lean: drop old 4.23.0

2026-07-04 15:45:59 +02:00

libpoly

…

lpsolve

sci-mathematics/lpsolve: prevent direct toolchain calls, respect LDFLAGS

2026-05-30 10:40:36 +01:00

lrcalc

…

manifold

sci-mathematics/manifold: add 3.5.2, 9999

2026-09-15 16:36:42 +01:00

mathematica

sci-mathematics/mathematica: add 15.0.1

2026-09-10 00:14:04 +01:00

mathmod

sci-mathematics/mathmod: fix comparison for clang

2026-09-16 01:25:57 +01:00

mathomatic

…

maxima

sci-mathematics/maxima: remove old version

2026-08-20 12:29:30 +07:00

metamath

…

metamath-databases

…

minisat

…

msieve

…

nauty

sci-mathematics/nauty: add 2.9.3

2026-08-15 20:55:19 -04:00

nestedsums

…

normaliz

…

num-utils

…

octave

sci-mathematics/octave: Switch to qt-utils.eclass

2026-07-12 10:25:11 +02:00

octave-epstk

…

opensmt

…

otter

…

palp

…

pari

sci-mathematics/pari: add 2.17.4, drop 2.17.2

2026-09-27 14:46:53 -04:00

pari-data

…

petsc

sci-mathematics/petsc: enable py3.14

2026-06-07 13:44:33 +02:00

picosat

…

planarity

sci-mathematics/planarity: updated tarball has fixed shebang

2026-06-24 23:26:19 -04:00

plfit

…

polymake

sci-mathematics/polymake: drop 4.13, 4.14

2026-08-20 17:58:01 -04:00

primecount

sci-mathematics/primecount: drop 7.13-r1

2026-05-09 19:06:39 -04:00

primesieve

…

prng

…

prover9

…

proverif

…

psmt2-frontend

…

pspp

…

rkward

sci-mathematics/rkward: remove unused patch(es)

2026-05-03 16:37:42 +02:00

rngstreams

…

rw

sci-mathematics/rw: add 0.10

2026-08-12 20:34:07 -04:00

sha1-polyml

…

singular

sci-mathematics/singular: drop 4.4.1

2026-06-21 23:33:10 -04:00

slepc

sci-mathematics/slepc: enable py3.14

2026-06-07 13:51:37 +02:00

smtinterpol

…

spin

…

stp

*/*: retire proxied maintainer

2026-06-15 10:42:15 +03:00

sympow

…

topcom

…

twelf

…

unuran

sci-mathematics/unuran: add 1.12.0

2026-09-06 13:05:50 +02:00

vampire

sci-mathematics/vampire: drop 5.0.0

2026-07-07 13:37:41 +02:00

verifpal

…

verit

…

why3

…

why3-for-spark

…

wxmaxima

sci-mathematics/wxmaxima: bump to 26.06.2

2026-07-02 15:37:42 +07:00

yacas

sci-mathematics/yacas: drop 1.9.1-r2

2026-06-16 22:25:29 +02:00

yafu

…

yices2

sci-mathematics/yices2: add 2.7.0

2026-07-01 00:10:34 +02:00

z3

sci-mathematics/z3: Bump to 5.3.1

2026-10-16 05:18:56 +02:00

metadata.xml

…