Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/gappalib-coq: treecleanAndrew Ammerlaan2023-01-033-49/+0
* sci-mathematics/gappa: treecleanAndrew Ammerlaan2023-01-034-103/+0
* sci-mathematics/flocq: treecleanAndrew Ammerlaan2023-01-033-52/+0
* sci-mathematics/netgen: move to media-gfx categoryBernd Waibel2022-11-1511-403/+0
* sci-mathematics/netgen: add 6.2.2204Bernd Waibel2022-11-156-0/+243
* sci-mathematics/freefem++: drop 4.7.1Andrew Ammerlaan2022-11-152-103/+0
* add github remote-id when possibleJérôme Carretero2022-11-153-12/+19
* */*: virtual/jpeg deprecationAndrew Ammerlaan2022-05-021-1/+1
* sci-mathematics/open-axiom: remove dead packageAndrew Ammerlaan2022-01-243-53/+0
* sci-mathematics/scilab: remove scilab in favor of scilab-binAndrew Ammerlaan2022-01-2326-1827/+0
* sci-mathematics/freefem++: drop conflicting flag mpiAndrew Ammerlaan2022-01-152-4/+4
* sci-mathematics/netgen: cleanup oldAndrew Ammerlaan2022-01-1311-1206/+0
* sci-mathematics/netgen: add version 6.2.2105Andrew Ammerlaan2022-01-134-1/+139
* sci-mathematics/scilab-bin: add version 6.1.1Andrew Ammerlaan2022-01-113-0/+94
* sci-mathematics/scilab: drop UnusedInheritsAndrew Ammerlaan2021-12-163-3/+3
* sci-mathematics/netgen: fix inheritsAndrew Ammerlaan2021-12-162-6/+2
* sci-mathematics/freefem++: drop UnusedInheritsAndrew Ammerlaan2021-12-162-2/+2
* sci-mathematics/giac: remove duplicateAndrew Ammerlaan2021-12-135-243/+0
* sci-mathematics/why3: remove: ::guru version moved to ::gentooAndrew Ammerlaan2021-12-133-88/+0
* sci-mathematics/freefem++: add version 4.10Andrew Ammerlaan2021-12-132-0/+100
* sci-mathematics/acl2: Fix sed expression, clearer books installLucas Mitrak2021-10-072-0/+178
* sci-mathematics/acl2: Update 8.3 to the original intended ebuildLucas Mitrak2021-09-202-51/+86
* sci-mathematics/acl2: Require >=dev-lisp/sbcl-1.5.2 in BDEPENDLucas Mitrak2021-09-201-1/+1
* sci-mathematics/acl2: fix TAGS install, add emacs/doc flags, etcLucas Mitrak2021-09-124-1/+101
* sci-mathematics/flocq: EAPI bump, add multiprocessing to remakeLucas Mitrak2021-08-061-2/+4
* sci-mathematics/gappa: add version 1.4.0Andrew Ammerlaan2021-06-092-0/+43
* sci-mathematics/gappa: Add multiprocessing.eclass for makeopts_jobsLucas Mitrak2021-06-091-6/+4
* sci-mathematics/gappa: Remove -l or --load-average from ${MAKEOPTS}Lucas Mitrak2021-06-091-0/+5
* sci-mathematics/gap: fix BadDefaultUseFlagsAndrew Ammerlaan2021-06-011-3/+3
* sci-mathematics/dsfmt: remove package - moved to ::gentooMatthias Maier2021-04-073-43/+0
* sci-mathematics/scilab: some progressAndrew Ammerlaan2021-03-227-53/+19
* sci-mathematics/scilab: fix dep on luceneAndrew Ammerlaan2021-03-212-2/+2
* sci-mathematics/acl2: drop oldAndrew Ammerlaan2021-03-202-51/+0
* sci-mathematics/burrtool: remove masked packageAndrew Ammerlaan2021-03-193-61/+0
* 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