| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/coq: Bump to 8.9.1 | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2019-09-24 | 2 | -0/+87 |
* | sci-mathematics/gimps: Cleanup old version | ![](//www.gravatar.com/avatar/6cc041b32aa3b43c25c49e0256808ea2?s=13&d=retro) PPed72 | 2019-09-23 | 2 | -62/+0 |
* | sci-mathematics/gimps: version bump to version 29.8b6 | ![](//www.gravatar.com/avatar/6cc041b32aa3b43c25c49e0256808ea2?s=13&d=retro) PPed72 | 2019-09-23 | 2 | -0/+72 |
* | sci-mathematics/z3: Bump to 4.8.6 | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2019-09-20 | 2 | -0/+94 |
* | sci-mathematics/z3: arm64 stable (bug #693856) | ![](//www.gravatar.com/avatar/0941a3e87705817f6513bd5775a2e557?s=13&d=retro) Aaron Bauman | 2019-09-16 | 1 | -1/+1 |
* | sci-mathematics/gmp-ecm: Fix custom-tune useflag | ![](//www.gravatar.com/avatar/9a7dd4df424714072d54afbd75799103?s=13&d=retro) Patrick Lauer | 2019-09-15 | 1 | -2/+1 |
* | sci-mathematics/isabelle: Remove last-rited pkg | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2019-09-14 | 13 | -647/+0 |
* | sci-mathematics/cvc3: Remove last-rited pkg | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2019-09-14 | 5 | -266/+0 |
* | sci-mathematics/e: Remove last-rited pkg | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2019-09-14 | 5 | -238/+0 |
* | sci-mathematics/kodkodi: Remove last-rited pkg | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2019-09-14 | 3 | -127/+0 |
* | sci-mathematics/spass: Remove last-rited pkg | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2019-09-14 | 3 | -163/+0 |
* | sci-mathematics/wxmaxima: bump to 19.09.0 | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2019-09-14 | 2 | -0/+46 |
* | sci-mathematics/z3: arm stable wrt bug #693856 | ![](//www.gravatar.com/avatar/8052ba2e0894e17b4d3ee627c0986a7d?s=13&d=retro) Mikle Kolyada | 2019-09-13 | 1 | -1/+1 |
* | sci-mathematics/alt-ergo: fix BadInsIntoDir warning | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2019-09-12 | 2 | -4/+2 |
* | sci-mathematics/e: Bump to 2.3, fix HOMEPAGE and SRC_URI | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2019-09-11 | 5 | -256/+84 |
* | sci-mathematics/z3: ppc64 stable wrt bug #693856 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2019-09-11 | 1 | -1/+1 |
* | sci-mathematics/z3: x86 stable wrt bug #693856 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2019-09-10 | 1 | -1/+1 |
* | sci-mathematics/z3: amd64 stable wrt bug #693856 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2019-09-10 | 1 | -1/+1 |
* | sci-mathematics/alt-ergo: fix build | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2019-09-07 | 1 | -1/+3 |
* | sci-mathematics/drgeo: Remove | ![](//www.gravatar.com/avatar/039be336c471acee847c2740efae15c0?s=13&d=retro) Matt Turner | 2019-09-01 | 4 | -129/+0 |
* | sci-mathematics/num-utils: Remove old | ![](//www.gravatar.com/avatar/ad749c7d33947840e611b0e18be937fa?s=13&d=retro) David Seifert | 2019-08-29 | 2 | -28/+0 |
* | sci-mathematics/gmp-ecm: Bump | ![](//www.gravatar.com/avatar/9a7dd4df424714072d54afbd75799103?s=13&d=retro) Patrick Lauer | 2019-08-25 | 2 | -0/+56 |
* | sci-mathematics/octave: Bump to 5.1.0. | ![](//www.gravatar.com/avatar/17c5e03582dec4b078177e68ae94e89c?s=13&d=retro) Benda Xu | 2019-08-25 | 3 | -0/+236 |
* | sci-mathematics/rstudio: Fix #692728 dep webkit -> webengine | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2019-08-23 | 1 | -1/+1 |
* | sci-mathematics/spass: add missing slash | ![](//www.gravatar.com/avatar/9d15a677bb67b6c5e4eb01e8ed206d3b?s=13&d=retro) Thomas Deutschmann | 2019-08-22 | 1 | -1/+1 |
* | sci-mathematics/rstudio: fix slashes | ![](//www.gravatar.com/avatar/9d15a677bb67b6c5e4eb01e8ed206d3b?s=13&d=retro) Thomas Deutschmann | 2019-08-22 | 1 | -3/+3 |
* | sci-mathematics/spass: fix missing slashes | ![](//www.gravatar.com/avatar/9d15a677bb67b6c5e4eb01e8ed206d3b?s=13&d=retro) Thomas Deutschmann | 2019-08-22 | 1 | -7/+7 |
* | sci-mathematics/rstudio: fix missing slashes | ![](//www.gravatar.com/avatar/9d15a677bb67b6c5e4eb01e8ed206d3b?s=13&d=retro) Thomas Deutschmann | 2019-08-22 | 1 | -3/+3 |
* | sci-mathematics/spass: Fix #645394, remove old | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2019-08-22 | 3 | -86/+4 |
* | sci-mathematics/rstudio: Bump to 1.2.1335, fix compile with >=boost 1.70.0 | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2019-08-22 | 17 | -383/+1451 |
* | sci-mathematics/wxmaxima: bump to 19.08.1 | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2019-08-18 | 2 | -0/+58 |
* | sci-mathematics/wxmaxima: cleaning old versions | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2019-08-18 | 3 | -134/+0 |
* | sci-mathematics/slepc: port to EAPI 7 | ![](//www.gravatar.com/avatar/bd7d4a4adfa53f9f0bb57eb7b45de126?s=13&d=retro) Matthias Maier | 2019-08-05 | 1 | -6/+6 |
* | sci-mathematics/slepc: package migration from ::science overlay | ![](//www.gravatar.com/avatar/bd7d4a4adfa53f9f0bb57eb7b45de126?s=13&d=retro) Matthias Maier | 2019-08-05 | 3 | -0/+91 |
* | sci-mathematics/petsc: package migration from ::science overlay | ![](//www.gravatar.com/avatar/bd7d4a4adfa53f9f0bb57eb7b45de126?s=13&d=retro) Matthias Maier | 2019-08-05 | 5 | -0/+252 |
* | sci-mathematics/gwnum: Remove last-rited package | ![](//www.gravatar.com/avatar/ad749c7d33947840e611b0e18be937fa?s=13&d=retro) David Seifert | 2019-08-01 | 3 | -42/+0 |
* | sci-mathematics/lpsolve: arm64 stable | ![](//www.gravatar.com/avatar/0941a3e87705817f6513bd5775a2e557?s=13&d=retro) Aaron Bauman | 2019-07-30 | 1 | -2/+2 |
* | sci-mathematics/alt-ergo: bump to 2.3.0 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2019-07-27 | 2 | -0/+43 |
* | sci-mathematics/psmt2-frontend: add psmt2-frontend | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2019-07-26 | 4 | -0/+60 |
* | sci-mathematics/alt-ergo: Fix dependency | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2019-07-25 | 1 | -2/+2 |
* | sci-mathematics/cvc4: Add readline use flag | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2019-07-25 | 1 | -1/+3 |
* | sci-mathematics/yacas: Drop broken 1.7.0 (r0) | ![](//www.gravatar.com/avatar/14613e7fdf5b7bdc0425cd471de146f4?s=13&d=retro) Andreas Sturmlechner | 2019-07-24 | 1 | -53/+0 |
* | sci-mathematics/yacas: Fix desktop file icon path | ![](//www.gravatar.com/avatar/14613e7fdf5b7bdc0425cd471de146f4?s=13&d=retro) Andreas Sturmlechner | 2019-07-24 | 2 | -1/+28 |
* | sci-mathematics/yacas: Disable cmake external downloads, use bundled | ![](//www.gravatar.com/avatar/14613e7fdf5b7bdc0425cd471de146f4?s=13&d=retro) Andreas Sturmlechner | 2019-07-24 | 3 | -0/+170 |
* | sci-mathematics/cvc4: add statistics, replay and proofs use flag | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2019-07-23 | 2 | -1/+8 |
* | sci-mathematics/kodkod: Remove mistaken use of PYTHON_REQUIRED_USE | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2019-07-22 | 1 | -2/+1 |
* | sci-mathematics/genius: Fixed build with sys-libs/ncurses[tinfo] | ![](//www.gravatar.com/avatar/3b85e7525b4cd497dfdf12bfeb5937ff?s=13&d=retro) Lars Wendler | 2019-07-18 | 3 | -3/+67 |
* | sci-mathematics/cvc4: Fix sandbox issue | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2019-07-18 | 1 | -0/+8 |
* | sci-mathematics/yacas: Drop 1.6.1-r1 | ![](//www.gravatar.com/avatar/14613e7fdf5b7bdc0425cd471de146f4?s=13&d=retro) Andreas Sturmlechner | 2019-07-17 | 3 | -57/+0 |
* | sci-mathematics/yacas: 1.7.0 version bump | ![](//www.gravatar.com/avatar/14613e7fdf5b7bdc0425cd471de146f4?s=13&d=retro) Andreas Sturmlechner | 2019-07-17 | 3 | -0/+273 |