| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | sci-mathematics/aspcud: add cudf solvers file from debian |   Alessandro Barbieri | 2022-04-29 | 2 | -4/+13 |
| * | sci-mathematics/mccs: add cudf solvers files from debian | Alessandro Barbieri | 2022-04-29 | 3 | -6/+15 |
| * | sci-mathematics/minisatp: new package, add 0.1_p20121002 | Alessandro Barbieri | 2022-04-29 | 5 | -0/+125 |
| * | sci-mathematics/packup: new package, add 0.6 | Alessandro Barbieri | 2022-04-29 | 8 | -0/+313 |
| * | sci-mathematics/minisat+: new package, add 2007.01.05 | Alessandro Barbieri | 2022-04-29 | 7 | -0/+237 |
| * | sci-mathematics/clingo: fix header | Alessandro Barbieri | 2022-04-28 | 1 | -1/+1 |
| * | sci-mathematics/mccs: new package, add 1.1 | Alessandro Barbieri | 2022-04-28 | 6 | -0/+134 |
| * | sci-mathematics/aspcud: new package, add 1.9.5 | Alessandro Barbieri | 2022-04-28 | 3 | -0/+50 |
| * | sci-mathematics/clingo: new package, add 5.5.1 | Alessandro Barbieri | 2022-04-28 | 4 | -0/+152 |
| * | sci-mathematics/clasp: new package, add 3.3.7 | Alessandro Barbieri | 2022-04-28 | 5 | -0/+97 |
| * | sci-mathematics/libpotassco: new package, add 0_pre20200612 | Alessandro Barbieri | 2022-04-28 | 3 | -0/+46 |
| * | sci-mathematics/radian: fix tests | Alessandro Barbieri | 2022-04-19 | 1 | -6/+15 |
| * | sci-mathematics/radian: update SRC_URI | Alessandro Barbieri | 2022-04-16 | 2 | -2/+2 |
| * | sci-mathematics/radian: initial import | Alessandro Barbieri | 2022-04-15 | 4 | -0/+89 |
| * | sci-mathematics/lean-mathlib: drop 0.1_p20211021, 0.1_p20220318 | Alessandro Barbieri | 2022-03-26 | 3 | -88/+0 |
| * | sci-mathematics/lean-mathlib: add 0.1_p20220324 | Alessandro Barbieri | 2022-03-26 | 2 | -0/+44 |
| * | sci-mathematics/lean-mathlib: add 0.1_p20220318 | Alessandro Barbieri | 2022-03-19 | 2 | -0/+44 |
| * | sci-mathematics/frama-c: bump to 24.0 |   François-Xavier Carton | 2022-01-13 | 62 | -0/+1614 |
| * | sci-mathematics/frama-c-wp: add missing variable | François-Xavier Carton | 2022-01-13 | 1 | -0/+1 |
| * | sci-mathematics/frama-c: drop UnusedInherits |   Andrew Ammerlaan | 2021-12-15 | 1 | -1/+1 |
| * | sci-mathematics/frama-c: drop old | Andrew Ammerlaan | 2021-12-15 | 3 | -138/+0 |
| * | sci-mathematics/why3: moved to ::gentoo | Andrew Ammerlaan | 2021-12-15 | 4 | -199/+0 |
| * | sci-mathematics/lean-mathlib: dev-lang/lean --> sci-mathematics/lean | Andrew Ammerlaan | 2021-12-01 | 1 | -1/+1 |
| * | sci-mathematics: move mathlib-tools to ::gentoo |   Maciej Barć | 2021-11-26 | 3 | -69/+0 |
| * | sci-mathematics: moved metamath to ::gentoo | Maciej Barć | 2021-11-26 | 4 | -63/+0 |
| * | sci-mathematics/mathlib-tools: remove problematic tests |   Maciej Barć | 2021-10-25 | 1 | -2/+8 |
| * | sci-mathematics/lean-mathlib: remove empty longdescription |   Arthur Zamarin | 2021-10-24 | 1 | -2/+0 |
| * | sci-mathematics/lean-mathlib: fix doc install | Alessandro Barbieri | 2021-10-23 | 1 | -1/+1 |
| * | sci-mathematics/lean-mathlib: initial import | Alessandro Barbieri | 2021-10-22 | 3 | -0/+59 |
| * | sci-mathematics/metamath: add verison 0.198 | Maciej Barć | 2021-10-22 | 4 | -0/+63 |
| * | sci-mathematics/mathlib-tools: add lean slot | Maciej Barć | 2021-10-21 | 1 | -1/+1 |
| * | sci-mathematics/mathlib-tools: add version 1.1.0 | Maciej Barć | 2021-10-20 | 3 | -0/+63 |
| * | sci-mathematics/why3: update SRC_URI | François-Xavier Carton | 2021-10-01 | 2 | -2/+2 |
| * | sci-mathematics/chaco: change file layout | Alessandro Barbieri | 2021-09-07 | 1 | -2/+4 |
| * | sci-mathematics/chaco: mbdyn patch, build shared library | Alessandro Barbieri | 2021-09-07 | 5 | -29/+114 |
| * | sci-mathematics/the-omega-project: respect LDFLAGS, build PIE | Alessandro Barbieri | 2021-09-05 | 2 | -2/+21 |
| * | sci-mathematics/why3: no need to die with emake | François-Xavier Carton | 2021-09-04 | 2 | -2/+2 |
| * | sci-mathematics/frama-c: split plugins from main ebuild | François-Xavier Carton | 2021-09-04 | 91 | -61/+1812 |
| * | sci-mathematics/frama-c: bump to 23.1 | François-Xavier Carton | 2021-09-04 | 2 | -0/+106 |
| * | sci-mathematics/the-omega-project: reverse gui logic | Alessandro Barbieri | 2021-08-08 | 1 | -1/+1 |
| * | sci-mathematics/the-omega-project: rename patch | Alessandro Barbieri | 2021-08-08 | 2 | -1/+1 |
| * | sci-mathematics/the-omega-project: initial import | Alessandro Barbieri | 2021-08-08 | 7 | -0/+373 |
| * | */*: add lang="en" to <longdescription> | Alessandro Barbieri | 2021-06-28 | 2 | -2/+2 |
| * | sci-mathematics/frama-c: fix AR and RANLIB |   Anna Vyalkova | 2021-05-16 | 1 | -1/+7 |
| * | sci-mathematics/chaco: fix CC | Anna Vyalkova | 2021-05-16 | 1 | -4/+9 |
| * | sci-mathematics/*: inherit findlib eclass | Anna Vyalkova | 2021-05-02 | 3 | -12/+7 |
| * | sci-mathematics/frama-c: respect CFLAGS | François-Xavier Carton | 2021-04-19 | 1 | -0/+1 |
| * | sci-mathematics/why3: respect CFLAGS & LDFLAGS | François-Xavier Carton | 2021-04-19 | 2 | -0/+6 |
| * | sci-mathematics/chaco: it's not a libraru | Alessandro Barbieri | 2021-04-12 | 4 | -0/+60 |
| * | sci-mathematics/frama-c: doesn't build with why3-1.4.0 | François-Xavier Carton | 2021-03-30 | 1 | -1/+1 |
GitWeb
