Sam James 22750a71ec sci-mathematics/manifold: Stabilize 3.0.0_pre20241115 amd64, #946112 ...

Signed-off-by: Sam James <sam@gentoo.org>

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

..

4ti2

…

abc

…

acl2

…

alectryon

…

alt-ergo

…

arb

…

bertini

…

boolector

sci-mathematics/boolector: bump to 3.2.4

2024-09-30 20:22:54 +02:00

btor2tools

…

cadabra

Rename dev-python/{gmpy → gmpy2}

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

cadical

…

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: Stabilize 8.20.0 amd64, #946384

2024-12-14 11:48:18 +00: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

sci-mathematics/dunshire: remove pypi upstream metadata

2024-09-09 22:03:22 -04:00

easycrypt

sci-mathematics/easycrypt: bump to 2024.09

2024-10-06 21:51:36 +02:00

eclib

sci-mathematics/eclib: add 20241112

2024-11-14 18:29:55 -05:00

ent

…

eprover

…

euler

…

fann

…

flint

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

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

flocq

…

form

…

fricas

sci-mathematics/fricas: remove old versions

2024-09-23 12:48:40 +07:00

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: Stabilize 0.6.2-r6 amd64, #945552

2024-12-05 12:28:33 +00:00

giac

sci-mathematics/giac: add binding := to fltk, soname changed

2024-12-26 12:48:35 -05:00

gimps

sci-mathematics/gimps: Stabilize 30.19.20 amd64, #938726

2024-08-31 05:50:47 +01:00

ginac

…

glpk

sci-mathematics/glpk: fix the build with gcc-15

2024-11-19 23:08:43 -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: add 7.0.6

2024-12-16 08:59:14 +00:00

gp2c

…

gretl

…

gsl-shell

sci-mathematics/gsl-shell: remove unused patches

2024-08-26 01:53:37 +02:00

jags

sci-mathematics/jags: drop 4.3.0

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

kind2

…

kissat

…

lcalc

sci-mathematics/lcalc: keyword 2.0.5-r2 for ~riscv

2024-08-26 20:37:56 -04:00

lean

sci-mathematics/lean: add missing libuv dep

2025-01-03 00:10:48 +01:00

libpoly

…

lpsolve

…

lrcalc

…

manifold

sci-mathematics/manifold: Stabilize 3.0.0_pre20241115 amd64, #946112

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

mathematica

sci-mathematics/mathematica: "fix" sandbox violation

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

mathlib-tools

Rename dev-python/{PyGithub → pygithub}

2024-11-23 11:51:14 +01:00

mathmod

sci-mathematics/mathmod: drop old

2024-08-26 01:53:41 +02:00

mathomatic

…

maxima

sci-mathematics/maxima: keyword 5.47.0-r1 for ~riscv

2024-09-01 16:50:13 -04:00

metamath

…

metamath-databases

…

minisat

…

msieve

…

nauty

…

nestedsums

…

normaliz

…

num-utils

…

octave

sci-mathematics/octave: update fltk[xft] USE dep

2024-12-26 12:48:35 -05:00

octave-epstk

…

opensmt

…

otter

…

palp

…

pari

…

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 x86, #947261

2025-01-01 10:56:14 +02:00

prng

…

prover9

…

proverif

…

psmt2-frontend

…

pspp

…

rkward

sci-mathematics/rkward: drop 0.7.5

2024-09-05 18:50:25 +02:00

rngstreams

…

rw

sci-mathematics/rw: drop IUSE=""

2024-09-20 23:28:29 -04:00

sha1-polyml

…

singular

sci-mathematics/singular: Stabilize 4.4.0_p6 amd64, #945580

2024-12-03 12:50:55 +02: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

sci-mathematics/twelf: mark as LTO-unsafe

2024-09-09 21:04:12 -04:00

unuran

…

vampire

sci-mathematics/vampire: bump to 4.9

2024-09-30 20:22:53 +02:00

verifpal

…

verit

…

why3

sci-mathematics/why3: update HOMEPAGE

2024-12-31 16:53:37 +00:00

why3-for-spark

sci-mathematics/why3-for-spark: fix whitespace in metadata.xml

2024-12-31 16:59:31 +00:00

wxmaxima

sci-mathematics/wxmaxima: bump to 24.11.0

2024-12-30 20:38:36 +07:00

yacas

…

yafu

Move {sys-devel → llvm-core}/clang-runtime

2024-12-11 12:53:16 +01:00

yices2

…

z3

sci-mathematics/z3: Bump to 4.13.4

2024-12-18 09:07:07 +01:00

metadata.xml

…