| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| * | dev-lang/hare: Use $PV as subslot |   Haelwenn (lanodan) Monnier | 2022-06-25 | 1 | -1/+1 |
| * | dev-lang/opencilk-bin: add QA_FLAGS_IGNORED |   Florian Schmaus | 2022-06-24 | 1 | -0/+2 |
| * | dev-lang/opencilk: fix installation | Florian Schmaus | 2022-06-24 | 1 | -1/+1 |
| * | dev-lang/hare: fix keyword for CI |   Huang Rui | 2022-06-24 | 1 | -1/+1 |
| * | dev-lang/harec: fix keyword for CI | Huang Rui | 2022-06-24 | 1 | -1/+1 |
| * | dev-lang/{hare/harec}: keywords fixed version to fix CI build | Huang Rui | 2022-06-24 | 4 | -3/+31 |
| * | dev-lang/hare: add fixed version to fix CI | Huang Rui | 2022-06-24 | 1 | -0/+33 |
| * | dev-lang/opencilk-bin: new package, add 1.1, migrated from ::flow | Florian Schmaus | 2022-06-24 | 3 | -0/+43 |
| * | dev-lang/opencilk: new package, add 1.1, migrated from ::flow | Florian Schmaus | 2022-06-24 | 4 | -0/+189 |
| * | dev-lang/hare: Add MPL-2.0 in LICENSE | Haelwenn (lanodan) Monnier | 2022-05-05 | 1 | -1/+1 |
| * | dev-lang/hare: New Package | Haelwenn (lanodan) Monnier | 2022-04-23 | 2 | -0/+40 |
| * | dev-lang/harec: New Package | Haelwenn (lanodan) Monnier | 2022-04-23 | 2 | -0/+34 |
| * | */*: Fix missing trailing slash in HOMEPAGE |   Ronny (tastytea) Gutbrod | 2022-04-04 | 1 | -1/+1 |
| * | dev-lang/gleam: drop to maintainer-needed |   Matthew Smith | 2022-02-13 | 1 | -4/+1 |
| * | dev-lang: moved fennel to ::gentoo |   Maciej Barć | 2021-11-28 | 5 | -136/+0 |
| * | dev-lang: move idris2 to ::gentoo | Maciej Barć | 2021-11-27 | 4 | -248/+0 |
| * | dev-lang: moved arc to ::gentoo | Maciej Barć | 2021-11-26 | 3 | -55/+0 |
| * | dev-lang: move lean to ::gentoo (as sci-mathematics/lean) | Maciej Barć | 2021-11-26 | 6 | -256/+0 |
| * | dev-lang: move clipsjni to ::gentoo | Maciej Barć | 2021-11-26 | 5 | -146/+0 |
| * | dev-lang: move clips to ::gentoo | Maciej Barć | 2021-11-26 | 4 | -85/+0 |
| * | dev-lang/idris2: add schemes threading requirement |   Maciej Barć | 2021-11-21 | 2 | -8/+8 |
| * | dev-lang/clipsjni: fix desktop entries | Maciej Barć | 2021-11-13 | 1 | -5/+8 |
| * | dev-lang/clips: new package; add version 6.40 | Maciej Barć | 2021-11-13 | 5 | -1/+86 |
| * | dev-lang/clipsjni: new package; add version 6.40 | Maciej Barć | 2021-11-13 | 5 | -0/+143 |
| * | dev-lang/arc: bump EAPI; compile scheme modules | Maciej Barć | 2021-11-12 | 2 | -16/+21 |
| * | dev-lang/arc: move from dev-lisp/arc | Maciej Barć | 2021-11-12 | 3 | -0/+50 |
| * | dev-lang/idris2: bump to 0.5.1_p20211112 | Maciej Barć | 2021-11-12 | 2 | -0/+112 |
| * | dev-lang/idris2: move scheme from BDEPEND to RDEPEND | Maciej Barć | 2021-11-12 | 1 | -3/+5 |
| * | dev-lang/idris2: fix *DEPEND | Maciej Barć | 2021-11-12 | 1 | -1/+2 |
| * | dev-lang/idris2: new package; add version 0.5.1 | Maciej Barć | 2021-11-12 | 3 | -0/+133 |
| * | dev-lang/lean: bump to 3.35.0 | Maciej Barć | 2021-11-05 | 2 | -0/+71 |
| * | dev-lang/ammonite-repl-bin: treeclean | Florian Schmaus | 2021-10-25 | 3 | -32/+0 |
| * | dev-lang/lean: fix build type and flags | Maciej Barć | 2021-10-22 | 3 | -4/+45 |
| * | dev-lang/lean: remove unnecessary test flag | Maciej Barć | 2021-10-22 | 2 | -4/+2 |
| * | dev-lang/lean: exclude style_check test | Maciej Barć | 2021-10-21 | 2 | -0/+18 |
| * | dev-lang/lean: add 3.34.0 |   Alessandro Barbieri | 2021-10-21 | 2 | -0/+54 |
| * | dev-lang/lean: add subslot | Maciej Barć | 2021-10-21 | 1 | -1/+3 |
| * | dev-lang/lean: add info about mathlib-tools | Maciej Barć | 2021-10-20 | 1 | -3/+9 |
| * | dev-lang/lean: add version 3.33.0 | Maciej Barć | 2021-10-19 | 3 | -0/+66 |
| * | */*: drop dead python impls |   James Beddek | 2021-10-09 | 1 | -1/+1 |
| * | dev-lang/aldor: drop flag-o-matic | Alessandro Barbieri | 2021-09-27 | 1 | -1/+1 |
| * | dev-lang/fbc: Version bump to 1.08.1 |   William Breathitt Gray | 2021-09-08 | 2 | -0/+62 |
| * | dev-lang/fbc-bootstrap: Version bump to 1.08.1 | William Breathitt Gray | 2021-09-08 | 3 | -0/+55 |
| * | dev-lang/fennel: drop old 0.9.1 | Maciej Barć | 2021-08-16 | 2 | -37/+0 |
| * | dev-lang/fennel: bump to 0.10.0 | Maciej Barć | 2021-08-16 | 2 | -0/+37 |
| * | dev-lang/fennel: remove lua5.2 support | Maciej Barć | 2021-07-16 | 3 | -3/+3 |
| * | dev-lang/aldor: fix hardcoded cc | Alessandro Barbieri | 2021-07-05 | 1 | -2/+5 |
| * | dev-lang/aldor: add more || die | Alessandro Barbieri | 2021-07-04 | 1 | -15/+18 |
| * | dev-lang/aldor: fixes | Alessandro Barbieri | 2021-07-02 | 5 | -29/+306 |
| * | */*: fix metadata | Alessandro Barbieri | 2021-06-28 | 1 | -1/+1 |
GitWeb
