gentoo

4ti2

…

abc

…

acl2

sci-mathematics/acl2: bump to 8.6

2025-07-02 02:12:02 +02:00

alectryon

…

alt-ergo

…

arb

…

bertini

…

btor2tools

sci-mathematics/btor2tools: bump cmake_minimum_required

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

cadabra

…

cadical

sci-mathematics/cadical: update HOMEPAGE for https

2025-08-08 17:25:58 -04:00

calc

…

cgal

…

clipper2

sci-mathematics/clipper2: drop 1.5.2 1.4.0

2025-08-01 09:22:56 +01:00

cliquer

sci-mathematics/cliquer: add 1.23, EAPI to 8

2025-08-09 14:47:42 -04:00

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

sci-mathematics/cubicle: use command -v

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

cudd

…

cvc4

sci-mathematics/cvc4: fix cmake build type

2025-06-05 11:18:49 +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.08

2025-08-09 19:14:25 +02:00

eclib

sci-mathematics/eclib: bump to version 20250627

2025-07-30 21:17:20 -04:00

ent

…

eprover

…

euler

…

fann

sci-mathematics/fann: drop 2.2.0-r1

2025-05-20 21:12:22 +02:00

flint

sci-mathematics/flint: Update HOMEPAGE

2025-08-04 09:19:29 +02: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

sci-mathematics/fricas: keyword 1.3.12 for ~riscv

2025-08-11 10:32:26 -04:00

frobby

…

functions-matlab-colormaps

sci-mathematics/functions-matlab-colormaps: new package, add 1.0_p20250328

2025-06-20 18:20:49 +02:00

gap

sci-mathematics/gap: fix C23 issues

2025-07-18 20:08:14 -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 myself as a maintainer

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

gimps

…

ginac

sci-mathematics/ginac: remove old version

2025-06-28 12:48:24 +07:00

glpk

…

gmm

…

gmp-ecm

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

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

gp2c

sci-mathematics/gp2c: add 0.0.14

2025-08-08 08:25:31 -04:00

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

sci-mathematics/kissat: do not install static libs

2025-08-01 19:14:18 +02:00

lcalc

sci-mathematics/lcalc: add 2.1.1, drop 2.1.0-r1

2025-05-28 11:40:11 -04:00

lean

sci-mathematics/lean: drop old 4.11.0

2025-06-06 23:18:53 +02:00

libpoly

…

lpsolve

…

lrcalc

…

manifold

sci-mathematics/manifold: crank subslot for broken ABI

2025-07-22 20:41:07 +01:00

mathematica

sci-mathematics/mathematica: update qtwayland compositor USEdep

2025-06-07 08:01:15 -04:00

mathmod

sci-mathematics/mathmod: add 12.1

2025-06-26 20:54:33 +01:00

mathomatic

…

maxima

sci-mathematics/maxima: remove old version

2025-08-06 16:20:59 +03:00

metamath

…

metamath-databases

…

minisat

sci-mathematics/minisat: bump cmake_minimum_required

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

msieve

sci-mathematics/msieve: add missing gmp dep

2025-08-07 12:41:31 -04:00

nauty

…

nestedsums

…

normaliz

sci-mathematics/normaliz: add 3.10.5

2025-07-07 15:12:26 -04:00

num-utils

…

octave

sci-mathematics/octave: revbump for qscintilla USE dep change

2025-05-28 08:53:36 +01:00

octave-epstk

…

opensmt

sci-mathematics/opensmt: bump to 2.7.0

2025-06-06 23:18:53 +02:00

otter

…

palp

…

pari

sci-mathematics/pari: add 2.17.2

2025-08-08 08:25:30 -04:00

pari-data

…

petsc

sci-mathematics/petsc: use correct tc-getFC function

2025-08-09 12:12:45 -05:00

picosat

…

planarity

sci-mathematics/planarity: Stabilize 4.0.0.0 amd64, #958867

2025-06-22 22:56:32 +03:00

plfit

…

polymake

sci-mathematics/polymake: add 4.14

2025-07-23 17:45:07 -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

…

proverif

…

psmt2-frontend

…

pspp

sci-mathematics/pspp: add dev-libs/libxml2 subslot op for incoming ABI break

2025-06-09 04:11:26 +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: ensure compatibility with flint 3.3.1

2025-07-31 10:06:59 -04:00

slepc

sci-mathematics/slepc: add 3.23.1

2025-06-28 16:51:31 -05: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: bump to 1.8.1

2025-07-09 23:48:01 +02:00

why3-for-spark

sci-mathematics/why3-for-spark: Fix maintainer

2025-06-25 13:39:52 -04:00

wxmaxima

sci-mathematics/wxmaxima: remove old versions

2025-06-28 15:32:15 +07:00

yacas

…

yafu

…

yices2

sci-mathematics/yices2: bump to 2.6.5

2025-06-06 23:18:53 +02:00

z3

sci-mathematics/z3: Bump to 4.15.3

2025-08-17 05:17:18 +02:00

metadata.xml

…