Francesco Turco 61bcb30dfd sci-mathematics/isabelle: use HTTPS for links to dev.gentoo.org

2017-09-06 22:59:17 +02:00

..

4ti2

sci-mathematics/4ti2: version bump

2017-07-31 18:12:25 +00:00

agda

…

agda-lib-ffi

…

agda-stdlib

…

arb

sci-mathematics/arb: fixed for linking with PIE

2017-07-28 21:42:01 +00:00

axiom

…

bertini

…

calc

…

cgal

sci-mathematics/cgal: version bump

2017-07-21 17:37:53 +00:00

coq

sci-mathematics/coq: bump to 8.6.1

2017-07-18 19:18:24 +02:00

cvc3

…

dataplot

…

diagrtb

…

drgeo

…

dunshire

…

e

…

ent

…

euler

…

factmsieve

…

fann

…

flint

…

form

sci-mathematics/form: bump to 4.2.0

2017-07-26 22:53:39 +07:00

fricas

…

frobby

…

genius

…

geogebra

sci-mathematics/geogebra: remove unused patch

2017-08-08 10:58:56 +02:00

geomview

…

gfan

…

ggnfs

…

gimps

…

ginac

…

glpk

sci-mathematics/glpk: stable 4.63 for ia64, bug #626228

2017-09-02 17:07:19 +01:00

gmm

sci-mathematics/gmm: fix homepage, src_uri

2017-08-11 21:57:01 +02:00

gmp-ecm

…

gretl

…

gsl-shell

…

gwnum

…

isabelle

sci-mathematics/isabelle: use HTTPS for links to dev.gentoo.org

2017-09-06 22:59:17 +02:00

jags

…

kodkod

…

kodkodi

…

lpsolve

sci-mathematics/lpsolve: added ~arm64 keyword

2017-08-28 01:34:02 +10:00

lybniz

…

Macaulay2

sci-mathematics/Macaulay2: use HTTPS for links to dev.gentoo.org

2017-09-06 22:59:14 +02:00

mathmod

…

mathomatic

sci-mathematics/mathomatic: cleaning up, frozen package.

2017-07-21 17:37:53 +00:00

maxima

sci-mathematics/maxima: bump to 5.40.0

2017-05-31 02:37:46 +07:00

minisat

Globally add missing remote ID references to metadata.xml

2017-04-29 19:49:16 +01:00

mlpy

…

msieve

…

nauty

sci-mathematics/nauty: version bump

2017-07-10 22:07:55 -06:00

nestedsums

sci-mathematics/nestedsums: Drop old, bug 605728

2017-06-16 21:55:19 +02:00

normaliz

sci-mathematics/normaliz: version bump

2017-07-31 18:12:19 +00:00

num-utils

…

nusmv

…

octave

sci-mathematics/octave: Remove old

2017-06-11 23:43:56 +02:00

octave-epstk

…

otter

…

p9m4

…

pari

sci-mathematics/pari: Fix for '.' in @INC on perl 5.26 re bug #615016

2017-06-12 02:29:18 +12:00

pari-data

…

polymake

sci-mathematics/polymake: fix typo.

2017-05-15 00:53:03 +02:00

prng

…

prover9

…

pspp

…

pymc

Globally add missing remote ID references to metadata.xml

2017-04-29 19:49:16 +01:00

pymc3

sci-mathematics/pymc3: version bump

2017-06-28 04:00:13 +00:00

qtoctave

…

reduce

…

relational

sci-mathematics/relational: remove 2.4

2017-07-29 13:42:35 +10:00

rkward

…

rngstreams

…

rstudio

sci-mathematics/rstudio: Bump to 1.0.153

2017-07-24 14:13:56 +10:00

rw

sci-mathematics/rw: update proxy maintainer email

2017-08-06 10:13:41 +02:00

sha1-polyml

…

singular

…

snns

…

spass

…

spin

sci-mathematics/spin: remove phajdan.jr from maintainers -> maintainer-needed

2017-05-02 12:36:49 +02:00

topcom

…

twelf

…

unuran

…

wxmaxima

…

xmds

…

yacas

…

yafu

…

z3

sci-mathematics/z3: remove unused patch

2017-08-13 13:24:39 +02:00

metadata.xml

…