Maciej Barć 3b14bd4d4a sci-mathematics/acl2: drop old 8.5-r2 ...

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

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

..

4ti2

sci-mathematics/4ti2: add 1.6.10

2025-02-08 02:07:13 +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

…

btor2tools

…

cadabra

Rename dev-python/{gmpy → gmpy2}

2024-11-11 05:21:33 +01:00

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 amd64, #945551

2024-12-05 21:16:19 +00:00

clipper2

sci-mathematics/clipper2: Stabilize 1.4.0 amd64, #946112

2025-01-03 22:26:00 +00:00

cliquer

…

coq

sci-mathematics/coq: add ~arm64

2025-02-08 22:51:36 +01:00

coq-mathcomp

…

coq-serapi

sci-mathematics/coq-serapi: drop old 0.19.0

2024-11-19 20:52:08 +01:00

cryptominisat

…

cubicle

…

cudd

…

cvc4

sci-mathematics/cvc4: dekeyword x86

2024-10-17 18:32:12 +03:00

dataplot

…

diagrtb

…

dsfmt

…

dunshire

…

easycrypt

sci-mathematics/easycrypt: bump to 2025.02

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

eclib

sci-mathematics/eclib: add 20250122, drop 20241112

2025-01-31 21:19:20 +00:00

ent

…

eprover

…

euler

…

fann

…

flint

sci-mathematics/flint: pass --disable-assembly to ./configure

2024-12-18 18:49:03 -05:00

flocq

sci-mathematics/flocq: bump to 4.2.1

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

form

…

fricas

…

frobby

…

gap

sci-mathematics/gap: backport another upstream patch

2024-11-24 09:33:56 -05:00

gappa

…

gappalib-coq

…

genius

…

geogebra-bin

sci-mathematics/geogebra-bin: drop to maintainer-needed

2024-12-23 07:04:00 +01:00

geomview

…

gfan

sci-mathematics/gfan: remove unused patch

2025-01-19 00:48:57 +01:00

giac

sci-mathematics/giac: drop 1.9.0.29-r2

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

gimps

…

ginac

…

glpk

sci-mathematics/glpk: drop 5.0-r1

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

gmm

sci-mathematics/gmm: Stabilize 5.4.2 amd64, #942176

2024-10-25 23:08:55 +01:00

gmp-ecm

sci-mathematics/gmp-ecm: use pre-autoconf'd tarball

2025-01-14 13:10:49 -05:00

gp2c

…

gretl

…

gsl-shell

…

jags

sci-mathematics/jags: drop 4.3.0

2024-11-15 23:23:29 +01:00

kind2

…

kissat

…

lcalc

sci-mathematics/lcalc: add 2.1.0

2025-01-10 10:25:51 -05:00

lean

sci-mathematics/lean: remove unused patches

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

libpoly

…

lpsolve

…

lrcalc

…

manifold

sci-mathematics/manifold: Stabilize 3.0.1 amd64, #949659

2025-02-12 21:25:02 +02:00

mathematica

sci-mathematics/mathematica: "fix" sandbox violation

2024-11-13 16:49:11 +01:00

mathmod

…

mathomatic

…

maxima

…

metamath

…

metamath-databases

…

minisat

…

msieve

…

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

…

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: add 3.22.2

2024-12-11 22:55:10 -06:00

picosat

…

planarity

…

plfit

sci-mathematics/plfit: drop 0.9.3

2024-12-09 11:51:48 -05:00

polymake

sci-mathematics/polymake: add 4.13, drop 4.12

2024-11-23 09:06:13 -05:00

primecount

…

primesieve

sci-mathematics/primesieve: keyword 12.3 for ~loong

2025-01-06 15:06:22 +08: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

…

rkward

…

rngstreams

…

rw

…

sha1-polyml

…

singular

sci-mathematics/singular: drop 4.3.2_p16-r1

2025-01-14 16:04:34 -05:00

slepc

sci-mathematics/slepc: add 3.22.1

2024-12-11 22:55:10 -06:00

smtinterpol

sci-mathematics/smtinterpol: dekeyword x86

2024-10-17 18:32:13 +03:00

spin

…

stp

Rename dev-python/{OutputCheck → outputcheck}

2024-11-22 22:31:26 +01:00

sympow

sci-mathematics/sympow: drop 2.023.6

2024-12-22 14:48:54 -05:00

topcom

…

twelf

…

unuran

…

vampire

…

verifpal

…

verit

…

why3

sci-mathematics/why3: bump to 1.8.0

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

why3-for-spark

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

2025-02-24 22:54:03 +01:00

wxmaxima

sci-mathematics/wxmaxima: remove old versions

2025-01-30 12:53:30 +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.14.0

2025-02-19 08:56:25 +01:00

metadata.xml

…