wyj/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2025-04-19 15:59:00 -04:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity
16,394 Commits 1 Branch 0 Tags
Commit Graph

110 Commits

Author SHA1 Message Date
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
Alessandro Barbieri
b63bc684cc
sci-mathematics/clingo: fix for new clasp 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-03 22:21:35 +02:00
Alessandro Barbieri
f635a60b5d
sci-mathematics/clasp: add 3.3.8, drop 3.3.7 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-03 22:21:34 +02:00
Alessandro Barbieri
7b70282eeb
sci-mathematics/clasp: use system catch 
Closes: https://bugs.gentoo.org/842327
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-03 22:21:34 +02:00
Alessandro Barbieri
c6dac88a44
sci-mathematics/aspcud: drop 1.9.5 
Closes: https://bugs.gentoo.org/842330
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-03 22:21:34 +02:00
Alessandro Barbieri
e8e0f024a2
sci-mathematics/mccs: respect AR 
Closes: https://bugs.gentoo.org/842333
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-03 22:21:34 +02:00
Alessandro Barbieri
fc9580728b
sci-mathematics/minisatp: fix rpath 
Closes: https://bugs.gentoo.org/842345
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-03 22:21:33 +02:00
Alessandro Barbieri
b98c64e9f7
sci-mathematics/aspcud: add 1.9.6 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-02 22:01:15 +02:00
Alessandro Barbieri
8cbe3e77ba
sci-mathematics/qepcad: version with patches 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-02 22:01:14 +02:00
Alessandro Barbieri
4194b3248f
sci-mathematics/radian: fix patch name 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-02 10:08:26 +02:00
Alessandro Barbieri
4e48177a5e
*/*: move sci-mathematics/libpotassco to sci-libs/libpotassco 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-02 09:19:48 +02:00
Alessandro Barbieri
a0523998b4
sci-mathematics/qepcad: add 1.72b_p20220502, drop 1.72b_p20220501 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-02 09:19:48 +02:00