Alexis Ballier 45ad531930 sci-mathematics/coq: bump to 8.5 ...

Package-Manager: portage-2.2.27
Signed-off-by: Alexis Ballier <aballier@gentoo.org>

2016-01-23 18:28:36 +01:00

..

4ti2

sci-mathematics/4ti2: ppc stable wrt bug #556418

2015-11-12 11:10:46 +01:00

agda

sci-mathematics/{agda,agda-stdlib}: version bump

2016-01-13 16:02:59 +01:00

agda-executable

…

agda-lib-ffi

…

agda-stdlib

sci-mathematics/{agda,agda-stdlib}: version bump

2016-01-13 16:02:59 +01:00

axiom

Update hashes in Manifest

2015-09-23 17:27:33 +02:00

bertini

…

cado-nfs

sci-mathematics/cado-nfs: Bump

2015-12-21 14:22:59 +01:00

calc

Add missing remote-id type=sourceforge

2015-10-01 14:02:01 +02:00

cgal

sci-mathematics/cgal: x86 stable wrt bug #556258

2015-12-25 17:18:44 +01:00

coq

sci-mathematics/coq: bump to 8.5

2016-01-23 18:28:36 +01:00

cvc3

…

dataplot

…

diagrtb

Drop myself as maintainer

2016-01-09 19:11:40 +01:00

drgeo

Update hashes in Manifest

2015-09-23 17:27:33 +02:00

e

…

ent

Drop myself as maintainer

2016-01-09 19:11:40 +01:00

euler

…

factmsieve

…

fann

sci-mathematics/fann-9999

2016-01-12 13:26:48 -05:00

flint

sci-mathematics/flint: Bump #557978

2016-01-05 10:41:26 +01:00

form

…

freemat

…

fricas

sci-mathematics/fricas: update depend on sbcl to <=1.3.0

2015-12-19 20:50:39 +06:00

frobby

…

genius

…

geogebra

…

geomview

…

gfan

Update hashes in Manifest

2015-09-23 17:27:33 +02:00

ggnfs

…

gimps

sci-mathematics/gimps: Remove old

2015-10-05 09:40:02 +02:00

ginac

sci-mathematics/ginac: bump to 1.6.6

2016-01-03 00:04:02 +06:00

glpk

sci-mathematics/glpk: drop prefix keywords which don't have the new deps, bug #511446

2016-01-23 12:05:36 +01:00

gmm

…

gmp-ecm

…

gretl

…

gsl-shell

…

gwnum

…

isabelle

…

jags

sci-mathematics/jags: Remove 'autotools-utils.eclass', EAPI=6

2016-01-21 20:44:10 +01:00

kodkod

…

kodkodi

…

lpsolve

Add missing remote-id type=sourceforge

2015-10-01 14:02:01 +02:00

lybniz

Update hashes in Manifest

2015-09-23 17:27:33 +02:00

Macaulay2

…

mathomatic

…

maxima

sci-mathematics/maxima: linguas_de support

2015-12-25 17:41:22 +06:00

minisat

Update hashes in Manifest

2015-09-23 17:27:33 +02:00

mlpy

…

msieve

Add missing remote-id type=sourceforge

2015-10-01 14:02:01 +02:00

nauty

…

nestedsums

sci-mathematics/nestedsums: keyworded 1.4.12-r1 ~amd64

2016-01-04 15:35:13 +06:00

normaliz

sci-mathematics/normaliz: add gmp-6.1 compatibility

2015-11-13 16:59:04 +01:00

num-utils

sci-mathematics/num-utils: add ~arm, bug #559776

2015-10-01 22:47:40 +02:00

nusmv

Update hashes in Manifest

2015-09-23 17:27:33 +02:00

octave

…

octave-epstk

Update hashes in Manifest

2015-09-23 17:27:33 +02:00

otter

Update hashes in Manifest

2015-09-23 17:27:33 +02:00

p9m4

…

pari

sci-mathematics/pari: fix building docs with perl-5.22

2015-11-14 22:06:17 +06:00

pari-data

…

polymake

…

prng

sci-mathematics/prng: Revbump, modernize to EAPI=6, fix #570100

2016-01-13 00:50:37 +01:00

prover9

…

pspp

…

pymc

…

qtoctave

…

reduce

fix various encoding corruption

2015-10-10 01:03:34 -04:00

relational

Update hashes in Manifest

2015-09-23 17:27:33 +02:00

rkward

…

rngstreams

…

rstudio

sci-mathematics/rstudio: Use egit_clean to clean workdir

2016-01-22 22:03:03 +01:00

rw

sci-mathematics/rw: metadata.xml: update maintainer's email address

2015-10-31 17:36:01 +08:00

sha1-polyml

sci-mathematics/sha1-polyml: Make var declaration globally

2015-11-13 10:37:01 +01:00

singular

sci-mathematics/singular: ppc stable wrt bug #556418

2015-11-12 11:10:36 +01:00

snns

Replace all remaining mirror://berlios with mirror://gentoo

2015-12-20 00:02:14 +01:00

spass

…

spin

sci-mathematics/spin: version bump (6.4.5); now the license is BSD

2016-01-09 13:00:49 +01:00

topcom

Update hashes in Manifest

2015-09-23 17:27:33 +02:00

twelf

…

unuran

…

wxmaxima

sci-mathematics/wxmaxima: ppc stable wrt bug #563942

2015-11-12 10:38:40 +01:00

xmds

Update hashes in Manifest

2015-09-23 17:27:33 +02:00

yacas

Add missing remote-id type=sourceforge

2015-10-01 14:02:01 +02:00

yafu

Add missing remote-id type=sourceforge

2015-10-01 14:02:01 +02:00

metadata.xml

…