| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/acl2: Fix sed expression, clearer books install | Lucas Mitrak | 2021-10-07 | 2 | -0/+178 |
* | sci-mathematics/acl2: Update 8.3 to the original intended ebuild | Lucas Mitrak | 2021-09-20 | 2 | -51/+86 |
* | sci-mathematics/acl2: Require >=dev-lisp/sbcl-1.5.2 in BDEPEND | Lucas Mitrak | 2021-09-20 | 1 | -1/+1 |
* | sci-mathematics/acl2: fix TAGS install, add emacs/doc flags, etc | Lucas Mitrak | 2021-09-12 | 4 | -1/+101 |
* | sci-mathematics/flocq: EAPI bump, add multiprocessing to remake | Lucas Mitrak | 2021-08-06 | 1 | -2/+4 |
* | sci-mathematics/gappa: add version 1.4.0 | Andrew Ammerlaan | 2021-06-09 | 2 | -0/+43 |
* | sci-mathematics/gappa: Add multiprocessing.eclass for makeopts_jobs | Lucas Mitrak | 2021-06-09 | 1 | -6/+4 |
* | sci-mathematics/gappa: Remove -l or --load-average from ${MAKEOPTS} | Lucas Mitrak | 2021-06-09 | 1 | -0/+5 |
* | sci-mathematics/gap: fix BadDefaultUseFlags | Andrew Ammerlaan | 2021-06-01 | 1 | -3/+3 |
* | sci-mathematics/dsfmt: remove package - moved to ::gentoo | Matthias Maier | 2021-04-07 | 3 | -43/+0 |
* | sci-mathematics/scilab: some progress | Andrew Ammerlaan | 2021-03-22 | 7 | -53/+19 |
* | sci-mathematics/scilab: fix dep on lucene | Andrew Ammerlaan | 2021-03-21 | 2 | -2/+2 |
* | sci-mathematics/acl2: drop old | Andrew Ammerlaan | 2021-03-20 | 2 | -51/+0 |
* | sci-mathematics/burrtool: remove masked package | Andrew Ammerlaan | 2021-03-19 | 3 | -61/+0 |
* | 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 |