gentoo

4ti2

sci-mathematics/4ti2: Stabilize 1.6.10 amd64, #951095

2025-03-10 22:42:43 +00:00

abc

…

acl2

sci-mathematics/acl2: drop old 8.5-r2

2025-03-01 14:16:47 +01:00

alectryon

sci-mathematics/alectryon: Remove py3.10 (per sphinx-8.2)

2025-02-20 11:20:31 +01:00

alt-ergo

sci-mathematics/alt-ergo: keyword 2.4.3-r2 for ~arm64

2025-02-15 13:31:43 +01:00

arb

…

bertini

…

boolector

sci-mathematics/boolector: bump cmake_minimum_required

2025-04-18 17:24:12 +02:00

btor2tools

sci-mathematics/btor2tools: bump cmake_minimum_required

2025-03-20 23:02:51 +01:00

cadabra

…

cadical

sci-mathematics/cadical: Stabilize 2.0.0 amd64, #949943

2025-02-19 09:32:19 +02:00

calc

…

cgal

sci-mathematics/cgal: Stabilize 6.0.1 amd64, #951099

2025-03-10 22:42:48 +00:00

clipper2

sci-mathematics/clipper2: Keyword 1.5.2 x86, #955276

2025-05-10 08:45:48 +03:00

cliquer

…

coq

sci-mathematics/coq: fix export in src_configure

2025-03-28 21:42:16 +01:00

coq-mathcomp

sci-mathematics/coq-mathcomp: add coq max version pin

2025-03-16 22:11:50 +01:00

coq-serapi

…

coq-stdlib

sci-mathematics/coq-stdlib: Keyword 9.0.0 arm64, #951475

2025-03-16 22:40:22 +00:00

cryptominisat

sci-mathematics/cryptominisat: replace tomli dep with tomllib built-in

2025-05-02 17:44:02 +02:00

cubicle

…

cudd

…

cvc4

sci-mathematics/cvc4: cmake now requires 3.5

2025-04-11 20:29:45 +02:00

dataplot

…

diagrtb

…

dsfmt

…

dunshire

sci-mathematics/dunshire: keyword ~riscv, enable py3.13

2025-03-29 21:59:02 -04:00

easycrypt

sci-mathematics/easycrypt: bump to 2025.02

2025-02-16 23:35:17 +01:00

eclib

sci-mathematics/eclib: drop 20231212, 20240408

2025-04-18 19:21:59 -04:00

ent

…

eprover

…

euler

…

fann

sci-mathematics/fann: update EAPI 7 -> 8, other fixes

2025-04-12 21:54:20 +01:00

flint

sci-mathematics/flint: drop 3.1.3_p1-r1

2025-04-19 16:02:30 -04:00

flocq

sci-mathematics/flocq: drop old 4.1.1

2025-03-24 01:15:10 +01:00

form

sci-mathematics/form: Drop header line from Emacs site-init file

2025-04-23 20:36:12 +02:00

fricas

…

frobby

…

gap

sci-mathematics/gap: drop 4.13.1, 4.13.1-r2

2025-04-28 10:20:23 -04:00

gappa

…

gappalib-coq

…

genius

…

geogebra-bin

…

geomview

sci-mathematics/geomview: Drop header line from Emacs site-init file

2025-04-23 20:36:12 +02:00

gfan

sci-mathematics/gfan: gcc-15 buildfix revision

2025-05-01 21:49:11 -04:00

giac

sci-mathematics/giac: drop 1.9.0.29-r2

2025-01-16 09:18:34 -05:00

gimps

…

ginac

sci-mathematics/ginac: remove old version

2025-05-16 11:40:40 +07:00

glpk

sci-mathematics/glpk: drop 5.0-r1

2025-01-16 09:18:33 -05:00

gmm

…

gmp-ecm

sci-mathematics/gmp-ecm: drop 7.0.5-r1, 7.0.6

2025-04-19 16:03:27 -04:00

gp2c

…

gretl

