summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/topcom: new revision to fix gmp dependency.Michael Orlitzky2022-05-071-1/+2
* sci-mathematics/topcom: remove old topcom-0.17.7-r1.ebuild.Michael Orlitzky2022-05-073-381/+0
* sci-mathematics/topcom: new revision with miscellaneous fixes.Michael Orlitzky2022-05-073-73/+181
* sci-mathematics/easycrypt: add Why3 constraints for older EC versionsMaciej Barć2022-05-072-2/+2
* sci-mathematics/easycrypt: drop old 1.0_pre20211210-r2Maciej Barć2022-05-072-46/+0
* sci-mathematics/easycrypt: bump to 2022.04_p20220505Maciej Barć2022-05-072-0/+46
* sci-mathematics/why3: bump to 1.5.0François-Xavier Carton2022-05-073-0/+105
* sci-mathematics/octave: don't install *.la files.Michael Orlitzky2022-05-071-0/+2
* sci-mathematics/gmp-ecm: upstream bumpFrançois Bissey2022-05-063-0/+67
* sci-mathematics/z3: Bump to 4.8.17Michał Górny2022-05-052-0/+109
* sci-mathematics/octave: fix Java dependencySam James2022-05-051-2/+2
* sci-mathematics/octave: add rapidjson USE flagSam James2022-05-052-2/+5
* sci-mathematics/octave: tidy up 7.1.0Sam James2022-05-051-21/+14
* sci-mathematics/octave: fix patch filenameSam James2022-05-052-2/+2
* sci-mathematics/octave: unkeyword 7.1.0Sam James2022-05-051-1/+2
* sci-mathematics/octave: patch 6.4.0 for Qt as wellSam James2022-05-052-1/+3
* sci-mathematics/octave: use configure.ac patchSam James2022-05-051-59/+18
* sci-mathematics/octave: style tweaksSam James2022-05-052-5/+5
* sci-mathematics/octave: version bump to 7.1.0Thamognya Kodi2022-05-053-0/+277
* sci-mathematics/easycrypt: bump to 2022.04Maciej Barć2022-04-272-0/+44
* sci-mathematics/z3: Remove oldMichał Górny2022-04-263-168/+0
* sci-mathematics/z3: Stabilize 4.8.15-r1 ppc64, #840665Arthur Zamarin2022-04-261-1/+1
* sci-mathematics/z3: Keyword 4.8.16 sparc, #779742Sam James2022-04-261-1/+1
* sci-mathematics/z3: Stabilize 4.8.15-r1 arm, #840665Arthur Zamarin2022-04-251-1/+1
* sci-mathematics/z3: Stabilize 4.8.15-r1 arm64, #840665Arthur Zamarin2022-04-251-1/+1
* sci-mathematics/z3: Stabilize 4.8.15-r1 x86, #840665Sam James2022-04-251-1/+1
* sci-mathematics/z3: Stabilize 4.8.15-r1 amd64, #840665Sam James2022-04-251-1/+1
* sci-mathematics/z3: Bump to 4.8.16Michał Górny2022-04-242-0/+109
* sci-mathematics/giac: upstream bumpFrançois Bissey2022-04-222-0/+167
* sci-mathematics/singular: added upstream fixes for #776643 and #830279François Bissey2022-04-223-0/+64
* sci-mathematics/singular: upstream bumpFrançois Bissey2022-04-222-0/+114
* sci-mathematics/coq-serapi: fix elisp libraries installationMaciej Barć2022-04-201-1/+1
* sci-mathematics/why3: increase required menhir versionMaciej Barć2022-04-162-3/+3
* sci-mathematics/octave-6.4.0: add missing dependencieschn2022-04-161-5/+11
* sci-mathematics/coq-serapi: add ppx_sexp_conv version constraintsMaciej Barć2022-04-161-1/+1
* sci-mathematics/alt-ergo: bump to 2.4.1_p20220407Maciej Barć2022-04-152-0/+52
* sci-mathematics/alt-ergo: depend on cmdliner <1.1.0Maciej Barć2022-04-151-1/+1
* sci-mathematics/maxima: in 5.46 all localized docs are unicodeAndrey Grozin2022-04-141-2/+1
* sci-mathematics/wxmaxima: bump to 22.04.0Andrey Grozin2022-04-132-0/+80
* sci-mathematics/wxmaxima: remove old versionAndrey Grozin2022-04-132-80/+0
* sci-mathematics/maxima: bump to 5.46.0Andrey Grozin2022-04-132-0/+230
* sci-mathematics/maxima: remove old versionsAndrey Grozin2022-04-133-490/+0
* sci-mathematics/pari: new upstream version 2.13.4.Michael Orlitzky2022-04-062-0/+122
* sci-mathematics/alectryon: fix setup.cfg; add DISTUTILS_USE_PEP517Maciej Barć2022-04-042-0/+13
* sci-mathematics/cryptominisat: fix sysconfig importMaciej Barć2022-04-032-1/+26
* sci-mathematics/twelf: Thanks to Jouni Kosonen for backquotes fix.Mark Wright2022-03-291-4/+19
* sci-mathematics/twelf: emake -j1 is sufficient to fix doc buildMark Wright2022-03-291-6/+2
* sci-mathematics/twelf: Fix ROOT in src_prepare, old-style backquotesMark Wright2022-03-276-16/+131
* sci-mathematics/lean: drop old 3.40.0Maciej Barć2022-03-272-76/+0
* sci-mathematics/lean: bump to 3.42.1Maciej Barć2022-03-272-0/+76