Michael Orlitzky 6e937f4221 sci-mathematics/glpk: new revision with unconditional GMP support ...

This makes it go faster, and supersedes an internal representation, so
you might save some memory as well. There's no reason not to have it on;
a flag is begging minimalists to shoot themselves in the foot.

Signed-off-by: Michael Orlitzky <mjo@gentoo.org>

2026-09-27 18:11:51 -04:00

..

4ti2

sci-mathematics/4ti2: add 1.6.15

2026-09-27 18:07:40 -04: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

sci-mathematics/calc: add github upstream metadata

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

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

sci-mathematics/coq: bump to 9.2.0

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

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

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.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: new revision with unconditional GMP support

2026-09-27 18:11:51 -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

sci-mathematics/kissat: bump to 4.0.4

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

lcalc

…

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: Stabilize 5.1.0 x86, #982768

2026-09-19 11:59:45 +03:00

metadata.xml

…