Alfredo Tupone 5047348a53 sci-mathematics/why3-for-spark: enabled hypothesis-selection ...

Package-Manager: Portage-3.0.20, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

2021-06-29 21:38:40 +02:00

..

4ti2

sci-mathematics/4ti2: Depend on dev-libs/gmp[cxx(+)]

2021-06-18 15:15:24 +02:00

agda

…

agda-stdlib

…

alt-ergo

…

arb

…

bertini

…

calc

…

cgal

sci-mathematics/cgal: Depend on dev-libs/boost:=[threads(+)]

2021-06-18 21:17:48 +02:00

cliquer

…

coq

…

cvc4

sci-mathematics/cvc4: version bump to 1.8

2021-05-27 18:45:43 +02:00

dataplot

…

diagrtb

…

dsfmt

…

dunshire

sci-mathematics/dunshire: Enable py3.9

2021-05-23 15:57:28 +02:00

eclib

sci-mathematics/eclib: new upstream version eclib-20210503.

2021-05-14 10:19:34 -04:00

ent

…

euler

…

fann

…

flint

sci-mathematics/flint: drop inactive maintainer

2021-05-31 22:45:15 +02:00

flintqs

…

form

…

fricas

sci-mathematics/fricas: bump to 1.3.7

2021-06-25 15:45:08 +07:00

frobby

sci-mathematics/frobby: Depend on dev-libs/gmp[cxx(+)]

2021-06-18 15:15:30 +02:00

genius

sci-mathematics/genius: Stabilize 1.0.25 amd64, #722148

2021-05-16 18:54:44 +00:00

geogebra-bin

…

geomview

…

gfan

sci-mathematics/gfan: Depend on dev-libs/gmp[cxx(+)]

2021-06-18 15:15:33 +02:00

giac

sci-mathematics/giac: Depend on dev-libs/gmp[cxx(+)]

2021-06-18 15:15:36 +02:00

gimps

…

ginac

…

glpk

…

gmm

…

gmp-ecm

sci-mathematics/gmp-ecm: remove old "unused" gmp-ecm-7.0.4-r3.ebuild.

2021-06-14 20:40:54 -04:00

gp2c

…

gretl

…

gsl-shell

sci-mathematics/gsl-shell: subscribe to sci-libs/gsl subslot

2021-06-02 21:50:32 +00:00

jags

sci-mathematics/jags: drop deprecated ltprune eclass

2021-05-31 11:19:30 +02:00

lpsolve

…

lrcalc

…

mathematica

…

mathmod

…

mathomatic

…

maxima

sci-mathematics/maxima: add virtual/libcrypt dependency

2021-06-22 23:34:39 +01:00

minisat

…

msieve

sci-mathematics/msieve: drop inactive maintainer

2021-05-31 19:47:47 +02:00

nauty

sci-mathematics/nauty: fix bug #750482 + port to EAPI 7

2021-06-16 19:50:55 +02:00

nestedsums

…

normaliz

sci-mathematics/normaliz: Depend on dev-libs/gmp[cxx(+)]

2021-06-18 15:15:39 +02:00

num-utils

…

octave

…

octave-epstk

…

otter

…

pari

sci-mathematics/pari: new revision with backported rnfdisc patch.

2021-05-13 07:45:47 -04:00

pari-data

…

petsc

…

planarity

sci-mathematics/planarity: use upstream SRC_URI.

2021-06-18 19:36:48 -04:00

polymake

…

prng

sci-mathematics/prng: cleanup old

2021-05-20 00:36:07 +03:00

prover9

…

psmt2-frontend

…

pspp

…

relational

sci-mathematics/relational: add support for python-3.9

2021-06-08 07:36:53 +00:00

rkward

…

rngstreams

…

rstudio

sci-mathematics/rstudio: Fix server startup scripts

2021-06-11 20:34:34 +02:00

rw

sci-mathematics/rw: remove old "unused" rw-0.8-r3.ebuild.

2021-05-26 06:40:57 -04:00

sha1-polyml

sci-mathematics/sha1-polyml: fix VariableScope (ROOT)

2021-06-11 00:29:10 +00:00

singular

sci-mathematics/singular: fix CFLAGS/CXXFLAGS support, mostly.

2021-06-01 07:49:16 -04:00

slepc

…

spin

…

sympow

…

topcom

sci-mathematics/topcom: fix docinto argument (avoid double 'prefix')

2021-05-28 17:57:19 +02:00

twelf

…

unuran

…

why3-for-spark

sci-mathematics/why3-for-spark: enabled hypothesis-selection

2021-06-29 21:38:40 +02:00

wxmaxima

sci-mathematics/wxmaxima: bump to 21.05.2

2021-05-25 19:22:15 +07:00

yacas

…

yafu

sci-mathematics/yafu: drop inactive maintainer

2021-05-31 19:47:50 +02:00

z3

sci-mathematics/z3: Depend on dev-libs/gmp[cxx(+)]

2021-06-18 15:15:42 +02:00

metadata.xml

…