gentoo

4ti2

…

abc

…

acl2

sci-mathematics/acl2: bump to 8.6

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

alectryon

…

alt-ergo

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

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

arb

…

bertini

…

btor2tools

…

cadabra

…

cadical

sci-mathematics/cadical: update HOMEPAGE for https

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

calc

…

cgal

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

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

clipper2

sci-mathematics/clipper2: Stabilize 1.5.4 amd64, #963258

2025-09-24 02:15:05 +01:00

cliquer

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

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

coq

sci-mathematics/coq: Stabilize 9.1.0-r1 amd64, #965809

2025-11-07 23:36:17 +02:00

coq-mathcomp

…

coq-serapi

…

coq-stdlib

sci-mathematics/coq-stdlib: Stabilize 9.0.0-r1 amd64, #965809

2025-11-07 23:36:18 +02: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

…

dsfmt

…

dunshire

…

easycrypt

sci-mathematics/easycrypt: bump to 2025.11

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

…

form

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

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

*/*: 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

…

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

*/*: Unify virtual/zlib:0= to virtual/zlib:=

2025-11-04 10:47:05 +01:00

gmm

Revert "sci-mathematics/gmm: add 5.4.2-r1 with improvements"

2025-10-01 01:37:39 +01:00

gmp-ecm

…

gp2c

sci-mathematics/gp2c: add 0.0.14

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

gretl

…

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: increase ulimit for version 4.14.0

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

libpoly

…

lpsolve

…

lrcalc

…

manifold

sci-mathematics/manifold: drop 3.0.2_pre20250330 3.0.1

2025-11-12 09:48:32 +00:00

mathematica

sci-mathematics/mathematica: fix 938179, fix 960526

2025-10-28 23:30:13 +01:00

mathmod

sci-mathematics/mathmod: drop 12.0

2025-11-04 11:04:57 +00:00

mathomatic

…

maxima

sci-mathematics/maxima: add USE flag gmp

2025-11-03 22:28:35 +07: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

sci-mathematics/normaliz: add 3.10.5

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

num-utils

…

octave

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

2025-11-04 10:36:27 +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

sci-mathematics/plfit: add 1.0.1

2025-10-21 21:27:52 -04:00

polymake

sci-mathematics/polymake: add 4.14

2025-07-23 17:45:07 -04:00

primecount

…

primesieve

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

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

prng

sci-mathematics/prng: fix -lm patch, EAPI 8

2025-09-14 08:33:00 +01:00

prover9

…

proverif

…

psmt2-frontend

…

pspp

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

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

rkward

sci-mathematics/rkward: drop 0.8.1

2025-10-30 14:48:12 +01: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

sci-*/*: update for virtual/zlib

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

sympow

…

topcom

…

twelf

…

unuran

…

vampire

…

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: dev-lang/ocaml dep redundant

2025-10-08 19:23:35 +02:00

wxmaxima

sci-mathematics/wxmaxima: remove old versions

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

yacas

…

yafu

Move {llvm-core → llvm-runtimes}/clang-runtime

2025-09-02 16:32:22 +02:00

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.4

2025-10-30 07:56:48 +01:00

metadata.xml

…