mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-09 23:23:00 -04:00
Code Issues Packages Projects Releases Wiki Activity
35,701 Commits 1 Branch 0 Tags
83522333d8dbdfeabfdaf352511f5f57b6222e2b
Commit Graph

138 Commits

Author SHA1 Message Date
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
Alessandro Barbieri
31ebb31224 sci-mathematics/qepcad: fix typo 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-01 06:16:00 +02:00
Alessandro Barbieri
c8f24b753f sci-mathematics/qepcad: new package, add 1.72b_p20220501 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-01 06:14:33 +02:00
Alessandro Barbieri
10c148017d sci-mathematics/radian: add 0.6.1 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-29 04:16:54 +02:00
Alessandro Barbieri
2bb1952d14 sci-mathematics/packup: swap {R,}DEPEND logic 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-29 03:52:42 +02:00
Alessandro Barbieri
a182a532d6 sci-mathematics/mccs: swap {R,}DEPEND logic 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-29 03:50:59 +02:00
Alessandro Barbieri
303c72b907 sci-mathematics/aspcud: swap {R,}DEPEND logic 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-29 03:49:46 +02:00
Alessandro Barbieri
7c4164af89 sci-mathematics/aspcud: add cudf solvers file from debian 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-29 03:47:59 +02:00
Alessandro Barbieri
54f6fe2cb2 sci-mathematics/mccs: add cudf solvers files from debian 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-29 03:47:59 +02:00
Alessandro Barbieri
47ea62d41d sci-mathematics/minisatp: new package, add 0.1_p20121002 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-29 03:47:58 +02:00
Alessandro Barbieri
59813a99ec sci-mathematics/packup: new package, add 0.6 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-29 03:47:58 +02:00
Alessandro Barbieri
1d6017d595 sci-mathematics/minisat+: new package, add 2007.01.05 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-29 03:47:58 +02:00
Alessandro Barbieri
a012e64c3b sci-mathematics/clingo: fix header 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-28 10:00:57 +02:00
Alessandro Barbieri
c6c93bbbc8 sci-mathematics/mccs: new package, add 1.1 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-28 09:45:13 +02:00
Alessandro Barbieri
bfdf9a867d sci-mathematics/aspcud: new package, add 1.9.5 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-28 07:57:31 +02:00
Alessandro Barbieri
3820d604d8 sci-mathematics/clingo: new package, add 5.5.1 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-28 07:57:31 +02:00
Alessandro Barbieri
16d8232dda sci-mathematics/clasp: new package, add 3.3.7 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-28 07:57:30 +02:00
Alessandro Barbieri
799d0f1c6f sci-mathematics/libpotassco: new package, add 0_pre20200612 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-28 07:57:30 +02:00
Alessandro Barbieri
4a8ea2a48c sci-mathematics/radian: fix tests 
Closes: https://bugs.gentoo.org/839309
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-19 20:31:28 +02:00
Alessandro Barbieri
afc5edd3ba sci-mathematics/radian: update SRC_URI 
Closes: https://bugs.gentoo.org/838826
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-16 18:20:07 +02:00
Alessandro Barbieri
fbd84d7484 sci-mathematics/radian: initial import 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-15 22:34:21 +02:00
Alessandro Barbieri
749e26c7ec sci-mathematics/lean-mathlib: drop 0.1_p20211021, 0.1_p20220318 
Closes: https://bugs.gentoo.org/835922
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-03-26 01:09:36 +01:00
Alessandro Barbieri
4bf925478b sci-mathematics/lean-mathlib: add 0.1_p20220324 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-03-26 01:09:35 +01:00