summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/rstudio: Bump to 1.0.153Mark Wright2017-07-242-0/+248
* sci-mathematics/mathomatic: cleaning up, frozen package.Sébastien Fabbro2017-07-214-54/+17
* sci-mathematics/cgal: version bumpSébastien Fabbro2017-07-214-115/+17
* sci-mathematics/coq: bump to 8.6.1Alexis Ballier2017-07-182-0/+92
* sci-mathematics/coq: Remove oldAlexis Ballier2017-07-145-228/+0
* sci-mathematics/nauty: version bumpChristoph Junghans2017-07-102-0/+51
* sci-mathematics/coq: ppc stable wrt bug #619676Agostino Sarubbo2017-07-071-1/+1
* sci-mathematics/coq: x86 stable wrt bug #619676Agostino Sarubbo2017-07-071-1/+1
* sci-mathematics/coq: amd64 stable wrt bug #619676Agostino Sarubbo2017-07-071-1/+1
* sci-mathematics/freemat: remove last rited packageMichael Palimaka2017-07-046-197/+0
* sci-mathematics/glpk: ia64 keyworded, bug #575366Sergei Trofimovich2017-07-011-1/+1
* sci-mathematics/glpk: ia64 keyworded, bug #575366Sergei Trofimovich2017-07-011-2/+2
* sci-mathematics/pymc3: version bumpSébastien Fabbro2017-06-282-3/+4
* sci-mathematics/glpk: keyword ~arm64Alexis Ballier2017-06-221-1/+1