| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/frama-c: set USE default | Andrew Ammerlaan | 2021-03-04 | 1 | -1/+1 |
* | sci-mathematics/why3: fix StaticURL | Andrew Ammerlaan | 2021-03-04 | 1 | -6/+2 |
* | sci-mathematics/why3: use the proper version number for frame-c | Andrew Ammerlaan | 2021-03-04 | 1 | -1/+1 |
* | sci-mathematics/frama-c: version bump 22.0, EAPI bump | Andrew Ammerlaan | 2021-03-04 | 2 | -23/+15 |
* | sci-mathematics/gappalib-coq: drop old | Andrew Ammerlaan | 2021-03-04 | 2 | -34/+0 |
* | sci-mathematics/gappalib-coq: version bump 1.4.6 | Andrew Ammerlaan | 2021-03-04 | 2 | -0/+36 |
* | sci-mathematics/flocq: drop old | Andrew Ammerlaan | 2021-03-04 | 2 | -36/+0 |
* | sci-mathematics/flocq: version bump 3.4.0 | Andrew Ammerlaan | 2021-03-04 | 2 | -0/+36 |
* | sci-mathematics/gappa: drop old | Andrew Ammerlaan | 2021-03-04 | 2 | -40/+0 |
* | sci-mathematics/gappa: version bump 1.3.5, EAPI bump | Andrew Ammerlaan | 2021-03-04 | 2 | -0/+42 |
* | sci-mathematics/why3: drop old | Andrew Ammerlaan | 2021-03-04 | 2 | -60/+0 |
* | sci-mathematics/why3: version bump 1.3.3, EAPI bump | Andrew Ammerlaan | 2021-03-04 | 2 | -0/+68 |
* | sci-mathematics/libsfmt: EAPI bump | Andrew Ammerlaan | 2021-03-04 | 1 | -2/+3 |
* | sci-mathematics/netgen: fixup dep, <sci-libs/metis-5.0 unavailable | Andrew Ammerlaan | 2021-02-25 | 2 | -2/+2 |
* | sci-mathematics/htk: drop dead package | Aisha Tammy | 2021-02-25 | 4 | -149/+0 |
* | sci-mathematics/lie: fixup to EAPI 7 | Aisha Tammy | 2021-02-25 | 4 | -139/+122 |
* | sci-mathematics/ltl2ba: Port to EAPI 7 | Jakov Smolic | 2021-02-20 | 1 | -9/+11 |
* | sci-mathematics/open-axiom: some steps towards fixing compilation | Andrew Ammerlaan | 2021-02-04 | 1 | -3/+3 |
* | sci-mathematics/Macaulay: remove pack, py2 only | Andrew Ammerlaan | 2021-02-01 | 7 | -378/+0 |
* | sci-mathematics/Macaulay2: remove redundant long description | Andrew Ammerlaan | 2021-01-30 | 1 | -4/+0 |
* | sci-mathematics/Oid: remove redundant long description | Andrew Ammerlaan | 2021-01-30 | 1 | -3/+0 |
* | sci-mathematics/giac: fix SRC_URI | Andrew Ammerlaan | 2021-01-29 | 6 | -82/+234 |
* | sci-mathematics/netgen: EAPI bump, add 6.0-beta | Andrew Ammerlaan | 2021-01-28 | 5 | -172/+133 |
* | sci-mathematics/giac: version bump, EAPI bump | Andrew Ammerlaan | 2021-01-28 | 2 | -19/+20 |
* | sci-mathematics/cipi: EAPI bump, fix compile phase | Andrew Ammerlaan | 2021-01-28 | 1 | -5/+11 |
* | sci-mathematics/Oid: EAPI bump | Andrew Ammerlaan | 2021-01-28 | 2 | -12/+14 |
* | sci-mathematics/lattE-macchiato: drop dead package | Aisha Tammy | 2021-01-26 | 4 | -300/+0 |
* | sci-mathematics/scilab: only add -fallow-argument-mismatch if supported | Andrew Ammerlaan | 2021-01-25 | 3 | -3/+3 |
* | sci-mathematics/scilab: merge fixes in 5.5.2 ebuild to the later versions | Andrew Ammerlaan | 2021-01-24 | 3 | -33/+60 |
* | sci-mathematics/scilab: revert ban of --as-needed | Fabio Rossi | 2021-01-24 | 1 | -4/+0 |
* | sci-mathematics/scilab: fix QA issues | Fabio Rossi | 2021-01-24 | 1 | -1/+6 |
* | sci-mathematics/scilab: fix dependency needed for USE=mpi | Fabio Rossi | 2021-01-24 | 1 | -0/+1 |
* | sci-mathematics/scilab: bump to EAPI 7 | Fabio Rossi | 2021-01-24 | 1 | -1/+1 |
* | sci-mathematics/scilab: remove USE=bash-completion | Fabio Rossi | 2021-01-24 | 1 | -2/+3 |
* | sci-mathematics/scilab: fix linking to deprecated lapack functions | Fabio Rossi | 2021-01-24 | 1 | -1/+1 |
* | sci-mathematics/scilab: re-add previous version 5.5.2 | Fabio Rossi | 2021-01-24 | 17 | -0/+998 |
* | sci-mathematics/ripser: update homepage | Andrew Ammerlaan | 2021-01-20 | 1 | -2/+2 |
* | sci-mathematics/pulp: update HOMEPAGE | Andrew Ammerlaan | 2021-01-19 | 1 | -2/+2 |
* | sci-mathematics/scilab: add default for use flag | Andrew Ammerlaan | 2021-01-19 | 3 | -1/+295 |
* | sci-mathematics/frama-c: add default for use flag | Andrew Ammerlaan | 2021-01-19 | 1 | -2/+2 |
* | sci-mathematics/Macaulay2: add default for gc flag | Andrew Ammerlaan | 2021-01-19 | 1 | -1/+1 |
* | sci-mathematics/netgen: use https | Andrew Ammerlaan | 2021-01-19 | 3 | -6/+6 |
* | sci-mathematics/lie: use https | Andrew Ammerlaan | 2021-01-19 | 1 | -2/+2 |
* | sci-mathematics/kash-bin: drop dead package | Aisha Tammy | 2021-01-18 | 3 | -67/+0 |
* | sci-mathematics/pff: remove pack, upstream has dissapeared | Andrew Ammerlaan | 2021-01-16 | 3 | -47/+0 |
* | sci-mathematics/Macaulay2: fix fetch, fix homepage | Andrew Ammerlaan | 2021-01-16 | 2 | -11/+13 |
* | sci-mathematics/lattE-macchiato: fix fetch, fix patch | Andrew Ammerlaan | 2021-01-16 | 2 | -12/+24 |
* | sci-mathematics/freefem++: version bump, fix fetch | Andrew Ammerlaan | 2021-01-16 | 5 | -192/+15 |
* | sci-mathematics/acl2: use https for homepage | Andrew Ammerlaan | 2021-01-13 | 2 | -4/+4 |
* | sci-mathematics/scilab: drop USE bash-completion, install unconditionally | Andrew Ammerlaan | 2021-01-11 | 1 | -2/+2 |