| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/4ti2: Port to EAPI 7 | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-02-15 | 2 | -16/+5 |
* | sci-mathematics/diagrtb: EAPI-7 bump, use cmake.eclass | ![](//www.gravatar.com/avatar/14613e7fdf5b7bdc0425cd471de146f4?s=13&d=retro) Andreas Sturmlechner | 2021-02-14 | 2 | -6/+7 |
* | sci-mathematics/coq: Stabilize 8.12.0-r1 x86, #769317 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-02-11 | 1 | -1/+1 |
* | sci-mathematics/coq: Stabilize 8.12.0-r1 amd64, #769317 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-02-10 | 1 | -1/+1 |
* | sci-mathematics/why3-for-spark: fix dep | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2021-02-10 | 1 | -1/+1 |
* | sci-mathematics/ginac: Stabilize 1.7.11 amd64, #766797 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-02-09 | 1 | -1/+1 |
* | sci-mathematics/why3-for-spark: version bump to 2020 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2021-02-09 | 5 | -0/+173 |
* | sci-mathematics/coq: bumping back to 8.11.2 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2021-02-09 | 2 | -0/+91 |
* | sci-mathematics/ginac: Stabilize 1.7.11 x86, #766797 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-02-09 | 1 | -1/+1 |
* | sci-mathematics/coq: bump to 8.13.0 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-02-08 | 2 | -0/+89 |
* | sci-mathematics/coq: add github remote-id | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-02-08 | 1 | -0/+3 |
* | sci-mathematics/coq: fix metadata indentation | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-02-08 | 1 | -20/+22 |
* | sci-mathematics/coq: lower OCaml dep | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-02-08 | 1 | -4/+6 |
* | sci-mathematics/wxmaxima: bump to 21.01.0 | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2021-02-08 | 2 | -0/+52 |
* | sci-mathematics/lrcalc: new version 2.0. | ![](//www.gravatar.com/avatar/89691ba1d1ed8538e2435b9199a115e4?s=13&d=retro) Michael Orlitzky | 2021-02-07 | 2 | -0/+24 |
* | sci-mathematics/gimps: rename ${I} variable on 30.4.8 | ![](//www.gravatar.com/avatar/198f57212e3298b42e794b70019196af?s=13&d=retro) Joonas Niilola | 2021-02-03 | 1 | -6/+6 |
* | sci-mathematics/gimps: Version bump to version 30.4 build 8 | ![](//www.gravatar.com/avatar/6cc041b32aa3b43c25c49e0256808ea2?s=13&d=retro) PPed72 | 2021-02-03 | 2 | -0/+74 |
* | sci-mathematics/nestedsums: Drop USE=static-libs | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-01-31 | 1 | -19/+12 |
* | sci-mathematics/ginac: Depend on python-any-r1 | ![](//www.gravatar.com/avatar/ad749c7d33947840e611b0e18be937fa?s=13&d=retro) David Seifert | 2021-01-31 | 1 | -30/+36 |
* | */*: Remove obsolete values from PYTHON_COMPAT | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2021-01-31 | 10 | -10/+10 |
* | sci-mathematics/arb: Stabilize 2.18.1 amd64, #766977 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-01-27 | 1 | -1/+1 |
* | sci-mathematics/flint: Stabilize 2.6.3 amd64, #766977 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-01-27 | 1 | -1/+1 |
* | sci-mathematics/flint: Stabilize 2.6.3 ppc, #766977 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-01-25 | 1 | -2/+2 |
* | sci-mathematics/gmp-ecm: restore dropped ~arm{,64} | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-01-24 | 1 | -2/+2 |
* | sci-mathematics/flint: add myself and François Bissey as maintainers. | ![](//www.gravatar.com/avatar/89691ba1d1ed8538e2435b9199a115e4?s=13&d=retro) Michael Orlitzky | 2021-01-23 | 1 | -12/+26 |
* | sci-mathematics/flint: remove "unused" flint-2.7.0.ebuild. | ![](//www.gravatar.com/avatar/89691ba1d1ed8538e2435b9199a115e4?s=13&d=retro) Michael Orlitzky | 2021-01-23 | 2 | -65/+1 |
* | sci-mathematics/flint: upstream bump and fix bugs | ![](//www.gravatar.com/avatar/fd3223d02e9e18ffac0e24c092ceec5c?s=13&d=retro) François Bissey | 2021-01-23 | 1 | -0/+69 |
* | sci-mathematics/flint: revert "sci-mathematics/flint: Remove old" | ![](//www.gravatar.com/avatar/89691ba1d1ed8538e2435b9199a115e4?s=13&d=retro) Michael Orlitzky | 2021-01-23 | 2 | -0/+64 |
* | sci-mathematics/gmp-ecm: fix #732032, #750716 and update HOME and SRC_URI | ![](//www.gravatar.com/avatar/fd3223d02e9e18ffac0e24c092ceec5c?s=13&d=retro) François Bissey | 2021-01-22 | 3 | -0/+83 |
* | Revert "sci-mathematics/mathematica: Remove old" | ![](//www.gravatar.com/avatar/36167de7e11e3b358446823d51e69792?s=13&d=retro) Andreas K. Hüttel | 2021-01-22 | 3 | -0/+205 |
* | sci-mathematics/z3: Bump to 4.8.10 | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2021-01-21 | 2 | -0/+97 |
* | sci-mathematics/agda-stdlib: Remove unused file | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-01-20 | 1 | -1/+0 |
* | sci-mathematics/wxmaxima: Remove old | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-01-20 | 7 | -300/+0 |
* | sci-mathematics/why3-for-spark: Remove old | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-01-20 | 2 | -153/+0 |
* | sci-mathematics/rstudio: Remove old | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-01-20 | 14 | -1667/+0 |
* | sci-mathematics/twelf: Remove old | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-01-20 | 1 | -113/+0 |
* | sci-mathematics/sha1-polyml: Remove old | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-01-20 | 2 | -81/+0 |
* | sci-mathematics/petsc: Remove old | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-01-20 | 2 | -190/+0 |
* | sci-mathematics/normaliz: Remove old | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-01-20 | 6 | -232/+0 |
* | sci-mathematics/jags: Remove old | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-01-20 | 4 | -140/+0 |
* | sci-mathematics/msieve: Remove old | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-01-20 | 3 | -69/+0 |
* | sci-mathematics/maxima: Remove old | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-01-20 | 3 | -428/+0 |
* | sci-mathematics/num-utils: Remove old | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-01-20 | 2 | -50/+0 |
* | sci-mathematics/minisat: Remove old | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-01-20 | 4 | -229/+0 |
* | sci-mathematics/nauty: Remove old | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-01-20 | 2 | -42/+0 |
* | sci-mathematics/mathematica: Remove old | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-01-20 | 3 | -205/+0 |
* | sci-mathematics/gretl: Remove old | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-01-20 | 3 | -122/+0 |
* | sci-mathematics/flint: Remove old | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-01-20 | 2 | -64/+0 |
* | sci-mathematics/ginac: Remove old | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-01-20 | 2 | -67/+0 |
* | sci-mathematics/genius: Remove old | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-01-20 | 3 | -86/+0 |