Sergei Trofimovich 6280ade282 sci-mathematics/agda: set USE=-cpphs by default ...

USE=cpphs is not compatible to profiling builds.

Reported-by: Toralf Förster
Closes: https://bugs.gentoo.org/761805
Package-Manager: Portage-3.0.12, Repoman-3.0.2
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

2020-12-27 10:17:24 +00:00

..

4ti2

sci-mathematics/4ti2: drop old EAPI=5

2020-09-24 15:53:24 -04:00

agda

sci-mathematics/agda: set USE=-cpphs by default

2020-12-27 10:17:24 +00:00

agda-lib-ffi

…

agda-stdlib

sci-mathematics/agda-stdlib: drop old

2020-12-17 07:29:33 +00:00

alt-ergo

sci-mathematics/alt-ergo: depend only on lablgtk:2

2020-12-05 19:26:32 +01:00

arb

sci-mathematics/arb: Keyword 2.18.1 arm64, #749927

2020-10-27 19:55:26 +00:00

bertini

…

calc

…

cgal

sci-mathematics/cgal: version bump to 5.2

2020-12-27 03:32:28 +00:00

cliquer

…

coq

sci-mathematics/coq: Bump to 8.12.0

2020-10-13 23:53:49 +11:00

cvc4

…

dataplot

…

diagrtb

…

dunshire

…

eclib

…

ent

…

euler

…

fann

…

flint

sci-mathematics/flint: new upstream version 2.7.0.

2020-12-18 17:45:38 -05:00

flintqs

…

form

…

fricas

…

frobby

…

genius

…

geogebra-bin

sci-mathematics/geogebra-bin: revbump, wrapper improvements

2020-09-20 18:49:33 -07:00

geomview

sci-mathematics/geomview: Port to EAPI 7

2020-10-03 22:56:59 +02:00

gfan

…

ggnfs

…

gimps

sci-mathematics/gimps: remove old

2020-12-07 11:19:36 +02:00

ginac

…

glpk

sci-mathematics/glpk: Upstream bump

2020-12-16 20:18:15 -05:00

gmm

…

gmp-ecm

sci-mathematics/gmp-ecm: Keyword 7.0.4-r2 arm64, #749927

2020-10-27 19:55:27 +00:00

gp2c

…

gretl

…

gsl-shell

…

jags

…

lpsolve

…

lrcalc

…

mathematica

sci-mathematics/mathematica: Add 12.1.0 for whoever cant get 12.1.1

2020-10-28 14:58:10 +02:00

mathmod

…

mathomatic

…

maxima

sci-mathematics/maxima: Drop 5.38.1

2020-11-05 21:25:13 +01:00

minisat

…

msieve

…

nauty

…

nestedsums

…

normaliz

…

num-utils

sci-mathematics/num-utils: bump to debian's -15 patchset

2020-09-19 18:47:14 +00:00

octave

sci-mathematics/octave: ppc keyworded (bug #757822)

2020-12-12 23:31:15 +00:00

octave-epstk

sci-mathematics/octave-epstk: port to EAPI 7

2020-09-19 18:50:33 +00:00

otter

sci-mathematics/otter: fix build with -fno-common

2020-11-01 00:25:55 +00:00

pari

sci-mathematics/pari: new version 2.13.0.

2020-10-20 16:47:37 -04:00

pari-data

…

petsc

…

planarity

…

polymake

…

prng

…

prover9

…

psmt2-frontend

…

pspp

sci-mathematics/pspp: version bump to 1.4.1

2020-11-26 23:56:28 +01:00

relational

…

rkward

sci-mathematics/rkward: Drop 0.7.1b

2020-10-15 20:48:38 +02:00

rngstreams

…

rstudio

sci-mathematics/rstudio: Bump to 1.3.1093

2020-09-25 15:06:59 +10:00

rw

…

sha1-polyml

…

singular

…

slepc

…

spin

…

sympow

…

topcom

…

twelf

…

unuran

…

why3-for-spark

…

wxmaxima

sci-mathematics/wxmaxima: bump to 20.09.0

2020-10-06 23:51:12 +07:00

yacas

…

yafu

…

z3

sci-mathematics/z3: Keyword 4.8.9 riscv, #756115

2020-12-04 17:24:20 +03:00

metadata.xml

…