Tupone Alfredo 7e278f5c3b sci-mathematics/why3-for-spark: remove extra --disable-zip ...

Package-Manager: Portage-2.3.8, Repoman-2.3.3

2017-10-25 19:28:48 +02:00

..

4ti2

sci-mathematics/4ti2: version bump

2017-07-31 18:12:25 +00:00

agda

…

agda-lib-ffi

…

agda-stdlib

…

alt-ergo

sci-mathematics/alt-ergo: Adding alt-ergo 1.30

2017-10-14 08:58:53 +02:00

arb

sci-mathematics/arb: fixed for linking with PIE

2017-07-28 21:42:01 +00:00

axiom

…

bertini

…

calc

…

cgal

sci-mathematics/cgal: version bump

2017-07-21 17:37:53 +00:00

coq

sci-mathematics/coq: bump to 8.6.1

2017-07-18 19:18:24 +02:00

cvc3

…

dataplot

…

diagrtb

…

drgeo

…

dunshire

…

e

…

ent

…

euler

…

factmsieve

…

fann

…

flint

sci-mathematics/flint: Fix FTBFS with PIE enabled

2017-09-24 21:17:38 +02:00

form

sci-mathematics/form: bump to 4.2.0

2017-07-26 22:53:39 +07:00

fricas

…

frobby

…

genius

…

geogebra

sci-mathematics/geogebra: remove unused patch

2017-08-08 10:58:56 +02:00

geomview

…

gfan

…

ggnfs

…

gimps

…

ginac

…

glpk

sci-mathematics/glpk: stable 4.63 for ia64, bug #626228

2017-09-02 17:07:19 +01:00

gmm

sci-mathematics/gmm: fix homepage, src_uri

2017-08-11 21:57:01 +02:00

gmp-ecm

…

gretl

…

gsl-shell

…

gwnum

…

isabelle

sci-mathematics/isabelle: use HTTPS for links to dev.gentoo.org

2017-09-06 22:59:17 +02:00

jags

…

kodkod

…

kodkodi

…

lpsolve

sci-mathematics/lpsolve: added ~arm64 keyword

2017-08-28 01:34:02 +10:00

lybniz

…

Macaulay2

sci-mathematics/Macaulay2: use HTTPS for links to dev.gentoo.org

2017-09-06 22:59:14 +02:00

mathmod

…

mathomatic

sci-mathematics/mathomatic: cleaning up, frozen package.

2017-07-21 17:37:53 +00:00

maxima

sci-mathematics/maxima: bump to 5.41.0

2017-10-05 22:59:20 +07:00

minisat

…

mlpy

…

msieve

…

nauty

sci-mathematics/nauty: version bump

2017-07-10 22:07:55 -06:00

nestedsums

sci-mathematics/nestedsums: Drop old, bug 605728

2017-06-16 21:55:19 +02:00

normaliz

sci-mathematics/normaliz: version bump

2017-07-31 18:12:19 +00:00

num-utils

…

nusmv

…

octave

sci-mathematics/octave: Fix >=qscintilla-2.10 detection

2017-10-08 18:42:22 +02:00

octave-epstk

…

otter

…

p9m4

…

pari

…

pari-data

…

polymake

…

prng

…

prover9

…

pspp

…

pymc

…

pymc3

sci-mathematics/pymc3: version bump

2017-06-28 04:00:13 +00:00

qtoctave

…

reduce

…

relational

sci-mathematics/relational: remove 2.4

2017-07-29 13:42:35 +10:00

rkward

sci-mathematics/rkward: Drop to ~arch

2017-10-14 21:29:13 +02:00

rngstreams

…

rstudio

sci-mathematics/rstudio: version bump to 1.1.368

2017-10-24 17:46:05 +11:00

rw

sci-mathematics/rw: update proxy maintainer email

2017-08-06 10:13:41 +02:00

sha1-polyml

…

singular

…

snns

…

spass

…

spin

…

topcom

…

twelf

…

unuran

…

why3-for-spark

sci-mathematics/why3-for-spark: remove extra --disable-zip

2017-10-25 19:28:48 +02:00

wxmaxima

…

xmds

…

yacas

…

yafu

…

z3

sci-mathematics/z3: remove unused patch

2017-08-13 13:24:39 +02:00

metadata.xml

…