mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-10 07:33:19 -04:00
Code Issues Packages Projects Releases Wiki Activity
10,072 Commits 1 Branch 0 Tags
4e48177a5e22af4ce6c31e1f9ec925c8a234cdcc
Commit Graph

62 Commits

Author SHA1 Message Date
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
Alessandro Barbieri
4c20f182f8 sci-mathematics/lean-mathlib: add 0.1_p20220318 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-03-19 03:02:07 +01:00
François-Xavier Carton
d79091d437 sci-mathematics/frama-c: bump to 24.0 
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
 2022-01-13 21:35:58 +01:00
François-Xavier Carton
e721c2b1bd sci-mathematics/frama-c-wp: add missing variable 
Closes: https://bugs.gentoo.org/817368
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
 2022-01-13 21:35:57 +01:00
Andrew Ammerlaan
eb2bcd3e75 sci-mathematics/frama-c: drop UnusedInherits 
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
 2021-12-15 12:17:22 +01:00
Andrew Ammerlaan
5554acd11e sci-mathematics/frama-c: drop old 
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
 2021-12-15 11:42:45 +01:00
Andrew Ammerlaan
d6f443bcf2 sci-mathematics/why3: moved to ::gentoo 
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
 2021-12-15 11:35:02 +01:00
Andrew Ammerlaan
6c79f5e387 sci-mathematics/lean-mathlib: dev-lang/lean --> sci-mathematics/lean 
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
 2021-12-01 20:50:06 +01:00
Maciej Barć
71f026045d sci-mathematics: move mathlib-tools to ::gentoo 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
 2021-11-26 14:08:39 +01:00
Maciej Barć
1977e3f1b9 sci-mathematics: moved metamath to ::gentoo 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
 2021-11-26 10:45:19 +01:00
Maciej Barć
e5eaf98459 sci-mathematics/mathlib-tools: remove problematic tests 
Closes: https://bugs.gentoo.org/820218
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-10-25 16:51:19 +02:00
Arthur Zamarin
d9faaebbd0 sci-mathematics/lean-mathlib: remove empty longdescription 
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
 2021-10-24 17:41:33 +03:00
Alessandro Barbieri
88ff538278 sci-mathematics/lean-mathlib: fix doc install 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2021-10-23 07:11:22 +02:00
Alessandro Barbieri
ddb94e3f25 sci-mathematics/lean-mathlib: initial import 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2021-10-22 02:09:28 +02:00
Maciej Barć
efa215ae9f sci-mathematics/metamath: add verison 0.198 
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-10-22 00:24:17 +02:00
Maciej Barć
832d2b5f5d sci-mathematics/mathlib-tools: add lean slot 
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-10-21 00:06:24 +02:00
Maciej Barć
186ac057cc sci-mathematics/mathlib-tools: add version 1.1.0 
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-10-20 23:35:14 +02:00
François-Xavier Carton
4962103953 sci-mathematics/why3: update SRC_URI 
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
 2021-10-01 15:07:43 +02:00
Alessandro Barbieri
8b7db95955 sci-mathematics/chaco: change file layout 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2021-09-07 13:57:31 +02:00
Alessandro Barbieri
022dbdafac sci-mathematics/chaco: mbdyn patch, build shared library 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2021-09-07 01:42:44 +02:00
Alessandro Barbieri
1dc1bcfb73 sci-mathematics/the-omega-project: respect LDFLAGS, build PIE 
Closes: https://bugs.gentoo.org/807929
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2021-09-05 05:37:43 +02:00
François-Xavier Carton
6bd2366827 sci-mathematics/why3: no need to die with emake 
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
 2021-09-04 15:07:40 +02:00
François-Xavier Carton
dab2150f98 sci-mathematics/frama-c: split plugins from main ebuild 
USE flags are not meant for this (causing recompilation of everything
when changing plugins configuration). In addition, this solves the
problem of the main frama-c ebuild having too much USE flags.

Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
 2021-09-04 15:07:39 +02:00
François-Xavier Carton
00378c5361 sci-mathematics/frama-c: bump to 23.1 
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
 2021-09-04 15:07:38 +02:00
Alessandro Barbieri
72b0cb639c sci-mathematics/the-omega-project: reverse gui logic 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2021-08-08 01:43:52 +02:00
Alessandro Barbieri
a2783097f4 sci-mathematics/the-omega-project: rename patch 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2021-08-08 01:38:57 +02:00
Alessandro Barbieri
ead845b389 sci-mathematics/the-omega-project: initial import 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2021-08-08 01:38:57 +02:00