gentoo

4ti2

sci-mathematics/4ti2: fix build w/ gcc 13

2023-04-18 08:05:20 +01:00

abc

sci-mathematics/abc: new package; add 0_p20230313 and live

2023-03-13 22:37:56 +01:00

acl2

sci-mathematics/acl2: need to rebuild ACL2 "core" on sbcl update

2023-05-25 19:52:42 +02:00

alectryon

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

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

alt-ergo

sci-mathematics/alt-ergo: add live version

2023-06-04 15:39:41 +02:00

arb

sci-mathematics/arb: keyword 2.23.0 for ~loong

2023-04-16 20:03:05 +08: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: gtk -> gui; minor tweaks

2023-04-23 01:18:25 +02:00

cadical

…

calc

…

cgal

…

cliquer

…

coq

sci-mathematics/coq: Stabilize 8.17.0 x86, #907179

2023-05-26 23:05:46 +03:00

coq-mathcomp

sci-mathematics/coq-mathcomp: drop old 1.14.0-r2

2023-04-11 16:17:02 +02:00

coq-serapi

sci-mathematics/coq-serapi: bump to 0.17.0

2023-04-10 20:49:23 +02:00

cryptominisat

sci-mathematics/cryptominisat: fix build with GCC 13

2023-04-18 15:55:09 +02:00

cubicle

sci-mathematics/cubicle: require ocamlopt

2023-03-08 22:38:54 +01:00

cudd

…

cvc4

sci-mathematics/cvc4: fix build with bash 5.2

2023-03-05 11:31:38 +00:00

dataplot

…

diagrtb

…

dsfmt

…

dunshire

sci-mathematics/dunshire: Use pypi.eclass

2023-03-16 19:50:27 +01:00

easycrypt

sci-mathematics/easycrypt: drop old 2022.04-r1

2023-04-02 00:54:46 +02:00

eclib

sci-mathematics/eclib: add 20230424

2023-05-09 13:14:22 -04:00

ent

sci-mathematics/ent: Stabilize 101202 x86, #891229

2023-05-26 23:05:36 +03:00

eprover

…

euler

…

fann

…

flint

sci-mathematics/flint: keyword 2.9.0 for ~loong

2023-04-16 20:03:01 +08:00

flintqs

…

flocq

sci-mathematics/flocq: ignore CFLAGS for ML/Coq code

2023-04-11 16:17:01 +02:00

form

sci-mathematics/form: added myself as a maintainer

2023-05-25 15:36:49 +07:00

fricas

sci-mathematics/fricas: remove old

2023-03-27 17:14:53 +07:00

frobby

…

gappa

…

gappalib-coq

sci-mathematics/gappalib-coq: bump to 1.5.3

2023-04-10 20:49:22 +02:00

genius

…

geogebra-bin

…

geomview

…

gfan

…

giac

…

gimps

…

ginac

sci-mathematics/ginac: remove old version

2023-05-25 17:17:40 +07:00

glpk

sci-mathematics/glpk: destabilize for ~ppc

2023-06-03 14:12:47 +03:00

gmm

sci-mathematics/gmm: destabilize for ~ppc

2023-06-03 14:12:47 +03:00

gmp-ecm

sci-mathematics/gmp-ecm: keyword 7.0.5-r1 for ~loong

2023-04-16 20:03:05 +08:00

gp2c

…

gretl

…

gsl-shell

sci-mathematics/gsl-shell: add 2.3.5

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

jags

…

kind2

sci-mathematics/kind2: new package; add 1.9.0

2023-06-03 18:55:36 +02:00

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: Stabilize 3.50.3 amd64, #907180

2023-05-26 08:14:47 +01:00

libpoly

sci-mathematics/libpoly: enable py3.11

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

lpsolve

sci-mathematics/lpsolve: drop 5.5.2.0-r1

2023-05-03 19:38:02 +02: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: remove old

2023-06-01 22:38:08 +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: drop 2.7.4

2023-06-05 08:26:04 -04:00

nestedsums

…

normaliz

sci-mathematics/normaliz: add 3.10.0

2023-05-21 21:39:23 -04:00

num-utils

sci-mathematics/num-utils: destabilize for ~ppc

2023-06-03 14:12:47 +03:00

octave

sci-mathematics/octave: add 8.2.0

2023-05-26 10:35:17 +01:00

octave-epstk

…

opensmt

sci-mathematics/opensmt: bump to 2.5.0

2023-04-15 19:21:54 +02:00

otter

…

pari

sci-mathematics/pari: drop 2.13.4-r1

2023-06-05 08:26:05 -04:00

pari-data

sci-mathematics/pari-data: destabilize for ~ppc

2023-06-03 14:12:48 +03:00

petsc

sci-mathematics/petsc: add 3.19.1

2023-05-07 13:59:02 -05:00

picosat

…

planarity

…

plfit

sci-mathematics/plfit: new package, add 0.9.3

2023-05-22 16:05:15 -04:00

polymake

sci-mathematics/polymake: add 4.9, drop 4.8

2023-05-21 21:39:19 -04: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

…

rkward

…

rngstreams

…

rw

…

sha1-polyml

…

singular

sci-mathematics/singular: Stabilize 4.3.1_p3 amd64, #907856

2023-06-05 12:37:54 +03:00

slepc

sci-mathematics/slepc: update SRC_URI and fix USE=doc

2023-05-07 13:59:02 -05: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

sci-mathematics/why3: drop old 1.5.0-r1

2023-04-02 00:35:48 +02:00

why3-for-spark

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

2023-04-03 08:21:06 +02:00

wxmaxima

sci-mathematics/wxmaxima: remove old version

2023-05-31 17:45:57 +07:00

yacas

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

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

yafu

…

yices2

…

z3

sci-mathematics/z3: Remove old

2023-04-08 20:45:13 +02:00

metadata.xml

…