summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* sci-mathematics/qtoctave: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-251-12/+12
* sci-mathematics/prng: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-251-7/+7
* sci-mathematics/pari-data: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-251-14/+14
* sci-mathematics/octave-epstk: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-251-10/+10
* sci-mathematics/minisat: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-251-3/+2
* sci-mathematics/ginac: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-251-12/+12
* sci-mathematics/genius: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-251-17/+18
* sci-mathematics/drgeo: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-251-7/+7
* sci-mathematics/fricas: WhitespacePatrick Lauer2017-11-253-0/+3
* sci-mathematics/geogebra: fix metadata indentationAmy Liffey2017-11-211-12/+12
* sci-mathematics/geogebra: enable oracle-jdk-bin during buildtimeAmy Liffey2017-11-211-1/+6
* sci-mathematics/rstudio: [QA] Add cmake-utils_src_prepareDavid Seifert2017-11-191-1/+1
* sci-mathematics/rstudio: Remove oldDavid Seifert2017-11-1927-4546/+0
* sci-mathematics/glpk: stable 4.63 for sparc, bug #626228 (thanks to Rolf Eike...Sergei Trofimovich2017-11-081-1/+1
* sci-mathematics/why3-for-spark: dev-ml/camlzip-1.06 causes problem.Tupone Alfredo2017-11-061-1/+1
* sci-mathematics/why3-for-spark: Add ocamlopt use flagTupone Alfredo2017-11-041-2/+10
* sci-mathematics/why3-for-spark: Install librariesTupone Alfredo2017-11-041-0/+1
* sci-mathematics/why3-for-spark: Enable coq tacticsTupone Alfredo2017-11-012-1/+27
* sci-mathematics/why3-for-spark: remove extra --disable-zipTupone Alfredo2017-10-251-1/+0
* sci-mathematics/why3-for-spark: Add zip use flagsTupone Alfredo2017-10-242-3/+6
* sci-mathematics/why3-for-spark: Adding examplesTupone Alfredo2017-10-241-0/+2
* sci-mathematics/rstudio: version bump to 1.1.368Sobhan Mohammadpour2017-10-243-0/+325
* sci-mathematics/why3-for-spark: Fix SRC_URITupone Alfredo2017-10-231-1/+1
* sci-mathematics/why3-for-spark: Fix metadata.xmlTupone Alfredo2017-10-201-23/+23
* sci-mathematics/why3-for-spark: Adding why3 for sparkTupone Alfredo2017-10-194-0/+116
* sci-mathematics/rstudio: Drop old, Qt4WebKit rdepsAndreas Sturmlechner2017-10-1517-1714/+0
* sci-mathematics/rkward: Drop to ~archAndreas Sturmlechner2017-10-143-75/+0
* sci-mathematics/alt-ergo: Adding alt-ergo 1.30Tupone Alfredo2017-10-143-0/+51
* sci-mathematics/rkward: add KF5 snapshotMichael Palimaka2017-10-122-0/+52
* sci-mathematics/octave: Fix >=qscintilla-2.10 detectionAndreas Sturmlechner2017-10-082-2/+12
* sci-mathematics/maxima: bump to 5.41.0Andrey Grozin2017-10-052-0/+209
* sci-mathematics/flint: Fix FTBFS with PIE enabledThomas Deutschmann2017-09-244-2/+23
* sci-mathematics/flint: Fix compilation with >=sys-devel/binutils-2.25.1Alexander Tsoy2017-09-243-3/+17
* sci-mathematics/flint: Cleanup oldThomas Deutschmann2017-09-243-95/+0
* sci-mathematics/isabelle: use HTTPS for links to dev.gentoo.orgFrancesco Turco2017-09-061-3/+3
* sci-mathematics/Macaulay2: use HTTPS for links to dev.gentoo.orgFrancesco Turco2017-09-061-2/+2
* sci-mathematics/glpk: stable 4.63 for ia64, bug #626228Sergei Trofimovich2017-09-021-1/+1
* sci-mathematics/lpsolve: added ~arm64 keywordRoy Bamford2017-08-281-2/+2
* sci-mathematics/cado-nfs: Remove last-rited pkg, #587942Michał Górny2017-08-143-56/+0
* sci-mathematics/z3: remove unused patchMichael Mair-Keimberger (asterix)2017-08-131-76/+0
* sci-mathematics/gmm: fix homepage, src_uriAmy Liffey2017-08-111-2/+2
* sci-mathematics/geogebra: remove unused patchMichael Mair-Keimberger (asterix)2017-08-081-78/+0
* sci-mathematics/rw: update proxy maintainer emailAmy Liffey2017-08-061-1/+1
* sci-mathematics/4ti2: version bumpSébastien Fabbro2017-07-312-0/+44
* sci-mathematics/normaliz: version bumpSébastien Fabbro2017-07-313-4/+65
* sci-mathematics/relational: remove 2.4Michael Palimaka2017-07-292-43/+0
* sci-mathematics/arb: fixed for linking with PIESébastien Fabbro2017-07-282-1/+21
* sci-mathematics/glpk: bump.Robin H. Johnson2017-07-273-0/+157
* sci-mathematics/form: bump to 4.2.0Andrey Grozin2017-07-262-0/+82
* sci-mathematics/arb: initial import, with help from sage-on-gentoo overlaySébastien Fabbro2017-07-253-0/+74