sci-mathematics/gretl: Drop header line from Emacs site-init file

2025-04-23 20:36:13 +02:00

gsl-shell

…

jags

…

kind2

…

kissat

…

lcalc

sci-mathematics/lcalc: try elibtoolize to fix bug 953363

2025-04-18 00:15:52 -04:00

lean

sci-mathematics/lean: remove unused patches

2025-02-23 23:16:49 +01:00

libpoly

…

lpsolve

…

lrcalc

…

manifold

sci-mathematics/manifold: Keyword 3.0.2_pre20250330 x86, #955276

2025-05-10 08:45:49 +03:00

mathematica

…

mathmod

sci-mathematics/mathmod: drop 11.1

2025-04-02 20:43:39 +02:00

mathomatic

…

maxima

sci-mathematics/maxima: add python3_13

2025-05-15 13:36:40 +07:00

metamath

…

metamath-databases

…

minisat

sci-mathematics/minisat: bump cmake_minimum_required

2025-03-24 01:15:10 +01:00

msieve

sci-mathematics/msieve: Port to C23

2025-04-12 21:57:20 +01:00

nauty

…

nestedsums

…

normaliz

…

num-utils

…

octave

sci-mathematics/octave: drop 8.3.0-r2

2025-01-25 14:23:34 +01:00

octave-epstk

…

opensmt

sci-mathematics/opensmt: bump cmake_minimum_required

2025-05-05 22:09:23 +02:00

otter

…

palp

…

pari

sci-mathematics/pari: Stabilize 2.17.1 ppc64, #949165

2025-02-01 13:35:32 +02:00

pari-data

…

petsc

sci-mathematics/petsc: Remove old

2025-05-01 13:36:06 +02:00

picosat

…

planarity

sci-mathematics/planarity: add 4.0.0.0

2025-03-27 07:49:41 -04:00

plfit

…

polymake

sci-mathematics/polymake: trivial build fix for newer compilers

2025-04-18 12:30:49 -04:00

primecount

sci-mathematics/primecount: drop 7.6

2025-04-28 20:23:17 -04:00

primesieve

sci-mathematics/primesieve: Stabilize 12.3 arm64, #955736

2025-05-10 15:14:25 +03:00

prng

…

prover9

sci-mathematics/prover9: Port to C99, fix parallel build.

2025-02-23 23:23:16 +01:00

proverif

…

psmt2-frontend

sci-mathematics/psmt2-frontend: keyword 0.4.0 for ~arm64

2025-02-15 13:31:33 +01:00

pspp

sci-mathematics/pspp: add 2.0.1

2025-04-29 20:14:15 +01:00

rkward

sci-mathematics/rkward: drop 0.8.0

2025-04-24 23:52:44 +02:00

rngstreams

…

rw

…

sha1-polyml

…

singular

sci-mathematics/singular: add 4.4.1

2025-05-01 21:23:44 -04:00

slepc

sci-mathematics/slepc: Remove old

2025-05-01 13:36:05 +02:00

smtinterpol

…

spin

…

stp

…

sympow

…

topcom

…

twelf

sci-mathematics/twelf: Drop header line from Emacs site-init file

2025-04-23 20:36:14 +02:00

unuran

…

vampire

…

verifpal

…

verit

…

why3

sci-mathematics/why3: fix with ocaml-5

2025-04-09 21:58:05 +02:00

why3-for-spark

sci-mathematics/why3-for-spark: fix for c23

2025-04-12 09:15:38 +02:00

wxmaxima

sci-mathematics/wxmaxima: remove old version

2025-04-29 18:30:40 +07:00

yacas

sci-mathematics/yacas: drop 1.9.1-r1

2025-01-23 00:14:36 +01:00

yafu

sci-mathematics/yafu: update EAPI 7 -> 8, fix build failure

2025-02-24 21:26:09 +00:00

yices2

…

z3

sci-mathematics/z3: Bump to 4.15.0

2025-05-10 09:41:46 +02:00

metadata.xml

…