summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/gfan: Stabilize 0.6.2-r4 amd64, #832044Jakov Smolić8 hours1-1/+1
* sci-mathematics/gfan: Stabilize 0.6.2-r4 x86, #832044Jakov Smolić8 hours1-1/+1
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller33 hours11-11/+11
* sci-mathematics/gfan: disable test that fails on x86.Michael Orlitzky39 hours1-0/+4
* sci-mathematics/gfan: new revision to fix the doc build.Michael Orlitzky40 hours1-0/+71
* sci-mathematics/minisat: reformat metadata.xmlDavid Seifert3 days1-24/+23
* sci-mathematics/minisat: don't install static libraries (pg0204)David Seifert3 days2-6/+58
* sci-mathematics/yafu: Add openmp dependencyPatrick Lauer4 days1-1/+5
* sci-mathematics/geogebra-bin: add 5.0.683.0Georgy Yakovlev4 days2-0/+56
* sci-mathematics/pari: remove old "unused" pari-2.13.2.ebuild.Michael Orlitzky7 days2-122/+0
* sci-mathematics/pari: Stabilize 2.13.3 ppc, #831413Sam James7 days1-1/+1
* sci-mathematics/pari: Stabilize 2.13.3 ppc64, #831413Sam James7 days1-1/+1
* sci-mathematics/nauty: remove old "unused" ebuilds.Michael Orlitzky8 days3-108/+0
* sci-mathematics/nauty: Stabilize 2.7.3 x86, #831412Sam James8 days1-1/+1
* sci-mathematics/flint: Stabilize 2.8.4 x86, #831415Jakov Smolić8 days1-1/+1
* sci-mathematics/arb: Stabilize 2.21.0 x86, #831414Jakov Smolić8 days1-1/+1
* sci-mathematics/pari: Stabilize 2.13.3 x86, #831413Jakov Smolić8 days1-1/+1
* sci-mathematics/flint: Stabilize 2.8.4 amd64, #831415Jakov Smolić8 days1-2/+2
* sci-mathematics/arb: Stabilize 2.21.0 amd64, #831414Jakov Smolić8 days1-2/+2
* sci-mathematics/pari: Stabilize 2.13.3 amd64, #831413Jakov Smolić8 days1-2/+2
* sci-mathematics/nauty: Stabilize 2.7.3 amd64, #831412Jakov Smolić8 days1-2/+2
* sci-mathematics/lcalc: remove old "unused" lcalc-2.0.3.ebuild.Michael Orlitzky9 days2-32/+0
* sci-mathematics/lcalc: maintainer stabilize v2.0.5 on amd64.Michael Orlitzky9 days1-2/+2
* sci-mathematics/why3: add sci-mathematics to maintainersMaciej Barć9 days1-0/+4
* sci-mathematics/easycrypt: add sci-mathematics to maintainersMaciej Barć9 days1-0/+4
* sci-mathematics/minisat: drop old 2.2.0_p20130925 versionMaciej Barć9 days3-585/+0
* sci-mathematics/octave: remove old "unused" ebuilds.Michael Orlitzky9 days3-394/+0
* sci-mathematics/octave: new upstream version 6.4.0.Michael Orlitzky9 days2-0/+205
* sci-mathematics/spin: backport upstream fix for CVE-2021-46168Marek Szuba11 days2-1/+57
* sci-mathematics/giac: new upstream version 1.7.0.45.Michael Orlitzky12 days2-0/+166
* sci-mathematics/why3: fix race condition in parallel make docFrançois-Xavier Carton12 days1-0/+1
* sci-mathematics/why3: add missing latex dependenciesFrançois-Xavier Carton13 days1-1/+3
* sci-mathematics/gimps: add 32 bit binaryPPed722022-01-132-2/+4
* sci-mathematics/z3: Remove oldMichał Górny2022-01-112-104/+0
* sci-mathematics/z3: Stabilize 4.8.13 arm64, #830771Sam James2022-01-101-1/+1
* sci-mathematics/z3: Stabilize 4.8.13 arm, #830771Sam James2022-01-091-1/+1
* sci-mathematics/z3: Stabilize 4.8.13 ppc64, #830771Sam James2022-01-091-1/+1
* sci-mathematics/z3: Stabilize 4.8.13 amd64, #830771Jakov Smolić2022-01-081-1/+1
* sci-mathematics/z3: Stabilize 4.8.13 x86, #830771Jakov Smolić2022-01-081-2/+2
* sci-mathematics/lean: bump to 3.37.0Maciej Barć2022-01-082-0/+76
* sci-mathematics/rkward: Drop 0.7.2 (r0)Andreas Sturmlechner2022-01-071-54/+0
* sci-mathematics/rkward: EAPI-8, more optfeature, various fixesAndreas Sturmlechner2022-01-076-0/+420
* sci-mathematics/petsc: EAPI 8Alessandro Barbieri2022-01-042-3/+198
* sci-mathematics/singular: Keyword 4.2.1_p3 ppc, #829986Arthur Zamarin2021-12-311-1/+1
* sci-mathematics/singular: keyword 4.2.1_p3 for ~riscvAlex Fan2021-12-291-1/+1
* sci-mathematics/topcom: keyword 0.17.8-r1 for ~riscvAlex Fan2021-12-291-1/+1
* sci-mathematics/4ti2: keyword 1.6.7-r1 for ~riscvAlex Fan2021-12-291-1/+1
* sci-mathematics/polymake: keyword 4.5 for ~riscvAlex Fan2021-12-291-1/+1
* sci-mathematics/normaliz: keyword 3.8.10-r1 for ~riscvAlex Fan2021-12-291-1/+1
* sci-mathematics/nauty: keyword 2.7.3 for ~riscvAlex Fan2021-12-291-1/+1