demize
ad336408f2
sci-mathematics/rstudio-desktop-bin: add missing RDEPEND, update QA_PREBUILT
...
Closes: https://bugs.gentoo.org/950642
Closes: https://bugs.gentoo.org/950643
Closes: https://bugs.gentoo.org/950644
Signed-off-by: demize <demize@unstable.systems>
2025-03-05 08:55:46 -05:00
Anna (cybertailor) Vyalkova
bb0aae8ad3
*/*: disable py3.10
...
Python 3.10 target is scheduled for removal in Gentoo:
https://public-inbox.gentoo.org/gentoo-dev/e6ca9f1f4ababb79ab2a3d005c39b483c3ecef6e.camel@gentoo.org/
Sphinx 8.2.0 already dropped support for CPython 3.10 and PyPy 3.10,
leading to multiple CI failures in ::guru.
We can safely remove this target, because GURU is "experimental" and
does not have stable keywords.
Let's not remove "pypy3" right now because
a) There are not many packages using it.
b) So we can see which packages supported PyPy 3.10, and test them with
PyPy 3.11.
Closes: https://github.com/gentoo/guru/pull/291
Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
2025-02-21 17:51:14 +05:00
Michael Egger
dd0cd09e28
sci-mathematics/rstudio-desktop-bin: add 2024.12.0_p467, drop 2023.09.0_p463
...
Signed-off-by: Michael Egger <egger.m@protonmail.com>
2025-02-10 18:55:30 +01:00
demize
9570668220
sci-mathematics/rink: add curl to RDEPEND
...
This adds `net-misc/curl` to RDEPEND in both 0.8.0
and the live ebuild. curl is also a build-time
dependency, thus not removed from DEPEND.
Closes: https://bugs.gentoo.org/945531
Signed-off-by: demize <demize@unstable.systems>
2024-12-01 23:33:01 -05:00
Henri Gasc
23d5cdaf2c
sci-mathematics/pyromaths: Change how doc is handled
...
Closes: https://bugs.gentoo.org/937506
Signed-off-by: Henri Gasc <gasc@eurecom.fr>
2024-10-10 18:04:18 +02:00
demize
7595bec3ac
sci-mathematics/rink: new package, add 0.8.0, 9999
...
Signed-off-by: demize <demize@unstable.systems>
2024-10-01 22:32:49 -04:00
David Roman
5bb1b88df8
sci-mathematics/frama-c: drop 23.1-r1, 24.0-r1
...
Signed-off-by: David Roman <davidroman96@gmail.com>
2024-09-06 14:31:10 +02:00
David Roman
30fe0558e5
sci-mathematics/frama-c-*: drop 23.1 and 24.0
...
Signed-off-by: David Roman <davidroman96@gmail.com>
2024-09-06 14:27:23 +02:00
David Roman
8b33f89cda
Revert "*/*: ExcessiveLineLength fix most of them"
...
This reverts commit 79341e9f046f373509b9ab9d14ef711797d5bfa5.
Signed-off-by: David Roman <davidroman96@gmail.com>
2024-07-25 11:18:16 +02:00
Vitaly Zdanevich
79341e9f04
*/*: ExcessiveLineLength fix most of them
...
Signed-off-by: Vitaly Zdanevich <zdanevich.vitaly@ya.ru>
2024-07-19 21:33:15 +04:00
Lucio Sauer
ad273a2b83
sci-mathematics/*: fix variable order
...
Signed-off-by: Lucio Sauer <watermanpaint@posteo.net>
Signed-off-by: Julien Roy <julien@jroy.ca>
2024-05-14 20:59:22 -04:00
Henri Gasc
c2406be92e
sci-mathematics/pyromaths: enable py3.12
...
Closes: https://bugs.gentoo.org/931479
Signed-off-by: Henri Gasc <gasc@eurecom.fr>
2024-05-08 16:55:18 +02:00
Julien Roy
a6b3f15b1a
*/*: treeclean stale/unmaintained packages
...
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>
2024-03-25 12:28:56 -04:00
Henri Gasc
28c97e1d0a
sci-mathematics/pyromaths: update HOMEPAGE and ebuild
...
Signed-off-by: Henri Gasc <gasc@eurecom.fr>
2023-12-01 21:50:03 +01:00
Mazunki Hoksaas
dfd500b371
sci-mathematics/rstudio-desktop-bin: add 2023.09.1_p494, drop 2023.06.2_p561
...
Signed-off-by: Mazunki Hoksaas <rolferen@gmail.com>
2023-10-29 16:58:56 +01:00
David Roman
6be487bc1d
sci-mathematics/frama-c-wp: treeclean
...
Signed-off-by: David Roman <davidroman96@gmail.com>
2023-10-05 14:29:04 +02:00
Mazunki Hoksaas
1e81e47fb0
sci-mathematics/rstudio-desktop-bin: add 2023.09.0_p463, drop 2022.12.0_p353
...
Signed-off-by: Mazunki Hoksaas <rolferen@gmail.com>
2023-09-30 15:27:42 +02:00
Mazunki Hoksaas
7ca4131453
sci-mathematics/rstudio-desktop-bin: add 2023.06.2_p561
...
Signed-off-by: Mazunki Hoksaas <rolferen@gmail.com>
2023-09-15 10:18:32 +02:00
Lucio Sauer
68460592f2
*/*: fix MissingRemoteId in metadata.xml
...
* Manually checked, I hope I caught most errors
Signed-off-by: Lucio Sauer <watermanpaint@posteo.net>
2023-06-27 04:24:02 +02:00
Anna (cybertailor) Vyalkova
12088906c5
*/*: drop dead py3.9 impl
...
Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
2023-05-02 00:45:35 +05:00
Anna (cybertailor) Vyalkova
0fc1fba234
sci-mathematics/mccs: treeclean duplicate
...
Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
2023-04-26 19:29:33 +05:00
François-Xavier Carton
d41b48be87
sci-mathematics/frama-c: force gtk3
...
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
2023-04-09 01:51:19 +02:00
Arthur Zamarin
9ad23458b6
sci-mathematics/frama-c: fix dep on gtk useflag
...
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2023-04-06 18:13:37 +03:00
Florian Schmaus
9eeffe8cc0
sci-mathematics/abc: treeclean, in ::gentoo
...
Signed-off-by: Florian Schmaus <flow@gentoo.org>
2023-03-16 09:27:07 +01:00
Anna (cybertailor) Vyalkova
41008d715c
*/*: drop dead py3.8 impl
...
Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
2023-03-12 17:53:56 +05:00
Anna (cybertailor) Vyalkova
1e95f22062
*/*: update metadata schema uri
...
Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
2023-03-04 18:56:32 +05:00
Anna (cybertailor) Vyalkova
b8eb86f82e
*/*: dev-python/{prompt_toolkit -> prompt-toolkit}
...
Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
2023-02-24 00:21:04 +05:00
Henri Gasc
640fee1509
sci-mathematics/pyromaths: enable py3.8 and disable py3.11
...
Closes: https://bugs.gentoo.org/891721
Signed-off-by: Henri Gasc <gasc@eurecom.fr>
2023-02-04 18:32:57 +01:00
Henri Gasc
0eff0ca112
sci-mathematics/pyromaths: new package, add 21.8.2
...
Signed-off-by: Henri Gasc <gasc@eurecom.fr>
2023-01-19 21:19:17 +01:00
Joe Kappus
32f49c5e31
sci-mathematics/rstudio-desktop-bin: fix SRC_URI
...
Used PVR before, using PV now so revbumps won't break the ebuild.
Signed-off-by: Joe Kappus <joe@wt.gd>
2023-01-11 16:51:12 -05:00
Joe Kappus
e2ad46235f
sci-mathematics/rstudio-desktop-bin: delete renamed ebuild
...
Signed-off-by: Joe Kappus <joe@wt.gd>
2023-01-11 03:18:43 -05:00
Joe Kappus
f8c40cb35e
sci-mathematics/rstudio-desktop-bin: new package, add 2022.12.0-r353
...
Original written by Hairu, based on discord-bin-0.0.22.ebuild
Signed-off-by: Joe Kappus <joe@wt.gd>
2023-01-11 03:07:26 -05:00
Joe Kappus
effc9ffbf4
sci-mathematics/rstudio-desktop-bin: new package, add 2022.12.0-r353
...
Signed-off-by: Joe Kappus <joe@wt.gd>
2023-01-11 02:13:58 -05:00
Tony Olagbaiye
ee626fb506
sci-mathematics/abc: new package, add 9999
...
Signed-off-by: Tony Olagbaiye <bqv@fron.io>
2022-12-09 22:11:29 +00:00
Viorel Munteanu
b4cfa583d6
Move {virtual -> app-alternatives}/yacc
...
Signed-off-by: Viorel Munteanu <ceamac@gentoo.org>
2022-12-06 07:43:50 +02:00
Andrew Ammerlaan
ba5027e799
sci-mathematics/frama-c: quote FILESDIR variable
...
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
2022-09-08 12:24:17 +02:00
Yuan Liao
05ee35a216
sci-mathematics/frama-c-reduc: Update Manifest
...
Signed-off-by: Yuan Liao <liaoyuan@gmail.com>
2022-08-23 13:04:15 -07:00
François-Xavier Carton
323d2476f1
sci-mathematics/frama-c: bump to 25.0
...
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
2022-08-19 19:30:31 +02:00
Anna (cybertailor) Vyalkova
9a5a10a8e8
sci-mathematics/minisat+: update HOMEPAGE, SRC_URI
...
Closes: https://bugs.gentoo.org/842336
Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
2022-06-05 11:12:15 +05:00
Alessandro Barbieri
c5b96369a6
sci-mathematics/clasp: add manpage
...
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-06-02 03:23:30 +02:00
Alessandro Barbieri
f31b651a0d
sci-mathematics/chaco: fix octave file
...
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-05-31 12:21:47 +02:00
François-Xavier Carton
13b13d2280
sci-mathematics/frama-c: fix CFLAGS replacement
...
Closes: https://bugs.gentoo.org/847424
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
2022-05-31 03:16:28 +02:00
Alessandro Barbieri
00066535ec
sci-mathematics/radian: bump python
...
Closes: https://bugs.gentoo.org/848414
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-05-29 23:04:53 +02:00
Alessandro Barbieri
ab53997ce2
sci-mathematics/clingo: enable py3.11
...
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-05-28 14:53:33 +02:00
Alessandro Barbieri
63e30e8e2c
sci-mathematics/qepcad: add subslot
...
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-05-28 14:53:30 +02:00
Alessandro Barbieri
35512fc831
sci-mathematics/clasp: use https
...
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-05-25 21:45:03 +02:00
Alessandro Barbieri
b3a7afa60d
sci-mathematics/radian: add 0.6.3, drop 0.6.0
...
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-05-25 21:21:46 +02:00
François-Xavier Carton
e9083b7690
sci-mathematics/frama-c-*: force gtk USE to match frama-c core
...
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>
2022-05-24 23:30:02 +02:00
François-Xavier Carton
6f826a3a6d
sci-mathematics/frama-c: better fix for flags issue
...
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
2022-05-24 23:30:01 +02:00
François-Xavier Carton
86ecc49dcb
sci-mathematics/frama-c: respect CFLAGS
...
Closes: https://bugs.gentoo.org/840559
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
2022-05-24 23:30:00 +02:00
