Eli Schwartz bf5a58c8a3 sci-mathematics/cadabra: Stabilize 2.5.14_p1-r1 amd64, #940556 ...

Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>

2026-06-03 02:10:23 -04:00

..

4ti2

*/*: drop *-linux keywords

2025-12-19 10:51:55 +01:00

abc

…

acl2

…

alectryon

sci-mathematics/alectryon: drop old 1.4.0-r2

2026-04-18 17:05:32 +02:00

alt-ergo

…

arb

*/*: drop *-linux keywords

2025-12-19 10:51:55 +01:00

bertini

sci-mathematics/bertini: drop 1.4

2026-02-22 16:56:48 +01:00

btor2tools

…

cadabra

sci-mathematics/cadabra: Stabilize 2.5.14_p1-r1 amd64, #940556

2026-06-03 02:10:23 -04:00

cadical

sci-mathematics/cadical: remove unused patch

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

calc

sci-mathematics/calc: add github upstream metadata

2026-04-13 09:23:07 +01:00

cgal

sci-mathematics/cgal: add := to dev-cpp/eigen

2026-05-29 07:14:26 +01:00

clipper2

…

cliquer

…

coq

sci-mathematics/coq: bump to 9.2.0

2026-03-31 21:52:34 +02:00

coq-mathcomp

…

coq-serapi

…

coq-stdlib

sci-mathematics/coq-stdlib: bump to 9.1.0

2026-02-17 23:08:15 +01:00

cryptominisat

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

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

cubicle

…

cudd

sci-mathematics/cudd: add bdeps on doxygen and graphviz

2026-05-04 00:14:06 +02:00

cvc4

sci-mathematics/cvc4: enable py3.14

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

dataplot

*/*: drop *-linux keywords

2025-12-19 10:51:55 +01:00

dsfmt

*/*: drop *-linux keywords

2025-12-19 10:51:55 +01:00

dunshire

sci-mathematics/dunshire: support python-3.14

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

easycrypt

sci-mathematics/easycrypt: drop old 2025.11

2026-05-03 00:40:23 +02:00

eclib

sci-mathematics/eclib: drop 20250122

2026-01-20 08:21:42 -05:00

ent

*/*: drop *-linux keywords

2025-12-19 10:51:55 +01:00

eprover

…

euler

*/*: drop *-linux keywords

2025-12-19 10:51:55 +01:00

fann

…

flint

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

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

flocq

…

form

sci-mathematics/form: bump to 5.0.0

2026-03-07 23:15:15 +07:00

fricas

sci-mathematics/fricas: bump to 1.3.13

2026-03-06 19:07:25 +07:00

frobby

…

functions-matlab-colormaps

…

gap

sci-mathematics/gap: add 4.16.0_beta2, drop 4.16.0_beta1

2026-05-26 21:52:50 -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: fix build against libcxx

2026-01-17 11:55:44 -05:00

giac

…

gimps

…

ginac

sci-mathematics/ginac: remove old version

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

glpk

sci-mathematics/glpk: Stabilize 5.0-r4 ppc64, #973015

2026-04-21 08:18:19 -04:00

gmm

*/*: drop *-linux keywords

2025-12-19 10:51:55 +01:00

gmp-ecm

*: remove ppc-macos keyword

2025-12-17 16:10:39 +01:00

gp2c

…

gretl

*/*: drop *-linux keywords

2025-12-19 10:51:55 +01:00

gsl-shell

…

highs

sci-mathematics/highs: fix amd and metis unbundling patches

2026-05-20 09:42:22 -04:00

jags

*/*: drop *-linux keywords

2025-12-19 10:51:55 +01:00

kind2

…

kissat

sci-mathematics/kissat: bump to 4.0.4

2026-04-15 20:29:17 +02:00

lcalc

sci-mathematics/lcalc: drop 2.0.5-r2

2026-02-28 11:09:12 -05:00

lean

sci-mathematics/lean: Stabilize 4.24.0 amd64, #976538

2026-06-02 00:40:53 -04:00

libpoly

…

lpsolve

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

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

lrcalc

*: remove ppc-macos keyword

2025-12-17 16:10:39 +01:00

manifold

sci-mathematics/manifold: Stabilize 3.2.1 amd64, #968817

2026-01-16 09:18:24 -05:00

mathematica

sci-mathematics/mathematica: update EAPI 7 -> 8

2026-05-11 14:02:20 +02:00

mathmod

sci-mathematics/mathmod: fix gcc-16/gnu++20

2025-12-15 16:23:17 +00:00

mathomatic

*/*: drop *-linux keywords

2025-12-19 10:51:55 +01:00

maxima

sci-mathematics/maxima: fix info building for the de locale

2026-05-04 12:12:41 +07:00

metamath

…

metamath-databases

…

minisat

…

msieve

…

nauty

…

nestedsums

…

normaliz

*/*: drop *-linux keywords

2025-12-19 10:51:55 +01:00

num-utils

…

octave

sci-mathematics/octave: update HOMEPAGE & LICENSE

2026-05-26 17:55:43 -04:00

octave-epstk

…

opensmt

…

otter

*/*: drop *-linux keywords

2025-12-19 10:51:55 +01:00

palp

…

pari

sci-mathematics/pari: mark as LTO-unsafe

2026-01-02 15:32:45 -05:00

pari-data

*/*: drop *-linux keywords

2025-12-19 10:51:55 +01:00

petsc

sci-mathematics/petsc: add 3.25.1

2026-05-26 21:21:21 -05:00

picosat

…

planarity

…

plfit

sci-mathematics/plfit: drop 0.9.5

2026-01-20 08:20:47 -05:00

polymake

*/*: drop *-linux keywords

2025-12-19 10:51:55 +01:00

primecount

sci-mathematics/primecount: drop 7.13-r1

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

primesieve

…

prng

*/*: drop *-linux keywords

2025-12-19 10:51:55 +01:00

prover9

…

proverif

…

psmt2-frontend

…

pspp

*/*: drop *-linux keywords

2025-12-19 10:51:55 +01:00

rkward

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

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

rngstreams

*/*: drop *-linux keywords

2025-12-19 10:51:55 +01:00

rw

*/*: drop *-linux keywords

2025-12-19 10:51:55 +01:00

sha1-polyml

…

singular

*/*: drop *-linux keywords

2025-12-19 10:51:55 +01:00

slepc

sci-mathematics/slepc: add 3.25.1

2026-05-26 21:21:27 -05:00

smtinterpol

…

spin

…

stp

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

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

sympow

…

topcom

…

twelf

…

unuran

*/*: drop *-linux keywords

2025-12-19 10:51:55 +01:00

vampire

sci-mathematics/vampire: bump to 5.0.1

2026-04-15 20:29:18 +02:00

verifpal

…

verit

…

why3

…

why3-for-spark

sci-mathematics/why3-for-spark: drop 2021-r1

2026-02-20 13:02:17 +01:00

wxmaxima

sci-mathematics/wxmaxima: remove old revision

2026-05-04 19:21:30 +07:00

yacas

sci-mathematics/yacas: Port away from net-libs/zmqpp, fix CMake warnings

2026-05-18 18:45:26 +02:00

yafu

…

yices2

…

z3

sci-mathematics/z3: Remove old

2026-04-05 08:55:45 +02:00

metadata.xml

…