aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/frama-c: set USE defaultAndrew Ammerlaan2021-03-041-1/+1
* sci-mathematics/why3: fix StaticURLAndrew Ammerlaan2021-03-041-6/+2
* sci-mathematics/why3: use the proper version number for frame-cAndrew Ammerlaan2021-03-041-1/+1
* sci-mathematics/frama-c: version bump 22.0, EAPI bumpAndrew Ammerlaan2021-03-042-23/+15
* sci-mathematics/gappalib-coq: drop oldAndrew Ammerlaan2021-03-042-34/+0
* sci-mathematics/gappalib-coq: version bump 1.4.6Andrew Ammerlaan2021-03-042-0/+36
* sci-mathematics/flocq: drop oldAndrew Ammerlaan2021-03-042-36/+0
* sci-mathematics/flocq: version bump 3.4.0Andrew Ammerlaan2021-03-042-0/+36
* sci-mathematics/gappa: drop oldAndrew Ammerlaan2021-03-042-40/+0
* sci-mathematics/gappa: version bump 1.3.5, EAPI bumpAndrew Ammerlaan2021-03-042-0/+42
* sci-mathematics/why3: drop oldAndrew Ammerlaan2021-03-042-60/+0
* sci-mathematics/why3: version bump 1.3.3, EAPI bumpAndrew Ammerlaan2021-03-042-0/+68
* sci-mathematics/libsfmt: EAPI bumpAndrew Ammerlaan2021-03-041-2/+3
* sci-mathematics/netgen: fixup dep, <sci-libs/metis-5.0 unavailableAndrew Ammerlaan2021-02-252-2/+2
* sci-mathematics/htk: drop dead packageAisha Tammy2021-02-254-149/+0
* sci-mathematics/lie: fixup to EAPI 7Aisha Tammy2021-02-254-139/+122
* sci-mathematics/ltl2ba: Port to EAPI 7Jakov Smolic2021-02-201-9/+11
* sci-mathematics/open-axiom: some steps towards fixing compilationAndrew Ammerlaan2021-02-041-3/+3
* sci-mathematics/Macaulay: remove pack, py2 onlyAndrew Ammerlaan2021-02-017-378/+0
* sci-mathematics/Macaulay2: remove redundant long descriptionAndrew Ammerlaan2021-01-301-4/+0
* sci-mathematics/Oid: remove redundant long descriptionAndrew Ammerlaan2021-01-301-3/+0
* sci-mathematics/giac: fix SRC_URIAndrew Ammerlaan2021-01-296-82/+234
* sci-mathematics/netgen: EAPI bump, add 6.0-betaAndrew Ammerlaan2021-01-285-172/+133
* sci-mathematics/giac: version bump, EAPI bumpAndrew Ammerlaan2021-01-282-19/+20
* sci-mathematics/cipi: EAPI bump, fix compile phaseAndrew Ammerlaan2021-01-281-5/+11
* sci-mathematics/Oid: EAPI bumpAndrew Ammerlaan2021-01-282-12/+14
* sci-mathematics/lattE-macchiato: drop dead packageAisha Tammy2021-01-264-300/+0
* sci-mathematics/scilab: only add -fallow-argument-mismatch if supportedAndrew Ammerlaan2021-01-253-3/+3
* sci-mathematics/scilab: merge fixes in 5.5.2 ebuild to the later versionsAndrew Ammerlaan2021-01-243-33/+60
* sci-mathematics/scilab: revert ban of --as-neededFabio Rossi2021-01-241-4/+0
* sci-mathematics/scilab: fix QA issuesFabio Rossi2021-01-241-1/+6
* sci-mathematics/scilab: fix dependency needed for USE=mpiFabio Rossi2021-01-241-0/+1
* sci-mathematics/scilab: bump to EAPI 7Fabio Rossi2021-01-241-1/+1
* sci-mathematics/scilab: remove USE=bash-completionFabio Rossi2021-01-241-2/+3
* sci-mathematics/scilab: fix linking to deprecated lapack functionsFabio Rossi2021-01-241-1/+1
* sci-mathematics/scilab: re-add previous version 5.5.2Fabio Rossi2021-01-2417-0/+998
* sci-mathematics/ripser: update homepageAndrew Ammerlaan2021-01-201-2/+2
* sci-mathematics/pulp: update HOMEPAGEAndrew Ammerlaan2021-01-191-2/+2
* sci-mathematics/scilab: add default for use flagAndrew Ammerlaan2021-01-193-1/+295
* sci-mathematics/frama-c: add default for use flagAndrew Ammerlaan2021-01-191-2/+2
* sci-mathematics/Macaulay2: add default for gc flagAndrew Ammerlaan2021-01-191-1/+1
* sci-mathematics/netgen: use httpsAndrew Ammerlaan2021-01-193-6/+6
* sci-mathematics/lie: use httpsAndrew Ammerlaan2021-01-191-2/+2
* sci-mathematics/kash-bin: drop dead packageAisha Tammy2021-01-183-67/+0
* sci-mathematics/pff: remove pack, upstream has dissapearedAndrew Ammerlaan2021-01-163-47/+0
* sci-mathematics/Macaulay2: fix fetch, fix homepageAndrew Ammerlaan2021-01-162-11/+13
* sci-mathematics/lattE-macchiato: fix fetch, fix patchAndrew Ammerlaan2021-01-162-12/+24
* sci-mathematics/freefem++: version bump, fix fetchAndrew Ammerlaan2021-01-165-192/+15
* sci-mathematics/acl2: use https for homepageAndrew Ammerlaan2021-01-132-4/+4
* sci-mathematics/scilab: drop USE bash-completion, install unconditionallyAndrew Ammerlaan2021-01-111-2/+2