Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang
Commit message (Collapse)AuthorAgeFilesLines
* dev-lang/execline: add 2.9.4.0Petr Vaněk2023-11-172-0/+48
| | | | | | | The ABI has changed. Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/execline: restrict to dev-libs/skalibs:0/2.13Petr Vaněk2023-11-171-1/+1
| | | | | | | This version fails to build with new dev-libs/skalibs-2.14.0.0. Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/algol68g: Stabilize 3.4.2 amd64, #917459Maciej Barć2023-11-171-1/+1
| | | | | Closes: https://bugs.gentoo.org/917459 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/luau: Stabilize 0.599 amd64, #917460Maciej Barć2023-11-171-1/+1
| | | | | Closes: https://bugs.gentoo.org/917460 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/luau: drop old 0.602Maciej Barć2023-11-172-37/+0
| | | | | Closes: https://bugs.gentoo.org/917017 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: bump to 3.0.6Maciej Barć2023-11-172-0/+289
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/boogie: drop old 3.0.4Maciej Barć2023-11-172-288/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny-bin: drop old 4.2.0Maciej Barć2023-11-152-54/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/dafny-bin: drop old 3.12.0Maciej Barć2023-11-152-52/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/ocaml: remove unused patchMichael Mair-Keimberger2023-11-151-13/+0
| | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Closes: https://github.com/gentoo/gentoo/pull/33710 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-lang/julia-bin: add 1.9.4Andreas K. Hüttel2023-11-142-0/+60
| | | | Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
* dev-lang/vala: Version bump to 0.56.14Guillermo Joandet2023-11-142-0/+49
| | | | | | Closes: https://bugs.gentoo.org/915156 Signed-off-by: Guillermo Joandet <gjoandet@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/luajit: Fix cross-compiling from 64-bit to 32-bitJames Le Cuirot2023-11-131-1/+15
| | | | | | | | | | | | This will only work with a multilib build host toolchain, so probably just amd64 and ppc64, but it's better than nothing. Multilib profiles specify an explicit target rather than just -m32 in LDFLAGS, but this should still do the right thing, and there's probably no way to query the build profile. Closes: https://bugs.gentoo.org/627332 Signed-off-by: James Le Cuirot <chewi@gentoo.org>
* dev-lang/dafny: Stabilize 4.3.0-r1 amd64, #917307Sam James2023-11-131-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/boogie: Stabilize 3.0.5 amd64, #917307Sam James2023-11-131-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/dafny-bin: Stabilize 4.3.0 amd64, #917301Sam James2023-11-131-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/luau: bump to 0.603Maciej Barć2023-11-132-0/+37
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/luau: drop old 0.596Maciej Barć2023-11-132-37/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/go: Stabilize 1.21.4 arm64, #917065Arthur Zamarin2023-11-111-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/go: Stabilize 1.20.11 arm64, #917065Arthur Zamarin2023-11-111-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/go: Stabilize 1.21.4 x86, #917065Arthur Zamarin2023-11-111-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/go: Stabilize 1.20.11 x86, #917065Arthur Zamarin2023-11-111-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* Revert "dev-lang/go: stabilize 1.21.3 for arm64, #915900"Sam James2023-11-111-1/+1
| | | | | | | | This reverts commit d2db2ed77133a8cc0e75c20d2757252321b66549. Was not tested on arm64. Signed-off-by: Sam James <sam@gentoo.org>
* Revert "dev-lang/go: stabilize 1.20.10 for arm64, #915900"Sam James2023-11-111-1/+1
| | | | | | | | This reverts commit 4404ec7e4911c912598bde07163ed66363fef9ce. Was not tested on arm64. Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/rust: Stabilize 1.71.1 ppc, #913962Arthur Zamarin2023-11-091-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/rust-bin: Stabilize 1.71.1 ppc, #913962Arthur Zamarin2023-11-091-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/go: Stabilize 1.21.4 ppc64, #917065Sam James2023-11-091-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/go: Stabilize 1.20.11 ppc64, #917065Sam James2023-11-091-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/go: Stabilize 1.21.4 amd64, #917065Sam James2023-11-091-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/go: Stabilize 1.20.11 amd64, #917065Sam James2023-11-091-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/go: Stabilize 1.21.4 arm, #917065Sam James2023-11-091-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/go: Stabilize 1.20.11 arm, #917065Sam James2023-11-091-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/go: stabilize 1.21.3 for arm64, #915900William Hubbs2023-11-081-1/+1
| | | | Signed-off-by: William Hubbs <williamh@gentoo.org>
* dev-lang/go: stabilize 1.20.10 for arm64, #915900William Hubbs2023-11-081-1/+1
| | | | Signed-off-by: William Hubbs <williamh@gentoo.org>
* dev-lang/go: add 1.21.4William Hubbs2023-11-082-0/+211
| | | | Signed-off-by: William Hubbs <williamh@gentoo.org>
* dev-lang/go: add 1.20.11William Hubbs2023-11-082-0/+211
| | | | Signed-off-by: William Hubbs <williamh@gentoo.org>
* dev-lang/luau: Stabilize 0.598 amd64, #917010Maciej Barć2023-11-071-1/+1
| | | | | Closes: https://bugs.gentoo.org/917010 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/luau: bump to 0.602Maciej Barć2023-11-072-0/+37
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/rust: Stabilize 1.71.1 ppc64, #913962Arthur Zamarin2023-11-071-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/rust-bin: Stabilize 1.71.1 ppc64, #913962Arthur Zamarin2023-11-071-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/rust: Stabilize 1.71.1 arm, #913962Arthur Zamarin2023-11-071-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/rust-bin: Stabilize 1.71.1 arm, #913962Arthur Zamarin2023-11-071-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/rust: Stabilize 1.71.1 sparc, #913962Arthur Zamarin2023-11-071-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/rust-bin: Stabilize 1.71.1 sparc, #913962Arthur Zamarin2023-11-071-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/orc: drop 0.4.31, 0.4.32Mart Raudsepp2023-11-053-82/+0
| | | | Signed-off-by: Mart Raudsepp <leio@gentoo.org>
* dev-lang/eisl: sync live 9999Maciej Barć2023-11-041-3/+5
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/eisl: bump to 3.60Maciej Barć2023-11-043-0/+81
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/R: add 4.3.2David Seifert2023-11-022-0/+249
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* dev-lang/algol68g: bump to 3.4.4Maciej Barć2023-11-012-0/+42
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/luau: bump to 0.601Maciej Barć2023-11-012-0/+37
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>