Sam James 375d573b76 sci-mathematics/cgal: add 5.5 ...

Closes: https://bugs.gentoo.org/850697
Signed-off-by: Sam James <sam@gentoo.org>

2022-07-16 15:33:29 +01:00

..

4ti2

…

agda

…

agda-stdlib

…

alectryon

sci-mathematics/alectryon: fix distutil calls

2022-06-14 12:22:58 +02:00

alt-ergo

sci-mathematics/alt-ergo: require ocamlopt

2022-06-29 20:05:37 +02:00

arb

sci-mathematics/arb: new upstream v2.23.0.

2022-07-01 17:28:37 -04:00

bertini

…

cadabra

sci-mathematics/cadabra: drop old 2.3.8

2022-07-12 23:39:59 +02:00

cadical

…

calc

…

cgal

sci-mathematics/cgal: add 5.5

2022-07-16 15:33:29 +01:00

cliquer

…

coq

…

coq-mathcomp

…

coq-serapi

…

cryptominisat

…

cvc4

…

dataplot

…

diagrtb

…

dsfmt

…

dunshire

…

easycrypt

…

eclib

sci-mathematics/eclib: upstream bump

2022-07-02 08:55:04 -04:00

ent

…

euler

…

fann

…

flint

sci-mathematics/flint: new upstream v2.9.0.

2022-07-01 17:28:35 -04:00

flintqs

…

form

…

fricas

sci-mathematics/fricas: remove old version

2022-06-22 22:16:14 +07:00

frobby

…

genius

…

geogebra-bin

…

geomview

…

gfan

…

giac

sci-mathematics/giac: new upstream release giac-1.9.0.19.

2022-07-16 08:26:50 -04:00

gimps

sci-mathematics/gimps: Version bump to 30.8.15

2022-06-21 12:04:31 +02:00

ginac

sci-mathematics/ginac: Stabilize 1.8.2 x86, #850328

2022-06-07 10:26:24 +02:00

glpk

…

gmm

…

gmp-ecm

…

gp2c

…

gretl

…

gsl-shell

…

jags

…

lcalc

sci-mathematics/lcalc: remove "unused" lcalc-2.0.5-r1.ebuild.

2022-07-16 08:28:57 -04:00

lean

sci-mathematics/lean: drop old 3.42.1

2022-07-14 12:05:27 +02:00

lpsolve

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

2022-06-21 18:29:42 +02:00

lrcalc

…

mathematica

…

mathlib-tools

…

mathmod

…

mathomatic

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

2022-07-07 22:19:50 +02:00

maxima

…

metamath

…

metamath-databases

…

minisat

…

msieve

…

nauty

…

nestedsums

…

normaliz

…

num-utils

sci-mathematics/num-utils: x86 stable wrt bug #837833

2022-06-18 18:56:49 +02:00

octave

sci-mathematics/octave: x86 stable wrt bug #854489

2022-07-08 08:44:41 +02:00

octave-epstk

…

otter

…

pari

sci-mathematics/pari: remove obsolete hppa workaround in an -r1.

2022-06-07 10:40:53 -04:00

pari-data

…

petsc

…

planarity

sci-mathematics/planarity: new upstream v3.0.2.0.

2022-06-12 19:47:30 -04:00

polymake

sci-mathematics/polymake: new revision with a few fixes.

2022-06-15 15:29:24 -04:00

primecount

sci-mathematics/primecount: new upstream v7.3.

2022-06-13 07:30:30 -04:00

primesieve

sci-mathematics/primesieve: new upstream v7.9.

2022-06-13 07:30:27 -04:00

prng

…

prover9

…

psmt2-frontend

…

pspp

sci-mathematics/pspp: add 1.6.2

2022-07-05 04:57:50 +01:00

relational

…

rkward

sci-mathematics/rkward: Drop 0.7.3

2022-06-08 13:29:06 +02:00

rngstreams

…

rstudio

…

rw

…

sha1-polyml

…

singular

sci-mathematics/singular: remove old "unused" ebuilds.

2022-07-16 10:04:12 -04:00

slepc

…

smtinterpol

…

spin

…

stp

…

sympow

…

topcom

…

twelf

…

unuran

…

vampire

…

verit

…

why3

…

why3-for-spark

sci-mathematics/why3-for-spark: refix QA_FLAGS

2022-06-27 10:47:05 +02:00

wxmaxima

sci-mathematics/wxmaxima: bump tp 22.05.0

2022-07-13 22:46:30 +07:00

yacas

…

yafu

…

z3

sci-mathematics/z3: Fix subslot in 4.9.1

2022-07-07 12:02:40 +02:00

metadata.xml

…