Sam James 865cb01cba sci-mathematics/polymake: Stabilize 4.15 amd64, #966557 ...

Signed-off-by: Sam James <sam@gentoo.org>

2025-11-26 06:10:22 +00:00

..

4ti2

…

abc

…

acl2

…

alectryon

…

alt-ergo

…

arb

…

bertini

…

btor2tools

…

cadabra

…

cadical

…

calc

…

cgal

…

clipper2

…

cliquer

…

coq

…

coq-mathcomp

…

coq-serapi

…

coq-stdlib

…

cryptominisat

…

cubicle

…

cudd

…

cvc4

…

dataplot

…

dsfmt

…

dunshire

…

easycrypt

…

eclib

…

ent

…

eprover

sci-mathematics/eprover: bump to 3.2.5

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

euler

…

fann

…

flint

…

flocq

…

form

…

fricas

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

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

frobby

…

functions-matlab-colormaps

…

gap

…

gappa

…

gappalib-coq

…

genius

…

geogebra-bin

…

geomview

…

gfan

…

giac

…

gimps

…

ginac

…

glpk

…

gmm

…

gmp-ecm

…

gp2c

…

gretl

…

gsl-shell

…

jags

…

kind2

…

kissat

…

lcalc

…

lean

…

libpoly

…

lpsolve

…

lrcalc

…

manifold

…

mathematica

…

mathmod

…

mathomatic

…

maxima

…

metamath

…

metamath-databases

…

minisat

…

msieve

…

nauty

…

nestedsums

…

normaliz

…

num-utils

…

octave

…

octave-epstk

…

opensmt

sci-mathematics/opensmt: bump to 2.9.2

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

otter

…

palp

…

pari

…

pari-data

…

petsc

…

picosat

…

planarity

…

plfit

…

polymake

sci-mathematics/polymake: Stabilize 4.15 amd64, #966557

2025-11-26 06:10:22 +00:00

primecount

…

primesieve

…

prng

…

prover9

…

proverif

…

psmt2-frontend

…

pspp

…

rkward

…

rngstreams

…

rw

…

sha1-polyml

…

singular

…

slepc

…

smtinterpol

…

spin

…

stp

…

sympow

…

topcom

…

twelf

…

unuran

…

vampire

…

verifpal

…

verit

…

why3

…

why3-for-spark

…

wxmaxima

…

yacas

…

yafu

…

yices2

sci-mathematics/yices2: drop old 2.6.4-r1

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

z3

…

metadata.xml

…