Alexis Ballier 7b808055aa sci-mathematics/coq: adjust deps for TeX Live 2016. ...

Package-Manager: Portage-2.3.3, Repoman-2.3.1

2017-01-23 10:18:44 +01:00

..

4ti2

Update metadata of sci packages due to retirement

2017-01-01 11:08:17 +01:00

agda

sci-mathematics/agda: allow alex-3.2, bug #600034

2016-11-18 22:41:10 +00:00

agda-lib-ffi

…

agda-stdlib

…

axiom

…

bertini

Update metadata of sci packages due to retirement

2017-01-01 11:08:17 +01:00

cado-nfs

…

calc

…

cgal

…

coq

sci-mathematics/coq: adjust deps for TeX Live 2016.

2017-01-23 10:18:44 +01:00

cvc3

sci-mathematics/cvc3: Add a patch to fix compiling with GCC 6

2016-10-30 00:30:12 +02:00

dataplot

…

diagrtb

…

drgeo

…

dunshire

sci-mathematics/dunshire: new package to solve linear games over cones.

2016-11-16 09:00:10 -05:00

e

sci-mathematics/e: Update to EAPI="6"

2017-01-03 10:11:02 +11:00

ent

…

euler

…

factmsieve

sci-mathematics/factmsieve: Revbump to EAPI=6

2016-11-03 21:22:58 +01:00

fann

sci-mathematics/fann: Drop old

2017-01-15 12:20:06 +01:00

flint

…

form

…

freemat

…

fricas

sci-mathematics/fricas: cleaning old

2017-01-22 23:25:32 +07:00

frobby

Update metadata of sci packages due to retirement

2017-01-01 11:08:17 +01:00

genius

sci-mathematics/genius: Drop old

2016-11-27 16:04:46 +01:00

geogebra

…

geomview

…

gfan

Update metadata of sci packages due to retirement

2017-01-01 11:08:17 +01:00

ggnfs

…

gimps

sci-mathematics/gimps: add a missing "die" statement.

2017-01-09 12:46:19 -05:00

ginac

…

glpk

sci-mathematics/glpk: version bump to 4.60

2016-12-12 06:22:24 +00:00

gmm

…

gmp-ecm

…

gretl

…

gsl-shell

…

gwnum

…

isabelle

sci-mathematics/isabelle: Bump to 2016.1. Thanks to David E. Narv?ez for

2017-01-03 09:47:13 +11:00

jags

sci-mathematics/jags: x86 stable wrt bug #582930

2017-01-02 10:53:41 +01:00

kodkod

sci-mathematics/kodkod: Fix get_libdir called in global scope, thanks to

2017-01-03 09:52:35 +11:00

kodkodi

sci-mathematics/kodkodi: Update to EAPI="6"

2017-01-03 09:56:34 +11:00

lpsolve

…

lybniz

…

Macaulay2

Update metadata of sci packages due to retirement

2017-01-01 11:08:17 +01:00

mathmod

…

mathomatic

…

maxima

sci-mathematics/maxima: Remove old.

2017-01-13 21:35:27 +01:00

minisat

…

mlpy

…

msieve

sci-mathematics/msieve: Update SourceForge SVN URLs

2016-10-30 20:04:24 +00:00

nauty

Update metadata of sci packages due to retirement

2017-01-01 11:08:17 +01:00

nestedsums

…

normaliz

Update metadata of sci packages due to retirement

2017-01-01 11:08:17 +01:00

num-utils

…

nusmv

…

octave

sci-mathematics/octave: RDEPEND on dev-qt/qtopengl:5

2017-01-10 18:46:52 +02:00

octave-epstk

…

otter

…

p9m4

…

pari

…

pari-data

…

polymake

Update metadata of sci packages due to retirement

2017-01-01 11:08:17 +01:00

prng

…

prover9

fix quoting to a lot of patch calls

2017-01-20 19:53:52 -06:00

pspp

sci-mathematics/pspp: Drop old

2017-01-02 22:09:04 +00:00

pymc

…

pymc3

sci-mathematics/pymc3: initial import

2017-01-07 01:00:55 +00:00

qtoctave

…

reduce

…

relational

…

rkward

kde-base/katepart -> kde-apps/katepart

2016-12-23 20:51:34 +01:00

rngstreams

…

rstudio

sci-mathematics/rstudio: Bump to 1.0.136

2017-01-03 23:38:23 +11:00

rw

…

sha1-polyml

sci-mathematics/sha1-polyml: Bump to 5.6-1. Fix

2017-01-03 10:02:02 +11:00

singular

Update metadata of sci packages due to retirement

2017-01-01 11:08:17 +01:00

snns

sci-mathematics/snns: Drop old

2017-01-02 22:09:08 +00:00

spass

sci-mathematics/spass: Bump to 3.9

2017-01-03 10:07:12 +11:00

spin

…

topcom

Update metadata of sci packages due to retirement

2017-01-01 11:08:17 +01:00

twelf

fix quoting to a lot of patch calls

2017-01-20 19:53:52 -06:00

unuran

…

wxmaxima

sci-mathematics/wxmaxima: bump to 16.12.0

2016-12-12 10:31:29 +07:00

xmds

sci-mathematics/xmds: Drop old

2017-01-02 22:09:08 +00:00

yacas

…

yafu

…

z3

sci-mathematics/z3: Thanks to Daniel Gulotta for reporting.

2017-01-03 21:25:02 +11:00

metadata.xml

…