mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-10 15:45:15 -04:00
Code Issues Packages Projects Releases Wiki Activity
23,803 Commits 1 Branch 0 Tags
266ce0e3418e9cd7bc656cb898729d41d5e11509
Commit Graph

121 Commits

Author SHA1 Message Date
David Roman
8b33f89cda Revert "*/*: ExcessiveLineLength fix most of them" 
This reverts commit 79341e9f04.
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
Alessandro Barbieri
20e4efca40 sci-mathematics/chaco: correctly install m files 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-24 19:36:37 +02:00
Alessandro Barbieri
c66eb0d444 sci-mathematics/clingo: system catch 
Closes: https://bugs.gentoo.org/843479
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-24 19:36:35 +02:00
François-Xavier Carton
6e6f034d42 sci-mathematics/frama-c-wp: add why3<1.5.0 restriction 
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
 2022-05-07 19:46:34 +02:00
Alessandro Barbieri
512fbbae89 sci-mathematics/clingo: add 5.5.2, drop 5.5.1-r1 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-06 02:35:57 +02:00
Alessandro Barbieri
f2e4c35a07 sci-mathematics/clingo: system catch 
Closes: https://bugs.gentoo.org/842798
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-06 01:37:52 +02:00
Alessandro Barbieri
d4c831ca37 sci-mathematics/aspcud: includedir for catch 
Closes: https://bugs.gentoo.org/842720
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-06 01:37:52 +02:00
Alessandro Barbieri
e4b6ba24f5 sci-mathematics/clasp: includedir for catch2 
Closes: https://bugs.gentoo.org/842759
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-06 01:37:52 +02:00
Alessandro Barbieri
abd488bb31 sci-mathematics/minisatp: fix executable name 
Closes: https://bugs.gentoo.org/842753
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-06 01:37:52 +02:00