Sergei Trofimovich 3ea9ef2b91 sci-mathematics/agda: fix hastables build failure, bu #574204 ...

While at it made USE=emacs depend and files optional,
fixed agda library reregistration.

Reported-by: Toralf Förster
Bug: https://bugs.gentoo.org/show_bug.cgi?id=574204

Package-Manager: portage-2.2.27

2016-02-08 22:15:49 +00:00

..

4ti2

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

agda

sci-mathematics/agda: fix hastables build failure, bu #574204

2016-02-08 22:15:49 +00:00

agda-executable

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

agda-lib-ffi

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

agda-stdlib

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

axiom

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

bertini

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

cado-nfs

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

calc

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

cgal

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

coq

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

cvc3

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

dataplot

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

diagrtb

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

drgeo

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

e

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

ent

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

euler

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

factmsieve

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

fann

sci-mathematics/fann: Whitespace

2016-02-08 10:50:54 +01:00

flint

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

form

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

freemat

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

fricas

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

frobby

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

genius

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

geogebra

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

geomview

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

gfan

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

ggnfs

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

gimps

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

ginac

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

glpk

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

gmm

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

gmp-ecm

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

gretl

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

gsl-shell

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

gwnum

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

isabelle

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

jags

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

kodkod

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

kodkodi

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

lpsolve

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

lybniz

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

Macaulay2

sci-mathematics/Macaulay2: bump to 1.8.2.1

2016-02-07 17:44:41 +01:00

mathomatic

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

maxima

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

minisat

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

mlpy

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

msieve

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

nauty

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

nestedsums

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

normaliz

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

num-utils

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

nusmv

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

octave

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

octave-epstk

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

otter

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

p9m4

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

pari

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

pari-data

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

polymake

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

prng

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

prover9

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

pspp

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

pymc

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

qtoctave

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

reduce

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

relational

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

rkward

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

rngstreams

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

rstudio

sci-mathematics/rstudio: Bump to 0.99.491

2016-01-29 17:24:48 +11:00

rw

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

sha1-polyml

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

singular

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

snns

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

spass

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

spin

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

topcom

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

twelf

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

unuran

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

wxmaxima

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

xmds

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

yacas

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

yafu

Set appropriate maintainer types in metadata.xml (GLEP 67)

2016-01-24 23:58:38 +01:00

metadata.xml

Revert DOCTYPE SYSTEM https changes in metadata.xml

2015-08-24 16:30:34 -04:00