gentoo

4ti2

*/*: drop *-linux keywords

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

abc

…

acl2

…

alectryon

sci-mathematics/alectryon: Remove py3.11

2025-12-21 19:35:19 +01:00

alt-ergo

sci-mathematics/alt-ergo: >=dev-lang/ocaml-4.09 outdate

2025-09-25 08:03:22 +02:00

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: drop 2.4.5.7

2026-02-16 20:24:35 +01:00

cadical

…

calc

*/*: drop *-linux keywords

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

cgal

*/*: drop *-linux keywords

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

clipper2

…

cliquer

…

coq

sci-mathematics/coq: bump to 9.1.1

2026-02-17 23:08:15 +01: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-*/*: update for virtual/zlib

2025-11-04 09:17:06 +01:00

cubicle

sci-mathematics/cubicle: dev-lang/ocaml min is 4.11

2025-10-08 19:17:53 +02:00

cudd

…

cvc4

sci-mathematics/cvc4: Update CMake-4 fix, drop Gentoo build type

2025-11-10 10:04:40 +01: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

…

easycrypt

sci-mathematics/easycrypt: bump to 2025.11

2025-11-16 21:30:57 +01: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

sci-mathematics/eprover: bump to 3.2.5

2025-11-22 01:27:18 +01:00

euler

*/*: drop *-linux keywords

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

fann

…

flint

…

flocq

…

form

*/*: Add := to virtual/zlib deps

2025-11-04 10:45:41 +01:00

fricas

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

2025-11-25 21:47:25 +01:00

frobby

…

functions-matlab-colormaps

…

gap

*/*: Add := to virtual/zlib deps, part 1

2025-11-04 10:36:27 +01:00

gappa

…

gappalib-coq

…

genius

…

geogebra-bin

sci-mathematics/geogebra-bin: add missing dependencies

2025-10-31 04:41:27 +00:00

geomview

*/*: Add := to virtual/zlib deps

2025-11-04 10:45:41 +01:00

gfan

sci-mathematics/gfan: fix build against libcxx

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

giac

…

gimps

…

ginac

sci-mathematics/ginac: bump to 1.8.10

2026-02-21 18:27:27 +07:00

glpk

sci-mathematics/glpk: disable ODBC support

2026-02-17 08:47:23 -05: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: add 1.13.1, drop 1.13.0

2026-02-13 08:36:55 -05:00

jags

*/*: drop *-linux keywords

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

kind2

…

kissat

…

lcalc

sci-mathematics/lcalc: drop 2.0.5-r2

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

lean

sci-mathematics/lean: increase ulimit for version 4.14.0

2025-10-14 21:43:17 +02:00

libpoly

…

lpsolve

*/*: drop *-linux keywords

2025-12-19 10:51:55 +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: drop old (EAPI-7 based) versions

2026-02-21 17:39:59 +01: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

*/*: drop *-linux keywords

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

metamath

…

metamath-databases

…

minisat

sci-*/*: update for virtual/zlib

2025-11-04 09:17:06 +01:00

msieve

*/*: Add := to virtual/zlib deps

2025-11-04 10:45:41 +01:00

nauty

*/*: Add := to virtual/zlib deps, part 1

2025-11-04 10:36:27 +01:00

nestedsums

…

normaliz

*/*: drop *-linux keywords

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

num-utils

…

octave

*/*: qmake-utils.eclass consumers: Make use of qt6_get_libexecdir

2026-01-26 23:03:01 +00:00

octave-epstk

…

opensmt

sci-mathematics/opensmt: bump to 2.9.2

2025-11-22 01:27:19 +01:00

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

…

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: add 8.0

2025-12-26 08:08:05 -05: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

*/*: drop *-linux keywords

2025-12-19 10:51:55 +01: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

…

smtinterpol

…

spin

…

stp

sci-*/*: update for virtual/zlib

2025-11-04 09:17:06 +01:00

sympow

…

topcom

…

twelf

…

unuran

*/*: drop *-linux keywords

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

vampire

sci-mathematics/vampire: bump to 5.0.0

2026-01-17 18:55:08 +01:00

verifpal

…

verit

…

why3

sci-mathematics/why3: dev-lang/ocaml dep redundant

2025-10-08 19:20:42 +02:00

why3-for-spark

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

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

wxmaxima

sci-mathematics/wxmaxima: bump to 26.01.0

2026-01-31 17:50:58 +07:00

yacas

…

yafu

…

yices2

sci-mathematics/yices2: drop old 2.6.4-r1

2025-11-22 01:27:19 +01:00

z3

sci-mathematics/z3: Bump to 4.16.0

2026-02-20 15:07:37 +01:00

metadata.xml

…