Tupone Alfredo ed51ccdb29 sci-mathematics/cvc4: Add cvc4 to the tree ...

Package-Manager: Portage-2.3.40, Repoman-2.3.9

2018-07-18 08:28:48 +02:00

..

4ti2

sci-mathematics/4ti2: [QA] Remove eutils

2018-05-27 09:54:24 +02:00

agda

…

agda-lib-ffi

…

agda-stdlib

…

alt-ergo

sci-mathematics/alt-ergo: use HTTPs

2018-06-02 18:38:07 -04:00

arb

…

axiom

…

bertini

…

calc

sci-mathematics/calc: remove unused patch

2018-07-11 12:31:08 +01:00

cgal

…

coq

sci-mathematics/coq: Drop obsolete dev-texlive/texlive-mathextra

2018-04-09 21:30:47 +02:00

cvc3

sci-mathematics/cvc3: remove old

2018-04-08 20:09:19 -04:00

cvc4

sci-mathematics/cvc4: Add cvc4 to the tree

2018-07-18 08:28:48 +02:00

dataplot

sci-mathematics/dataplot: use HTTPS

2018-04-05 11:06:52 -04:00

diagrtb

…

drgeo

…

dunshire

sci-mathematics/dunshire: Support python3.6

2018-06-26 22:28:53 +02:00

e

sci-mathematics/e: remove old

2018-04-08 20:09:19 -04:00

ent

…

euler

…

factmsieve

…

fann

…

flint

…

form

sci-mathematics/form: use HTTPS

2018-04-05 11:06:51 -04:00

fricas

sci-mathematics/fricas: bump to 1.3.4

2018-06-28 17:08:28 +07:00

frobby

…

genius

…

geogebra

sci-mathematics/geogebra: Add name to metadata.xml

2018-03-17 21:47:24 +03:00

geomview

…

gfan

…

ggnfs

…

gimps

sci-mathematics/gimps: x86 stable (bug #650560)

2018-04-12 21:05:28 +02:00

ginac

sci-mathematics/ginac: bump to 1.7.4

2018-06-26 18:57:33 +07:00

glpk

sci-matchematics/glpk: respect EPREFIX

2018-07-13 11:43:28 +01:00

gmm

…

gmp-ecm

…

gretl

…

gsl-shell

…

gwnum

…

isabelle

…

jags

…

kodkod

sci-mathematics/kodkod: remove old

2018-04-08 20:09:19 -04:00

kodkodi

sci-mathematics/kodkodi: remove old

2018-04-08 20:09:20 -04:00

lpsolve

sci-mathematics/lpsolve: Port to EAPI 6

2018-05-27 09:54:19 +02:00

lybniz

…

Macaulay2

…

mathmod

…

mathomatic

…

maxima

…

minisat

…

mlpy

…

msieve

…

nauty

…

nestedsums

…

normaliz

…

num-utils

*/*: Specify EAPI=0 explicitly, to ease greps

2018-05-01 20:37:34 +02:00

nusmv

…

octave

sci-mathematics/octave: Add missing qt deps

2018-07-05 10:51:47 +10:00

octave-epstk

…

otter

…

p9m4

…

pari

sci-mathematics/pari: Remove old version

2018-04-20 10:01:53 +02:00

pari-data

…

polymake

…

prng

…

prover9

…

pspp

…

pymc

sci-mathematics/pymc: Support python3.6

2018-06-26 22:28:54 +02:00

pymc3

sci-mathematics/pymc3: Fix installation error, bug #632334

2018-05-19 22:29:58 -04:00

reduce

…

relational

sci-mathematics/relational: Support python3.6

2018-06-26 22:28:56 +02:00

rkward

sci-mathematics/rkward: Drop old snapshot

2018-04-17 23:16:18 +02:00

rngstreams

…

rstudio

sci-mathematics/rstudio: Add USE libressl

2018-07-03 12:38:45 +10:00

rw

…

sha1-polyml

…

singular

…

snns

sci-mathematics/snns: fix installation of manual

2018-06-14 20:20:48 -04:00

spass

…

spin

sci-mathematics/spin: Remove old

2018-03-29 21:22:07 +02:00

topcom

…

twelf

…

unuran

…

why3-for-spark

sci-mathematics/why3-for-spark: Version bump to 2018

2018-07-13 08:49:22 +02:00

wxmaxima

sci-mathematics/wxmaxima: bump to 18.02.0

2018-03-14 04:48:16 +07:00

xmds

…

yacas

…

yafu

…

z3

…

metadata.xml

…