Maciej Barć aaa95b088c sci-mathematics/coq-serapi: introduce COQ_MIN_V ...

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

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

..

4ti2

…

abc

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

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

acl2

…

alectryon

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

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

alt-ergo

…

arb

…

bertini

…

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: enable python 3.11 support for unstable

2023-03-08 21:39:27 +01:00

cadical

…

calc

…

cgal

…

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: introduce COQ_MIN_V

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

coq-serapi

sci-mathematics/coq-serapi: introduce COQ_MIN_V

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

cryptominisat

…

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: PEP517 and python-3.11 support.

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

easycrypt

…

eclib

…

ent

…

eprover

…

euler

…

fann

…

flint

…

flintqs

…

flocq

sci-mathematics/flocq: fix deps

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

form

…

fricas

…

frobby

…

gappa

…

gappalib-coq

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

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

genius

…

geogebra-bin

…

geomview

…

gfan

…

giac

…

gimps

…

ginac

sci-mathematics/ginac: bump to 1.8.6

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

glpk

…

gmm

…

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

…

libpoly

sci-mathematics/libpoly: enable py3.11

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

lpsolve

sci-mathematics/lpsolve: Keyword 5.5.2.11-r2 riscv, #881389

2023-03-07 08:14:28 +08: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

…

msieve

…

nauty

…

nestedsums

…

normaliz

…

num-utils

…

octave

…

octave-epstk

…

opensmt

…

otter

…

pari

…

pari-data

…

petsc

…

picosat

…

planarity

…

polymake

…

primecount

…

primesieve

…

prng

…

prover9

…

psmt2-frontend

…

pspp

…

rkward

…

rngstreams

…

rw

…

sha1-polyml

…

singular

…

slepc

…

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

…

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

…

z3

…

metadata.xml

…