summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Expand)AuthorAge
* sci-mathematics/glpk: stable 4.63 for sparc, bug #626228 (thanks to Rolf Eike...Sergei Trofimovich2017-11-08
* sci-mathematics/why3-for-spark: dev-ml/camlzip-1.06 causes problem.Tupone Alfredo2017-11-06
* sci-mathematics/why3-for-spark: Add ocamlopt use flagTupone Alfredo2017-11-04
* sci-mathematics/why3-for-spark: Install librariesTupone Alfredo2017-11-04
* sci-mathematics/why3-for-spark: Enable coq tacticsTupone Alfredo2017-11-01
* sci-mathematics/why3-for-spark: remove extra --disable-zipTupone Alfredo2017-10-25
* sci-mathematics/why3-for-spark: Add zip use flagsTupone Alfredo2017-10-24
* sci-mathematics/why3-for-spark: Adding examplesTupone Alfredo2017-10-24
* sci-mathematics/rstudio: version bump to 1.1.368Sobhan Mohammadpour2017-10-24
* sci-mathematics/why3-for-spark: Fix SRC_URITupone Alfredo2017-10-23
* sci-mathematics/why3-for-spark: Fix metadata.xmlTupone Alfredo2017-10-20
* sci-mathematics/why3-for-spark: Adding why3 for sparkTupone Alfredo2017-10-19
* sci-mathematics/rstudio: Drop old, Qt4WebKit rdepsAndreas Sturmlechner2017-10-15
* sci-mathematics/rkward: Drop to ~archAndreas Sturmlechner2017-10-14
* sci-mathematics/alt-ergo: Adding alt-ergo 1.30Tupone Alfredo2017-10-14
* sci-mathematics/rkward: add KF5 snapshotMichael Palimaka2017-10-12
* sci-mathematics/octave: Fix >=qscintilla-2.10 detectionAndreas Sturmlechner2017-10-08
* sci-mathematics/maxima: bump to 5.41.0Andrey Grozin2017-10-05
* sci-mathematics/flint: Fix FTBFS with PIE enabledThomas Deutschmann2017-09-24
* sci-mathematics/flint: Fix compilation with >=sys-devel/binutils-2.25.1Alexander Tsoy2017-09-24
* sci-mathematics/flint: Cleanup oldThomas Deutschmann2017-09-24
* sci-mathematics/isabelle: use HTTPS for links to dev.gentoo.orgFrancesco Turco2017-09-06
* sci-mathematics/Macaulay2: use HTTPS for links to dev.gentoo.orgFrancesco Turco2017-09-06
* sci-mathematics/glpk: stable 4.63 for ia64, bug #626228Sergei Trofimovich2017-09-02
* sci-mathematics/lpsolve: added ~arm64 keywordRoy Bamford2017-08-28
* sci-mathematics/cado-nfs: Remove last-rited pkg, #587942Michał Górny2017-08-14
* sci-mathematics/z3: remove unused patchMichael Mair-Keimberger (asterix)2017-08-13
* sci-mathematics/gmm: fix homepage, src_uriAmy Liffey2017-08-11
* sci-mathematics/geogebra: remove unused patchMichael Mair-Keimberger (asterix)2017-08-08
* sci-mathematics/rw: update proxy maintainer emailAmy Liffey2017-08-06
* sci-mathematics/4ti2: version bumpSébastien Fabbro2017-07-31
* sci-mathematics/normaliz: version bumpSébastien Fabbro2017-07-31
* sci-mathematics/relational: remove 2.4Michael Palimaka2017-07-29
* sci-mathematics/arb: fixed for linking with PIESébastien Fabbro2017-07-28
* sci-mathematics/glpk: bump.Robin H. Johnson2017-07-27
* sci-mathematics/form: bump to 4.2.0Andrey Grozin2017-07-26
* sci-mathematics/arb: initial import, with help from sage-on-gentoo overlaySébastien Fabbro2017-07-25
* sci-mathematics/rstudio: Bump to 1.0.153Mark Wright2017-07-24
* sci-mathematics/mathomatic: cleaning up, frozen package.Sébastien Fabbro2017-07-21
* sci-mathematics/cgal: version bumpSébastien Fabbro2017-07-21
* sci-mathematics/coq: bump to 8.6.1Alexis Ballier2017-07-18
* sci-mathematics/coq: Remove oldAlexis Ballier2017-07-14
* sci-mathematics/nauty: version bumpChristoph Junghans2017-07-10
* sci-mathematics/coq: ppc stable wrt bug #619676Agostino Sarubbo2017-07-07
* sci-mathematics/coq: x86 stable wrt bug #619676Agostino Sarubbo2017-07-07
* sci-mathematics/coq: amd64 stable wrt bug #619676Agostino Sarubbo2017-07-07
* sci-mathematics/freemat: remove last rited packageMichael Palimaka2017-07-04
* sci-mathematics/glpk: ia64 keyworded, bug #575366Sergei Trofimovich2017-07-01
* sci-mathematics/glpk: ia64 keyworded, bug #575366Sergei Trofimovich2017-07-01
* sci-mathematics/pymc3: version bumpSébastien Fabbro2017-06-28
generated by cgit v1.2.1 (git 2.18.0) at 2024-08-08 18:11:00 +0000