summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/rkward: add 0.7.5Andreas Sturmlechner2022-10-222-0/+58
* sci-mathematics/eclib: drop 20210625Michael Orlitzky2022-10-202-36/+0
* sci-mathematics/primecount: drop 7.3Michael Orlitzky2022-10-202-55/+0
* sci-mathematics/primecount: stabilize 7.4 for amd64Michael Orlitzky2022-10-201-1/+1
* sci-mathematics/primesieve: drop 7.9Michael Orlitzky2022-10-202-51/+0
* sci-mathematics/primesieve: stabilize 8.0 for amd64Michael Orlitzky2022-10-201-1/+1
* sci-mathematics/wxmaxima: align longdescription opening and closing tagsPetr Vaněk2022-10-201-6/+6
* sci-mathematics/twelf: align longdescription opening and closing tagsPetr Vaněk2022-10-201-4/+4
* sci-mathematics/pspp: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
* sci-mathematics/prover9: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
* sci-mathematics/pari: align longdescription opening and closing tagsPetr Vaněk2022-10-201-3/+2
* sci-mathematics/nauty: align longdescription opening and closing tagsPetr Vaněk2022-10-201-4/+4
* sci-mathematics/maxima: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
* sci-mathematics/jags: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
* sci-mathematics/gsl-shell: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
* sci-mathematics/gretl: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
* sci-mathematics/glpk: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
* sci-mathematics/diagrtb: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
* sci-mathematics/dataplot: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
* sci-mathematics/bertini: fix metadata indentationPetr Vaněk2022-10-201-4/+4
* sci-mathematics/4ti2: align longdescription opening and closing tagsPetr Vaněk2022-10-201-3/+3
* sci-mathematics/gimps: drop 30.8.16Andrew Ammerlaan2022-10-182-72/+0
* sci-mathematics/gimps: add 30.8.17Paolo Pedroni2022-10-182-0/+72
* sci-mathematics/octave: fix PkgMetadataXmlIndentationSam James2022-10-181-2/+2
* sci-mathematics/pspp: add savannah upstream metadataSam James2022-10-181-0/+3
* sci-mathematics/octave: add savannah upstream metadataSam James2022-10-181-13/+16
* sci-mathematics/glpk: add savannah upstream metadataSam James2022-10-181-1/+4
* sci-mathematics/smtinterpol: fix QA BadDescriptionConrad Kostecki2022-10-151-2/+2
* sci-mathematics/cvc4: fix PythonHasVersionUsageSam James2022-10-151-1/+1
* sci-mathematics/otter: fix lto mismatch + build w/ upcoming clang16Ionen Wolkens2022-10-112-2/+28
* sci-mathematics/pspp: Stabilize 1.6.2-r1 x86, #876202Agostino Sarubbo2022-10-091-1/+1
* sci-mathematics/pspp: Stabilize 1.6.2-r1 amd64, #876202Agostino Sarubbo2022-10-091-1/+1
* sci-mathematics/pspp: fix MissingUseDepDefault on cairoSam James2022-10-082-2/+2
* sci-mathematics/pspp: drop 1.6.1Sam James2022-10-082-87/+0
* sci-mathematics/gmp-ecm: new revision to drop USE=cuda support.Michael Orlitzky2022-10-072-15/+5
* sci-mathematics/dataplot: add missing bdependAndrew Ammerlaan2022-10-061-1/+2
* sci-mathematics/cadabra: bump to 2.4.0.2Maciej Barć2022-10-062-0/+105
* sci-mathematics/giac: pari 2.15 compat + -gui workaroundFrançois Bissey2022-10-042-0/+23
* sci-mathematics/coq-serapi: bump to 0.16.0Maciej Barć2022-10-022-0/+68
* sci-mathematics/coq-serapi: restrict coq versionMaciej Barć2022-10-021-1/+1
* sci-mathematics/geogebra-bin: fix StaticSrcUriSam James2022-10-012-3/+3
* sci-mathematics/wxmaxima: remove old versionsAndrey Grozin2022-09-273-160/+0
* sci-mathematics/wxmaxima: bump to 22.09.0Andrey Grozin2022-09-272-0/+80
* sci-mathematics/alt-ergo: 2.4.2 - do not depend on seqMaciej Barć2022-09-241-1/+0
* sci-mathematics/z3: Remove oldMichał Górny2022-09-232-108/+0
* sci-mathematics/vampire: depend on z3 version >=4.11.2Maciej Barć2022-09-232-2/+2
* sci-mathematics/z3: Remove oldMichał Górny2022-09-235-432/+0
* sci-mathematics/z3: Revert "Remove old"Michał Górny2022-09-236-0/+540
* sci-mathematics/z3: Remove oldMichał Górny2022-09-236-540/+0
* sci-mathematics/z3: Stabilize 4.11.2 sparc, #872290Arthur Zamarin2022-09-231-1/+1