gentoo

4ti2

…

acl2

sci-mathematics/acl2: install TAGS if USE=emacs

2023-01-08 15:08:24 +01:00

alectryon

Rename dev-python/{myst_parser → myst-parser}

2023-03-02 05:57:52 +01:00

alt-ergo

sci-mathematics/alt-ergo: drop 2.3.0-r1, 2.4.1_p20220407-r1

2023-01-30 20:48:23 +01:00

arb

sci-mathematics/arb: drop 2.19.0, 2.21.0, 2.22.1

2023-01-26 21:48:11 +01:00

bertini

sci-mathematics/bertini: bump to 1.6

2023-02-06 18:23:18 +01:00

boolector

sci-mathematics/boolector: H -> COMMIT

2023-03-04 17:32:11 +01:00

btor2tools

sci-mathematics/btor2tools: H -> COMMIT

2023-03-04 17:32:11 +01:00

cadabra

sci-mathematics/cadabra: Stabilize 2.4.3.2 amd64, #892303

2023-01-28 00:15:02 +00:00

cadical

sci-mathematics/cadical: install ccadical.h

2023-01-11 04:44:07 +01:00

calc

…

cgal

sci-mathematics/cgal: drop 5.2-r2, 5.4.1

2022-12-19 15:44:59 +01:00

cliquer

…

coq

Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}

2023-02-14 06:23:31 +01:00

coq-mathcomp

sci-mathematics/coq-mathcomp: fix deps

2023-02-16 12:55:45 +01:00

coq-serapi

sci-mathematics/coq-serapi: drop old 0.16.0-r1

2023-02-17 02:22:11 +01:00

cryptominisat

*/*: remove py3.8 from PYTHON_COMPAT

2023-01-14 13:51:19 +01:00

cubicle

sci-mathematics/cubicle: install the provided manual page

2023-01-11 04:44:07 +01:00

cudd

sci-mathematics/cudd: new package; add 3.0.0

2022-12-18 22:50:55 +01:00

cvc4

sci-mathematics/cvc4: add support to python 3.11

2023-02-22 12:25:33 +01:00

dataplot

…

diagrtb

…

dsfmt

…

dunshire

sci-mathematics/dunshire: PEP517 and python-3.11 support.

2023-02-25 14:58:37 -05:00

easycrypt

sci-mathematics/easycrypt: H -> COMMIT

2023-02-02 18:46:45 +01:00

eclib

sci-mathematics/eclib: drop 20220621

2023-02-09 09:00:58 -05:00

ent

sci-mathematics/ent: update SRC_URI

2023-01-17 20:14:28 +01:00

eprover

sci-mathematics/eprover: do not call ar/ranlib directly

2023-01-04 18:27:23 +01:00

euler

…

fann

…

flint

*/*: remove py3.8 from PYTHON_COMPAT

2023-01-14 13:51:19 +01:00

flintqs

…

flocq

sci-mathematics/flocq: fix deps

2023-02-16 12:55:45 +01:00

form

sci-mathematics/form: set VARTEXFONTS

2023-01-15 17:10:04 +07:00

fricas

…

frobby

sci-mathematics/frobby: update EAPI 6 -> 8

2022-12-26 16:59:14 +01:00

gappa

sci-mathematics/gappa: new package; add 1.4.1

2022-12-24 23:26:49 +01:00

gappalib-coq

sci-mathematics/gappalib-coq: fix deps; add ocamlopt

2023-02-16 12:49:38 +01:00

genius

…

geogebra-bin

sci-mathematics/geogebra-bin: drop 5.0.683.0

2023-01-22 15:24:17 -08:00

geomview

…

gfan

…

giac

sci-mathematics/giac: drop 1.7.0.13-r1

2022-12-23 18:58:31 -05:00

gimps

sci-mathematics/gimps: Stabilize 30.8.17 amd64, #890640

2023-01-13 10:19:27 +00:00

ginac

sci-mathematics/ginac: bump to 1.8.6

2023-02-17 16:37:40 +07:00

glpk

…

