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 |
|
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 |
|