summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/relational: use HTTPSMichael Palimaka2017-12-221-1/+1
* profiles: Drop last-rited sci-mathematics/qtoctaveAndreas Sturmlechner2017-12-2112-436/+0
* sci-mathematics/glpk: stable 4.63 for ppc64, bug #626228Sergei Trofimovich2017-12-161-1/+1
* sci-mathematics/glpk-4.63-r0: amd64 stableTobias Klausmann2017-12-161-1/+1
* sci-mathematics/reduce: remove myself from maintainersAndrey Grozin2017-12-151-4/+0
* sci-mathematics/mathmod: remove myself from maintainersAndrey Grozin2017-12-151-4/+0
* sci-mathematics/gsl-shell: remove myself from maintainersAndrey Grozin2017-12-151-4/+0
* sci-mathematics/genius: remove myself from maintainersAndrey Grozin2017-12-151-4/+0
* sci-mathematics/snns: bump EAPI, make patches eapply, expand string length fo...Ian Stakenvicius2017-12-144-6/+163
* sci-mathematics/glpk: x86 stable (bug #626228)Thomas Deutschmann2017-12-121-1/+1
* sci-mathematics/pari: [QA] Move patches to distfilesMichał Górny2017-12-1120-1611/+28
* sci-mathematics/pari: Prune oldMichał Górny2017-12-1111-919/+0
* sci-mathematics: Update Manifest hashes.Ulrich Müller2017-12-1089-427/+427
* sci-mathematics/rstudio: version bump to 1.1.383Bernd Waibel2017-12-032-0/+248
* sci-mathematics/Macaulay2: Remove oldHarri Nieminen2017-12-023-207/+0
* sci-mathematics/Macaulay2: DestabilizeHarri Nieminen2017-12-021-1/+1
* sci-mathematics/gimps: version bump to 29.4.5.PPed722017-11-302-0/+71
* sci-mathematics/unuran: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-251-6/+6
* sci-mathematics/spass: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-251-4/+3
* sci-mathematics/rstudio: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-251-3/+3
* sci-mathematics/rngstreams: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-251-6/+6
* 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