gmm

sci-mathematics/gmm: add 5.4.2

2022-12-16 19:52:44 +01:00

gmp-ecm

…

gp2c

…

gretl

…

gsl-shell

sci-mathematics/gsl-shell: add 2.3.5

2023-02-24 11:28:58 +01:00

jags

…

kissat

sci-mathematics/kissat: add blocker on >=x11-terms/kitty-0.27

2023-02-15 01:24:30 -05:00

lcalc

…

lean

sci-mathematics/lean: bump to 3.50.3

2022-12-27 03:14:07 +01:00

libpoly

sci-mathematics/libpoly: enable py3.11

2023-02-24 10:01:56 +01:00

lpsolve

sci-mathematics/lpsolve: add subslot for new version

2023-02-04 17:22:57 +00:00

lrcalc

…

mathematica

sci-mathematics/mathematica: add 13.2.1

2023-03-03 15:25:58 +01:00

mathlib-tools

sci-mathematics/mathlib-tools: enable py3.11

2023-02-24 09:58:54 +01:00

mathmod

…

mathomatic

…

maxima

sci-mathematics/maxima: add python3_11

2023-02-16 20:17:46 +07:00

metamath

…

metamath-databases

sci-mathematics/metamath-databases: H -> COMMIT

2023-03-04 17:32:11 +01:00

minisat

sci-mathematics/minisat: fix build on musl

2023-02-06 18:23:18 +01:00

msieve

…

nauty

sci-mathematics/nauty: add upstream patch for gentourng and gentreeg.

2023-01-17 20:22:42 -05:00

nestedsums

…

normaliz

…

num-utils

…

octave

sci-mathematics/octave: drop 6.4.0-r5

2023-02-07 18:25:09 +01:00

octave-epstk

…

opensmt

sci-mathematics/opensmt: fix build on musl

2023-02-06 18:23:18 +01:00

otter

…

pari

sci-mathematics/pari: patch update for upstream bug 2441.

2023-01-26 11:28:24 -05:00

pari-data

…

petsc

*/*: remove py3.8 from PYTHON_COMPAT

2023-01-14 13:51:19 +01:00

picosat

sci-mathematics/picosat: Stabilize 965 amd64, #892299

2023-01-28 00:18:43 +00:00

planarity

…

polymake

sci-mathematics/polymake: Stabilize 4.6-r1 x86, #832376

2022-12-23 22:49:23 +02:00

primecount

sci-mathematics/primecount: drop 7.4

2023-02-07 14:31:48 -05:00

primesieve

sci-mathematics/primesieve: drop 8.0

2023-02-07 14:31:47 -05:00

prng

…

prover9

…

psmt2-frontend

…

pspp

sci-mathematics/pspp: drop 1.6.0-r1, 1.6.2-r1

2023-01-23 15:58:23 -05:00

rkward

…

rngstreams

…

rw

…

sha1-polyml

…

singular

sci-mathematics/singular: add myself as a maintainer

2023-01-23 15:59:40 -05:00

slepc

*/*: remove py3.8 from PYTHON_COMPAT

2023-01-14 13:51:19 +01:00

smtinterpol

sci-mathematics/smtinterpol: H -> COMMIT

2023-03-04 17:32:11 +01:00

spin

…

stp

sci-mathematics/stp: update PYTHON_COMPAT; add help2man to BDEPEND

2023-02-22 00:54:00 +01:00

sympow

…

topcom

…

twelf

…

unuran

…

vampire

sci-mathematics/vampire: fix build on musl

2023-02-06 18:23:18 +01:00

verit

…

why3

…

why3-for-spark

…

wxmaxima

sci-mathematics/wxmaxima: remove old versions

2023-02-16 20:22:12 +07:00

yacas

Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}

2023-02-14 06:23:31 +01:00

yafu

…

yices2

sci-mathematics/yices2: do not install static libs

2023-01-14 03:59:24 +01:00

z3

sci-mathematics/z3: Bump to 4.12.1

2023-01-19 07:08:25 +01:00

metadata.xml

…