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/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>
* sci-mathematics/clasp: use system catchAlessandro Barbieri2022-05-031-1/+9
| | | | | Closes: https://bugs.gentoo.org/842327 Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/aspcud: drop 1.9.5Alessandro Barbieri2022-05-032-44/+0
| | | | | Closes: https://bugs.gentoo.org/842330 Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/mccs: respect ARAlessandro Barbieri2022-05-032-1/+13
| | | | | Closes: https://bugs.gentoo.org/842333 Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>