Mikle Kolyada 7644a1ca7e sci-mathematics/z3: Add ~arm keyword wrt bug #677862 ...

Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
Package-Manager: Portage-2.3.51, Repoman-2.3.11
RepoMan-Options: --include-arches="~arm"

2019-02-28 17:34:59 +03:00

..

4ti2

…

agda

…

agda-lib-ffi

…

agda-stdlib

…

alt-ergo

sci-mathematics/alt-ergo: Stable release

2018-12-16 09:35:29 +01:00

arb

…

axiom

…

bertini

…

calc

sci-mathematics/calc: remove unused patch

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

cgal

sci-mathematics/cgal: bump to 4.11.3

2018-09-09 16:53:20 +01:00

coq

…

cvc3

…

cvc4

sci-mathematics/cvc4: Add cvc4 to the tree

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

dataplot

…

diagrtb

…

drgeo

…

dunshire

sci-mathematics/dunshire: Support python3.6

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

e

…

ent

…

euler

…

factmsieve

…

fann

…

flint

…

form

…

fricas

sci-mathematics/fricas: cleaning old versions

2019-02-04 20:21:53 +07:00

frobby

…

genius

sci-mathematics/genius: use HTTPS

2019-02-26 23:21:22 -05:00

geogebra

…

geomview

…

gfan

…

ggnfs

…

gimps

…

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

sci-mathematics/isabelle: fix scala dependency.

2018-11-01 23:26:20 +01:00

jags

…

kodkod

…

kodkodi

…

lpsolve

…

lybniz

…

Macaulay2

…

mathmod

…

mathomatic

…

maxima

sci-mathematics/maxima: bump to 5.42.1

2018-10-18 23:51:21 +07:00

minisat

…

mlpy

…

msieve

sci-mathematics/msieve: bump to v1.53

2019-01-06 22:57:04 +01:00

nauty

…

nestedsums

…

normaliz

…

num-utils

…

nusmv

sci-mathematics/nusmv: add missing app-arch/unzip dependency.

2018-08-20 17:00:28 +02:00

octave

sci-mathematics/octave: fix USE=doc sandbox trip due to tex fonts

2019-01-25 12:56:29 -08:00

octave-epstk

…

otter

…

p9m4

…

pari

…

pari-data

…

polymake

…

prng

…

prover9

…

pspp

sci-mathematics/pspp: Remove old

2019-01-26 02:35:46 +01:00

pymc

sci-mathematics/pymc: Support python3.6

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

pymc3

dev-python/{CommonMark → commonmark}

2018-10-18 18:39:34 +02:00

relational

sci-mathematics/relational: Support python3.6

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

rkward

…

rngstreams

…

rstudio

sci-mathematics/rstudio: Bump to 1.1.463

2018-11-19 23:37:56 +11:00

rw

…

sha1-polyml

…

singular

…

snns

sci-mathematics/snns: fix installation of manual

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

spass

…

spin

…

topcom

…

twelf

…

unuran

…

why3-for-spark

sci-mathematics/why3-for-spark: Stable

2018-12-16 09:36:37 +01:00

wxmaxima

sci-mathematics/wxmaxima: clean old versions

2019-02-26 22:36:08 +07:00

xmds

…

yacas

…

yafu

…

z3

sci-mathematics/z3: Add ~arm keyword wrt bug #677862

2019-02-28 17:34:59 +03:00

metadata.xml

…