Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/dev-lang
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/hare: Fix snapshotHaelwenn (lanodan) Monnier2022-08-084-46/+61
* dev-lang/harec: Update snapshot to 20220702Haelwenn (lanodan) Monnier2022-08-082-2/+2
* dev-lang/harec: remove double empty lineAndrew Ammerlaan2022-07-032-2/+0
* dev-lang/harec: Remove -WerrorHaelwenn (lanodan) Monnier2022-06-272-0/+12
* dev-lang/harec: Unify live and release ebuildsHaelwenn (lanodan) Monnier2022-06-272-12/+34
* dev-lang/hare: Use $PV as subslotHaelwenn (lanodan) Monnier2022-06-251-1/+1
* dev-lang/opencilk-bin: add QA_FLAGS_IGNOREDFlorian Schmaus2022-06-241-0/+2
* dev-lang/opencilk: fix installationFlorian Schmaus2022-06-241-1/+1
* dev-lang/hare: fix keyword for CIHuang Rui2022-06-241-1/+1
* dev-lang/harec: fix keyword for CIHuang Rui2022-06-241-1/+1
* dev-lang/{hare/harec}: keywords fixed version to fix CI buildHuang Rui2022-06-244-3/+31
* dev-lang/hare: add fixed version to fix CIHuang Rui2022-06-241-0/+33
* dev-lang/opencilk-bin: new package, add 1.1, migrated from ::flowFlorian Schmaus2022-06-243-0/+43
* dev-lang/opencilk: new package, add 1.1, migrated from ::flowFlorian Schmaus2022-06-244-0/+189
* dev-lang/hare: Add MPL-2.0 in LICENSEHaelwenn (lanodan) Monnier2022-05-051-1/+1
* dev-lang/hare: New PackageHaelwenn (lanodan) Monnier2022-04-232-0/+40
* dev-lang/harec: New PackageHaelwenn (lanodan) Monnier2022-04-232-0/+34
* */*: Fix missing trailing slash in HOMEPAGERonny (tastytea) Gutbrod2022-04-041-1/+1
* dev-lang/gleam: drop to maintainer-neededMatthew Smith2022-02-131-4/+1
* dev-lang: moved fennel to ::gentooMaciej Barć2021-11-285-136/+0
* dev-lang: move idris2 to ::gentooMaciej Barć2021-11-274-248/+0
* dev-lang: moved arc to ::gentooMaciej Barć2021-11-263-55/+0
* dev-lang: move lean to ::gentoo (as sci-mathematics/lean)Maciej Barć2021-11-266-256/+0
* dev-lang: move clipsjni to ::gentooMaciej Barć2021-11-265-146/+0
* dev-lang: move clips to ::gentooMaciej Barć2021-11-264-85/+0
* dev-lang/idris2: add schemes threading requirementMaciej Barć2021-11-212-8/+8
* dev-lang/clipsjni: fix desktop entriesMaciej Barć2021-11-131-5/+8
* dev-lang/clips: new package; add version 6.40Maciej Barć2021-11-135-1/+86
* dev-lang/clipsjni: new package; add version 6.40Maciej Barć2021-11-135-0/+143
* dev-lang/arc: bump EAPI; compile scheme modulesMaciej Barć2021-11-122-16/+21
* dev-lang/arc: move from dev-lisp/arcMaciej Barć2021-11-123-0/+50
* dev-lang/idris2: bump to 0.5.1_p20211112Maciej Barć2021-11-122-0/+112
* dev-lang/idris2: move scheme from BDEPEND to RDEPENDMaciej Barć2021-11-121-3/+5
* dev-lang/idris2: fix *DEPENDMaciej Barć2021-11-121-1/+2
* dev-lang/idris2: new package; add version 0.5.1Maciej Barć2021-11-123-0/+133
* dev-lang/lean: bump to 3.35.0Maciej Barć2021-11-052-0/+71
* dev-lang/ammonite-repl-bin: treecleanFlorian Schmaus2021-10-253-32/+0
* dev-lang/lean: fix build type and flagsMaciej Barć2021-10-223-4/+45
* dev-lang/lean: remove unnecessary test flagMaciej Barć2021-10-222-4/+2
* dev-lang/lean: exclude style_check testMaciej Barć2021-10-212-0/+18
* dev-lang/lean: add 3.34.0Alessandro Barbieri2021-10-212-0/+54
* dev-lang/lean: add subslotMaciej Barć2021-10-211-1/+3
* dev-lang/lean: add info about mathlib-toolsMaciej Barć2021-10-201-3/+9
* dev-lang/lean: add version 3.33.0Maciej Barć2021-10-193-0/+66
* */*: drop dead python implsJames Beddek2021-10-091-1/+1
* dev-lang/aldor: drop flag-o-maticAlessandro Barbieri2021-09-271-1/+1
* dev-lang/fbc: Version bump to 1.08.1William Breathitt Gray2021-09-082-0/+62
* dev-lang/fbc-bootstrap: Version bump to 1.08.1William Breathitt Gray2021-09-083-0/+55
* dev-lang/fennel: drop old 0.9.1Maciej Barć2021-08-162-37/+0
* dev-lang/fennel: bump to 0.10.0Maciej Barć2021-08-162-0/+37