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: 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>
* sci-mathematics/minisatp: fix rpathAlessandro Barbieri2022-05-031-0/+3
| | | | | Closes: https://bugs.gentoo.org/842345 Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/aspcud: add 1.9.6Alessandro Barbieri2022-05-023-0/+63
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/qepcad: version with patchesAlessandro Barbieri2022-05-022-4/+2
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/radian: fix patch nameAlessandro Barbieri2022-05-021-1/+1
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* */*: move sci-mathematics/libpotassco to sci-libs/libpotasscoAlessandro Barbieri2022-05-025-48/+2
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/qepcad: add 1.72b_p20220502, drop 1.72b_p20220501Alessandro Barbieri2022-05-022-2/+2
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/qepcad: fix typoAlessandro Barbieri2022-05-011-1/+1
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/qepcad: new package, add 1.72b_p20220501Alessandro Barbieri2022-05-013-0/+73
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/radian: add 0.6.1Alessandro Barbieri2022-04-292-0/+54
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/packup: swap {R,}DEPEND logicAlessandro Barbieri2022-04-291-3/+3
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/mccs: swap {R,}DEPEND logicAlessandro Barbieri2022-04-291-3/+3
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/aspcud: swap {R,}DEPEND logicAlessandro Barbieri2022-04-291-3/+3
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/aspcud: add cudf solvers file from debianAlessandro Barbieri2022-04-292-4/+13
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/mccs: add cudf solvers files from debianAlessandro Barbieri2022-04-293-6/+15
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
* sci-mathematics/minisatp: new package, add 0.1_p20121002Alessandro Barbieri2022-04-295-0/+125
| | | | Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>