aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* */*: drop dead py3.9 implAnna (cybertailor) Vyalkova2023-05-023-3/+3
* sci-mathematics/mccs: treeclean duplicateAnna (cybertailor) Vyalkova2023-04-269-155/+0
* sci-mathematics/frama-c: force gtk3François-Xavier Carton2023-04-091-3/+3
* sci-mathematics/frama-c: fix dep on gtk useflagArthur Zamarin2023-04-063-3/+3
* sci-mathematics/abc: treeclean, in ::gentooFlorian Schmaus2023-03-162-69/+0
* */*: drop dead py3.8 implAnna (cybertailor) Vyalkova2023-03-123-3/+3
* */*: update metadata schema uriAnna (cybertailor) Vyalkova2023-03-0441-41/+41
* */*: dev-python/{prompt_toolkit -> prompt-toolkit}Anna (cybertailor) Vyalkova2023-02-241-2/+2
* sci-mathematics/pyromaths: enable py3.8 and disable py3.11Henri Gasc2023-02-041-6/+18
* sci-mathematics/pyromaths: new package, add 21.8.2Henri Gasc2023-01-194-0/+73
* sci-mathematics/rstudio-desktop-bin: fix SRC_URIJoe Kappus2023-01-111-1/+1
* sci-mathematics/rstudio-desktop-bin: delete renamed ebuildJoe Kappus2023-01-111-130/+0
* sci-mathematics/rstudio-desktop-bin: new package, add 2022.12.0-r353Joe Kappus2023-01-112-1/+128
* sci-mathematics/rstudio-desktop-bin: new package, add 2022.12.0-r353Joe Kappus2023-01-113-0/+143
* sci-mathematics/abc: new package, add 9999Tony Olagbaiye2022-12-092-0/+69
* Move {virtual -> app-alternatives}/yaccViorel Munteanu2022-12-061-1/+1
* sci-mathematics/frama-c: quote FILESDIR variableAndrew Ammerlaan2022-09-081-1/+1
* sci-mathematics/frama-c-reduc: Update ManifestYuan Liao2022-08-231-0/+1
* sci-mathematics/frama-c: bump to 25.0François-Xavier Carton2022-08-1963-0/+1641
* sci-mathematics/minisat+: update HOMEPAGE, SRC_URIAnna (cybertailor) Vyalkova2022-06-052-10/+15
* sci-mathematics/clasp: add manpageAlessandro Barbieri2022-06-022-2/+77
* sci-mathematics/chaco: fix octave fileAlessandro Barbieri2022-05-312-0/+12
* sci-mathematics/frama-c: fix CFLAGS replacementFrançois-Xavier Carton2022-05-311-1/+1
* sci-mathematics/radian: bump pythonAlessandro Barbieri2022-05-293-55/+1
* sci-mathematics/clingo: enable py3.11Alessandro Barbieri2022-05-281-1/+1
* sci-mathematics/qepcad: add subslotAlessandro Barbieri2022-05-282-2/+2
* sci-mathematics/clasp: use httpsAlessandro Barbieri2022-05-251-1/+1
* sci-mathematics/radian: add 0.6.3, drop 0.6.0Alessandro Barbieri2022-05-252-3/+4
* sci-mathematics/frama-c-*: force gtk USE to match frama-c coreFrançois-Xavier Carton2022-05-2422-46/+46
* sci-mathematics/frama-c: better fix for flags issueFrançois-Xavier Carton2022-05-242-3/+15
* sci-mathematics/frama-c: respect CFLAGSFrançois-Xavier Carton2022-05-241-0/+1
* sci-mathematics/chaco: correctly install m filesAlessandro Barbieri2022-05-241-1/+1
* sci-mathematics/clingo: system catchAlessandro Barbieri2022-05-242-3/+32
* sci-mathematics/frama-c-wp: add why3<1.5.0 restrictionFrançois-Xavier Carton2022-05-072-2/+4
* sci-mathematics/clingo: add 5.5.2, drop 5.5.1-r1Alessandro Barbieri2022-05-063-48/+3
* sci-mathematics/clingo: system catchAlessandro Barbieri2022-05-061-2/+9
* sci-mathematics/aspcud: includedir for catchAlessandro Barbieri2022-05-061-1/+2
* sci-mathematics/clasp: includedir for catch2Alessandro Barbieri2022-05-061-1/+2
* sci-mathematics/minisatp: fix executable nameAlessandro Barbieri2022-05-061-1/+1
* sci-mathematics/clingo: fix for new claspAlessandro Barbieri2022-05-032-26/+16
* sci-mathematics/clasp: add 3.3.8, drop 3.3.7Alessandro Barbieri2022-05-034-44/+1
* sci-mathematics/clasp: use system catchAlessandro Barbieri2022-05-031-1/+9
* sci-mathematics/aspcud: drop 1.9.5Alessandro Barbieri2022-05-032-44/+0
* sci-mathematics/mccs: respect ARAlessandro Barbieri2022-05-032-1/+13
* sci-mathematics/minisatp: fix rpathAlessandro Barbieri2022-05-031-0/+3
* sci-mathematics/aspcud: add 1.9.6Alessandro Barbieri2022-05-023-0/+63
* sci-mathematics/qepcad: version with patchesAlessandro Barbieri2022-05-022-4/+2
* sci-mathematics/radian: fix patch nameAlessandro Barbieri2022-05-021-1/+1
* */*: move sci-mathematics/libpotassco to sci-libs/libpotasscoAlessandro Barbieri2022-05-025-48/+2
* sci-mathematics/qepcad: add 1.72b_p20220502, drop 1.72b_p20220501Alessandro Barbieri2022-05-022-2/+2