aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/frama-c: drop duplicate, newer version in ::guruNowa Ammerlaan44 hours3-79/+0
* sci-mathematics/Oid: Fix java, update URLsAlexander Puck Neuwirth2024-06-272-8/+29
* sci-mathematics/pulp: tests pass with python3.12Michael Schubert2024-06-191-1/+1
* sci-mathematics/pulp: Added pulp version 2.8.0 + python3.12Tomas Fabrizio Orsi2024-06-112-0/+22
* */*: fix BDEPEND -> DEPENDAlexander Puck Neuwirth2024-03-181-1/+1
* sci-mathematics/cipi: Fix boost linkingAlexander Puck Neuwirth2024-02-192-0/+62
* sci-mathematics/ltl2ba: add 1.2, 1.3Alexander Puck Neuwirth2024-02-193-0/+64
* sci-mathematics/frama-c: remove unused patch(es)Michael Mair-Keimberger2023-12-311-254/+0
* sci-mathematics/scilab-bin: add 2023.1.0Andrew Ammerlaan2023-09-262-0/+79
* sci-mathematics/pulp: disable py3.9Andrew Ammerlaan2023-05-021-1/+1
* sci-mathematics/gap: treecleanAndrew Ammerlaan2023-05-024-258/+0
* sci-mathematics/frama-c: USE flag is deprecated in dependencyHorea Christian2023-04-061-1/+1
* sci-mathematics/pulp: add 2.7.0, drop 2.4Andrew Ammerlaan2023-03-172-7/+5
* sci-mathematics/cipi: fix static uriAndrew Ammerlaan2023-02-101-1/+1
* sci-mathematics/acl2: remove duplicateAndrew Ammerlaan2023-01-127-390/+0
* 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