Michael Mair-Keimberger 863a22e55e sci-mathematics/coq: fix eclass usage ...

Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/13706
Signed-off-by: Aaron Bauman <bman@gentoo.org>

2019-11-23 19:43:44 -05:00

..

4ti2

…

agda

*/*: Inline mirror://hackage and update URIs

2019-11-10 16:13:47 +01:00

agda-lib-ffi

…

agda-stdlib

…

alt-ergo

sci-mathematics/alt-ergo: add dev-ml/seq dependency

2019-10-28 22:15:02 +01:00

arb

…

axiom

…

bertini

…

calc

…

cgal

…

coq

sci-mathematics/coq: fix eclass usage

2019-11-23 19:43:44 -05:00

cvc4

…

dataplot

…

diagrtb

…

dunshire

…

ent

…

euler

…

factmsieve

…

fann

sci-mathematics/fann: EAPI-7 bump

2019-11-20 13:21:04 +01:00

flint

…

form

…

fricas

…

frobby

…

genius

…

geogebra

…

geomview

…

gfan

…

ggnfs

…

gimps

sci-mathematics/gimps: Remove old

2019-10-24 06:09:52 +03:00

ginac

…

glpk

sci-mathematics: Remove *-fbsd KEYWORDS

2019-10-11 17:37:35 +02:00

gmm

sci-mathematics: Remove *-fbsd KEYWORDS

2019-10-11 17:37:35 +02:00

gmp-ecm

sci-mathematics/gmp-ecm: drop old

2019-10-16 09:24:39 +01:00

gretl

…

gsl-shell

…

jags

…

lpsolve

…

lybniz

…

Macaulay2

…

mathmod

…

mathomatic

…

maxima

sci-mathematics/maxima: Declare encoding of imaxima texinfo file.

2019-10-18 23:12:41 +02:00

minisat

sci-mathematics/minisat: fix sed in header files

2019-10-21 17:32:09 +03:00

mlpy

…

msieve

…

nauty

…

nestedsums

…

normaliz

…

num-utils

sci-mathematics/num-utils: Remove old

2019-08-29 14:13:11 +02:00

nusmv

…

octave

sci-mathematics: Remove *-fbsd KEYWORDS

2019-10-11 17:37:35 +02:00

octave-epstk

…

otter

…

p9m4

…

pari

sci-mathematics: Remove *-fbsd KEYWORDS

2019-10-11 17:37:35 +02:00

pari-data

sci-mathematics: Remove *-fbsd KEYWORDS

2019-10-11 17:37:35 +02:00

petsc

sci-mathematics/petsc: more configuration fixes

2019-11-14 17:26:40 -06:00

polymake

…

prng

…

prover9

…

psmt2-frontend

sci-mathematics/psmt2-frontend: fix make install

2019-10-29 22:12:42 +01:00

pspp

…

pymc

…

pymc3

…

relational

…

rkward

sci-mathematics/rkward: Fix build with Qt 5.13 (?)

2019-10-21 14:28:17 +02:00

rngstreams

…

rstudio

sci-mathematics/rstudio: depend on qtwebengine[widgets]

2019-10-20 13:41:04 +02:00

rw

sci-mathematics/rw: new revision to fix the build.

2019-10-08 18:07:10 -04:00

sha1-polyml

…

singular

…

slepc

sci-mathematics/slepc: version bump to 3.12.1

2019-11-14 00:01:51 -06:00

snns

…

spin

…

topcom

…

twelf

…

unuran

…

why3-for-spark

sci-mathematics/why3-for-spark: version bump to 2019

2019-10-11 09:28:10 +02:00

wxmaxima

sci-mathematics/wxmaxima: bump to 19.11.0

2019-11-15 17:46:36 +07:00

xmds

…

yacas

…

yafu

…

z3

sci-mathematics/z3: arm64 stable (bug #700296)

2019-11-23 13:47:45 -05:00

metadata.xml

…