Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/*: fix variable orderLucio Sauer2024-05-1493-186/+186
| | | | | Signed-off-by: Lucio Sauer <watermanpaint@posteo.net> Signed-off-by: Julien Roy <julien@jroy.ca>
* sci-mathematics/pyromaths: enable py3.12Henri Gasc2024-05-081-3/+3
| | | | | Closes: https://bugs.gentoo.org/931479 Signed-off-by: Henri Gasc <gasc@eurecom.fr>
* */*: treeclean stale/unmaintained packagesJulien Roy2024-03-2557-1823/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Closes: https://bugs.gentoo.org/885347 Closes: https://bugs.gentoo.org/885345 Closes: https://bugs.gentoo.org/885343 Closes: https://bugs.gentoo.org/885341 Closes: https://bugs.gentoo.org/885339 Closes: https://bugs.gentoo.org/885337 Closes: https://bugs.gentoo.org/885335 Closes: https://bugs.gentoo.org/885331 Closes: https://bugs.gentoo.org/885329 Closes: https://bugs.gentoo.org/869230 Closes: https://bugs.gentoo.org/860975 Closes: https://bugs.gentoo.org/859664 Closes: https://bugs.gentoo.org/900362 Closes: https://bugs.gentoo.org/887439 Closes: https://bugs.gentoo.org/887433 Closes: https://bugs.gentoo.org/855116 Closes: https://bugs.gentoo.org/855107 Closes: https://bugs.gentoo.org/897656 Closes: https://bugs.gentoo.org/887955 Closes: https://bugs.gentoo.org/885293 Closes: https://bugs.gentoo.org/847322 Closes: https://bugs.gentoo.org/843524 Closes: https://bugs.gentoo.org/860012 Closes: https://bugs.gentoo.org/852032 Closes: https://bugs.gentoo.org/887193 Closes: https://bugs.gentoo.org/859646 Closes: https://bugs.gentoo.org/901025 Closes: https://bugs.gentoo.org/921735 Closes: https://bugs.gentoo.org/901027 Closes: https://bugs.gentoo.org/887209 Closes: https://bugs.gentoo.org/859649 Closes: https://bugs.gentoo.org/855125 Closes: https://bugs.gentoo.org/921751 Closes: https://bugs.gentoo.org/859673 Closes: https://bugs.gentoo.org/799449 Closes: https://bugs.gentoo.org/901127 Closes: https://bugs.gentoo.org/921740 Closes: https://bugs.gentoo.org/901163 Closes: https://bugs.gentoo.org/887313 Closes: https://bugs.gentoo.org/847325 Closes: https://bugs.gentoo.org/884553 Closes: https://bugs.gentoo.org/859700 Closes: https://bugs.gentoo.org/857633 Closes: https://bugs.gentoo.org/857630 Closes: https://bugs.gentoo.org/857627 Closes: https://bugs.gentoo.org/857624 Closes: https://bugs.gentoo.org/884565 Closes: https://bugs.gentoo.org/855080 Closes: https://bugs.gentoo.org/855119 Closes: https://bugs.gentoo.org/901167 Closes: https://bugs.gentoo.org/887413 Closes: https://bugs.gentoo.org/861707 Closes: https://bugs.gentoo.org/859715 Closes: https://bugs.gentoo.org/901179 Closes: https://bugs.gentoo.org/901181 Closes: https://bugs.gentoo.org/901141 Closes: https://bugs.gentoo.org/887435 Closes: https://bugs.gentoo.org/859718 Closes: https://bugs.gentoo.org/901177 Closes: https://bugs.gentoo.org/890893 Closes: https://bugs.gentoo.org/901185 Closes: https://bugs.gentoo.org/887445 Closes: https://bugs.gentoo.org/884579 Closes: https://bugs.gentoo.org/901193 Closes: https://bugs.gentoo.org/859724 Closes: https://bugs.gentoo.org/886629 Closes: https://bugs.gentoo.org/859730 Closes: https://bugs.gentoo.org/861974 Closes: https://bugs.gentoo.org/887511 Closes: https://bugs.gentoo.org/861977 Closes: https://bugs.gentoo.org/861980 Closes: https://bugs.gentoo.org/887513 Closes: https://bugs.gentoo.org/897392 Closes: https://bugs.gentoo.org/861983 Closes: https://bugs.gentoo.org/861986 Closes: https://bugs.gentoo.org/861989 Closes: https://bugs.gentoo.org/861992 Closes: https://bugs.gentoo.org/861995 Closes: https://bugs.gentoo.org/887515 Closes: https://bugs.gentoo.org/861998 Closes: https://bugs.gentoo.org/862001 Closes: https://bugs.gentoo.org/887517 Closes: https://bugs.gentoo.org/862004 Closes: https://bugs.gentoo.org/862007 Closes: https://bugs.gentoo.org/862010 Closes: https://bugs.gentoo.org/862013 Closes: https://bugs.gentoo.org/862016 Closes: https://bugs.gentoo.org/862079 Closes: https://bugs.gentoo.org/915488 Closes: https://bugs.gentoo.org/884693 Closes: https://bugs.gentoo.org/901149 Closes: https://bugs.gentoo.org/855278 Closes: https://bugs.gentoo.org/921779 Closes: https://bugs.gentoo.org/921885 Closes: https://bugs.gentoo.org/835485 Closes: https://bugs.gentoo.org/887659 Closes: https://bugs.gentoo.org/834741 Closes: https://bugs.gentoo.org/884695 Closes: https://bugs.gentoo.org/901297 Closes: https://bugs.gentoo.org/807703 Closes: https://bugs.gentoo.org/862957 Closes: https://bugs.gentoo.org/922022 Closes: https://bugs.gentoo.org/923917 Closes: https://bugs.gentoo.org/923916 Closes: https://bugs.gentoo.org/923918 Closes: https://bugs.gentoo.org/901287 Closes: https://bugs.gentoo.org/852047 Closes: https://bugs.gentoo.org/852035 Closes: https://bugs.gentoo.org/860333 Closes: https://bugs.gentoo.org/848039 Closes: https://bugs.gentoo.org/897650 Closes: https://bugs.gentoo.org/849071 Closes: https://bugs.gentoo.org/842342 Closes: https://bugs.gentoo.org/860471 Closes: https://bugs.gentoo.org/887953 Closes: https://bugs.gentoo.org/863371 Closes: https://bugs.gentoo.org/887951 Closes: https://bugs.gentoo.org/860459 Closes: https://bugs.gentoo.org/901407 Closes: https://bugs.gentoo.org/847352 Closes: https://bugs.gentoo.org/922042 Closes: https://bugs.gentoo.org/860462 Closes: https://bugs.gentoo.org/901409 Closes: https://bugs.gentoo.org/897652 Closes: https://bugs.gentoo.org/848021 Closes: https://bugs.gentoo.org/901405 Closes: https://bugs.gentoo.org/887959 Closes: https://bugs.gentoo.org/901411 Closes: https://bugs.gentoo.org/887961 Closes: https://bugs.gentoo.org/860465 Closes: https://bugs.gentoo.org/885291 Closes: https://bugs.gentoo.org/901413 Closes: https://bugs.gentoo.org/887967 Closes: https://bugs.gentoo.org/860468 Closes: https://bugs.gentoo.org/863377 Closes: https://bugs.gentoo.org/922043 Closes: https://bugs.gentoo.org/901425 Closes: https://bugs.gentoo.org/863380 Closes: https://bugs.gentoo.org/847319 Closes: https://bugs.gentoo.org/863383 Closes: https://bugs.gentoo.org/860474 Closes: https://bugs.gentoo.org/887989 Closes: https://bugs.gentoo.org/860477 Closes: https://bugs.gentoo.org/887991 Closes: https://bugs.gentoo.org/901427 Closes: https://bugs.gentoo.org/887993 Closes: https://bugs.gentoo.org/901429 Closes: https://bugs.gentoo.org/887997 Closes: https://bugs.gentoo.org/860480 Closes: https://bugs.gentoo.org/897654 Closes: https://bugs.gentoo.org/922047 Closes: https://bugs.gentoo.org/887999 Closes: https://bugs.gentoo.org/897664 Closes: https://bugs.gentoo.org/860531 Closes: https://bugs.gentoo.org/784665 Closes: https://bugs.gentoo.org/860525 Closes: https://bugs.gentoo.org/888003 Closes: https://bugs.gentoo.org/860537 Closes: https://bugs.gentoo.org/922052 Closes: https://bugs.gentoo.org/897662 Closes: https://bugs.gentoo.org/901421 Closes: https://bugs.gentoo.org/785535 Closes: https://bugs.gentoo.org/784644 Closes: https://bugs.gentoo.org/804831 Closes: https://bugs.gentoo.org/885365 Closes: https://bugs.gentoo.org/922053 Closes: https://bugs.gentoo.org/840707 Closes: https://bugs.gentoo.org/836142 Closes: https://bugs.gentoo.org/836153 Closes: https://bugs.gentoo.org/783675 Closes: https://bugs.gentoo.org/888005 Closes: https://bugs.gentoo.org/887879 Closes: https://bugs.gentoo.org/860528 Closes: https://bugs.gentoo.org/901417 Closes: https://bugs.gentoo.org/922055 Closes: https://bugs.gentoo.org/842807 Closes: https://bugs.gentoo.org/810287 Closes: https://bugs.gentoo.org/888007 Closes: https://bugs.gentoo.org/860540 Closes: https://bugs.gentoo.org/885373 Closes: https://bugs.gentoo.org/888011 Closes: https://bugs.gentoo.org/800995 Closes: https://bugs.gentoo.org/885375 Closes: https://bugs.gentoo.org/863758 Closes: https://bugs.gentoo.org/809320 Closes: https://bugs.gentoo.org/809440 Closes: https://bugs.gentoo.org/863779 Closes: https://bugs.gentoo.org/901431 Closes: https://bugs.gentoo.org/860774 Closes: https://bugs.gentoo.org/860768 Closes: https://bugs.gentoo.org/901433 Closes: https://bugs.gentoo.org/852989 Closes: https://bugs.gentoo.org/885367 Closes: https://bugs.gentoo.org/860771 Closes: https://bugs.gentoo.org/901435 Closes: https://bugs.gentoo.org/887881 Closes: https://bugs.gentoo.org/901437 Closes: https://bugs.gentoo.org/784668 Closes: https://bugs.gentoo.org/901439 Closes: https://bugs.gentoo.org/901419 Closes: https://bugs.gentoo.org/888017 Closes: https://bugs.gentoo.org/888019 Closes: https://bugs.gentoo.org/901441 Closes: https://bugs.gentoo.org/885377 Closes: https://bugs.gentoo.org/901443 Closes: https://bugs.gentoo.org/807115 Closes: https://bugs.gentoo.org/885363 Closes: https://bugs.gentoo.org/888021 Closes: https://bugs.gentoo.org/888023 Closes: https://bugs.gentoo.org/901445 Closes: https://bugs.gentoo.org/888015 Closes: https://bugs.gentoo.org/887921 Closes: https://bugs.gentoo.org/863821 Closes: https://bugs.gentoo.org/907907 Closes: https://bugs.gentoo.org/887883 Closes: https://bugs.gentoo.org/908948 Closes: https://bugs.gentoo.org/908947 Closes: https://bugs.gentoo.org/908951 Closes: https://bugs.gentoo.org/892694 Closes: https://bugs.gentoo.org/801016 Closes: https://bugs.gentoo.org/922082 Closes: https://bugs.gentoo.org/852260 Closes: https://bugs.gentoo.org/901451 Closes: https://bugs.gentoo.org/922083 Closes: https://bugs.gentoo.org/860777 Closes: https://bugs.gentoo.org/901449 Closes: https://bugs.gentoo.org/901453 Closes: https://bugs.gentoo.org/921785 Closes: https://bugs.gentoo.org/860969 Closes: https://bugs.gentoo.org/817227 Closes: https://bugs.gentoo.org/921788 Closes: https://bugs.gentoo.org/921789 Closes: https://bugs.gentoo.org/835527 Closes: https://bugs.gentoo.org/897414 Closes: https://bugs.gentoo.org/921781 Closes: https://bugs.gentoo.org/897430 Closes: https://bugs.gentoo.org/848720 Closes: https://bugs.gentoo.org/883173 Closes: https://bugs.gentoo.org/921800 Closes: https://bugs.gentoo.org/921803 Closes: https://bugs.gentoo.org/921804 Closes: https://bugs.gentoo.org/921807 Closes: https://bugs.gentoo.org/901479 Closes: https://bugs.gentoo.org/901483 Closes: https://bugs.gentoo.org/901151 Closes: https://bugs.gentoo.org/896028 Closes: https://bugs.gentoo.org/921783 Closes: https://bugs.gentoo.org/897432 Closes: https://bugs.gentoo.org/905472 Closes: https://bugs.gentoo.org/921810 Closes: https://bugs.gentoo.org/843485 Closes: https://bugs.gentoo.org/921816 Closes: https://bugs.gentoo.org/921818 Closes: https://bugs.gentoo.org/921825 Closes: https://bugs.gentoo.org/921822 Closes: https://bugs.gentoo.org/816654 Closes: https://bugs.gentoo.org/921775 Closes: https://bugs.gentoo.org/921777 Closes: https://bugs.gentoo.org/848723 Closes: https://bugs.gentoo.org/921853 Closes: https://bugs.gentoo.org/921895 Closes: https://bugs.gentoo.org/921855 Closes: https://bugs.gentoo.org/897506 Closes: https://bugs.gentoo.org/921857 Closes: https://bugs.gentoo.org/880013 Closes: https://bugs.gentoo.org/897542 Closes: https://bugs.gentoo.org/921864 Closes: https://bugs.gentoo.org/922915 Closes: https://bugs.gentoo.org/921897 Closes: https://bugs.gentoo.org/921900 Closes: https://bugs.gentoo.org/921865 Closes: https://bugs.gentoo.org/887637 Closes: https://bugs.gentoo.org/839306 Closes: https://bugs.gentoo.org/921868 Closes: https://bugs.gentoo.org/921869 Closes: https://bugs.gentoo.org/862082 Closes: https://bugs.gentoo.org/921873 Closes: https://bugs.gentoo.org/897588 Closes: https://bugs.gentoo.org/901221 Closes: https://bugs.gentoo.org/921808 Closes: https://bugs.gentoo.org/897590 Closes: https://bugs.gentoo.org/848549 Closes: https://bugs.gentoo.org/921876 Closes: https://bugs.gentoo.org/921878 Closes: https://bugs.gentoo.org/921879 Closes: https://bugs.gentoo.org/921880 Closes: https://bugs.gentoo.org/921797 Closes: https://bugs.gentoo.org/862765 Closes: https://bugs.gentoo.org/921780 Closes: https://bugs.gentoo.org/921881 Closes: https://bugs.gentoo.org/921813 Closes: https://bugs.gentoo.org/921784 Closes: https://bugs.gentoo.org/800076 Closes: https://bugs.gentoo.org/921884 Closes: https://bugs.gentoo.org/822456 Signed-off-by: Julien Roy <julien@jroy.ca>
* sci-mathematics/pyromaths: update HOMEPAGE and ebuildHenri Gasc2023-12-011-11/+13
| | | | Signed-off-by: Henri Gasc <gasc@eurecom.fr>
* sci-mathematics/rstudio-desktop-bin: add 2023.09.1_p494, drop 2023.06.2_p561Mazunki Hoksaas2023-10-292-3/+5
| | | | Signed-off-by: Mazunki Hoksaas <rolferen@gmail.com>
* sci-mathematics/frama-c-wp: treecleanDavid Roman2023-10-055-166/+0
| | | | Signed-off-by: David Roman <davidroman96@gmail.com>
* sci-mathematics/rstudio-desktop-bin: add 2023.09.0_p463, drop 2022.12.0_p353Mazunki Hoksaas2023-09-302-1/+1
| | | | Signed-off-by: Mazunki Hoksaas <rolferen@gmail.com>
* sci-mathematics/rstudio-desktop-bin: add 2023.06.2_p561Mazunki Hoksaas2023-09-152-0/+128
| | | | Signed-off-by: Mazunki Hoksaas <rolferen@gmail.com>
* */*: fix MissingRemoteId in metadata.xmlLucio Sauer2023-06-273-0/+7
| | | | | | * Manually checked, I hope I caught most errors Signed-off-by: Lucio Sauer <watermanpaint@posteo.net>
* */*: drop dead py3.9 implAnna (cybertailor) Vyalkova2023-05-023-3/+3
| | | | Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
* sci-mathematics/mccs: treeclean duplicateAnna (cybertailor) Vyalkova2023-04-269-155/+0
| | | | Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
* sci-mathematics/frama-c: force gtk3François-Xavier Carton2023-04-091-3/+3
| | | | Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
* sci-mathematics/frama-c: fix dep on gtk useflagArthur Zamarin2023-04-063-3/+3
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/abc: treeclean, in ::gentooFlorian Schmaus2023-03-162-69/+0
| | | | Signed-off-by: Florian Schmaus <flow@gentoo.org>
* */*: drop dead py3.8 implAnna (cybertailor) Vyalkova2023-03-123-3/+3
| | | | Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
* */*: update metadata schema uriAnna (cybertailor) Vyalkova2023-03-0441-41/+41
| | | | Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
* */*: dev-python/{prompt_toolkit -> prompt-toolkit}Anna (cybertailor) Vyalkova2023-02-241-2/+2
| | | | Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
* sci-mathematics/pyromaths: enable py3.8 and disable py3.11Henri Gasc2023-02-041-6/+18
| | | | | Closes: https://bugs.gentoo.org/891721 Signed-off-by: Henri Gasc <gasc@eurecom.fr>
* sci-mathematics/pyromaths: new package, add 21.8.2Henri Gasc2023-01-194-0/+73
| | | | Signed-off-by: Henri Gasc <gasc@eurecom.fr>
* sci-mathematics/rstudio-desktop-bin: fix SRC_URIJoe Kappus2023-01-111-1/+1
| | | | | | Used PVR before, using PV now so revbumps won't break the ebuild. Signed-off-by: Joe Kappus <joe@wt.gd>
* sci-mathematics/rstudio-desktop-bin: delete renamed ebuildJoe Kappus2023-01-111-130/+0
| | | | Signed-off-by: Joe Kappus <joe@wt.gd>
* sci-mathematics/rstudio-desktop-bin: new package, add 2022.12.0-r353Joe Kappus2023-01-112-1/+128
| | | | | | Original written by Hairu, based on discord-bin-0.0.22.ebuild Signed-off-by: Joe Kappus <joe@wt.gd>
* sci-mathematics/rstudio-desktop-bin: new package, add 2022.12.0-r353Joe Kappus2023-01-113-0/+143
| | | | Signed-off-by: Joe Kappus <joe@wt.gd>
* sci-mathematics/abc: new package, add 9999Tony Olagbaiye2022-12-092-0/+69
| | | | Signed-off-by: Tony Olagbaiye <bqv@fron.io>
* Move {virtual -> app-alternatives}/yaccViorel Munteanu2022-12-061-1/+1
| | | | Signed-off-by: Viorel Munteanu <ceamac@gentoo.org>
* sci-mathematics/frama-c: quote FILESDIR variableAndrew Ammerlaan2022-09-081-1/+1
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/frama-c-reduc: Update ManifestYuan Liao2022-08-231-0/+1
| | | | Signed-off-by: Yuan Liao <liaoyuan@gmail.com>
* sci-mathematics/frama-c: bump to 25.0François-Xavier Carton2022-08-1963-0/+1641
| | | | Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
* sci-mathematics/minisat+: update HOMEPAGE, SRC_URIAnna (cybertailor) Vyalkova2022-06-052-10/+15
| | | | | Closes: https://bugs.gentoo.org/842336 Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
* sci-mathematics/clasp: add manpageAlessandro Barbieri2022-06-022-2/+77
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/chaco: fix octave fileAlessandro Barbieri2022-05-312-0/+12
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/frama-c: fix CFLAGS replacementFrançois-Xavier Carton2022-05-311-1/+1
| | | | | Closes: https://bugs.gentoo.org/847424 Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
* sci-mathematics/radian: bump pythonAlessandro Barbieri2022-05-293-55/+1
| | | | | Closes: https://bugs.gentoo.org/848414 Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/clingo: enable py3.11Alessandro Barbieri2022-05-281-1/+1
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/qepcad: add subslotAlessandro Barbieri2022-05-282-2/+2
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/clasp: use httpsAlessandro Barbieri2022-05-251-1/+1
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/radian: add 0.6.3, drop 0.6.0Alessandro Barbieri2022-05-252-3/+4
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/frama-c-*: force gtk USE to match frama-c coreFrançois-Xavier Carton2022-05-2422-46/+46
| | | | | | | | | Having frama-c[gtk] can cause problems if there are plugins compiled with [-gtk]. It can also cause runtime issues. Closes: https://bugs.gentoo.org/817314 Closes: https://bugs.gentoo.org/817365 Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
* sci-mathematics/frama-c: better fix for flags issueFrançois-Xavier Carton2022-05-242-3/+15
| | | | Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
* sci-mathematics/frama-c: respect CFLAGSFrançois-Xavier Carton2022-05-241-0/+1
| | | | | Closes: https://bugs.gentoo.org/840559 Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
* sci-mathematics/chaco: correctly install m filesAlessandro Barbieri2022-05-241-1/+1
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/clingo: system catchAlessandro Barbieri2022-05-242-3/+32
| | | | | Closes: https://bugs.gentoo.org/843479 Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/frama-c-wp: add why3<1.5.0 restrictionFrançois-Xavier Carton2022-05-072-2/+4
| | | | Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
* sci-mathematics/clingo: add 5.5.2, drop 5.5.1-r1Alessandro Barbieri2022-05-063-48/+3
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/clingo: system catchAlessandro Barbieri2022-05-061-2/+9
| | | | | Closes: https://bugs.gentoo.org/842798 Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/aspcud: includedir for catchAlessandro Barbieri2022-05-061-1/+2
| | | | | Closes: https://bugs.gentoo.org/842720 Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/clasp: includedir for catch2Alessandro Barbieri2022-05-061-1/+2
| | | | | Closes: https://bugs.gentoo.org/842759 Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/minisatp: fix executable nameAlessandro Barbieri2022-05-061-1/+1
| | | | | Closes: https://bugs.gentoo.org/842753 Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/clingo: fix for new claspAlessandro Barbieri2022-05-032-26/+16
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/clasp: add 3.3.8, drop 3.3.7Alessandro Barbieri2022-05-034-44/+1
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>