| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-lang/dafny: drop old 4.4.0-r1 | Maciej Barć | 2024-05-27 | 4 | -636/+0 |
* | dev-lang/dafny: disable broken c++ tests | Maciej Barć | 2024-05-27 | 1 | -0/+3 |
* | dev-lang/smlnj: bump to 110.99.5 | Maciej Barć | 2024-05-26 | 2 | -0/+179 |
* | dev-lang/smlnj: drop old 110.99.3 | Maciej Barć | 2024-05-26 | 2 | -179/+0 |
* | dev-lang/elpi: bump to 1.18.2 | Maciej Barć | 2024-05-26 | 2 | -0/+48 |
* | dev-lang/elpi: drop old 1.17.0 | Maciej Barć | 2024-05-26 | 2 | -48/+0 |
* | dev-lang/execline: drop 2.9.4.0 | Petr Vaněk | 2024-05-26 | 2 | -52/+0 |
* | dev-lang/python: Bump to 3.13.0_beta1_p3 | Michał Górny | 2024-05-26 | 2 | -0/+644 |
* | dev-lang/algol68g: bump to 3.5.2 | Maciej Barć | 2024-05-25 | 2 | -0/+42 |
* | dev-lang/kotlin-bin: bump to 2.0.0 | Maciej Barć | 2024-05-25 | 2 | -0/+60 |
* | dev-lang/kotlin-bin: drop old 1.9.23 | Maciej Barć | 2024-05-25 | 2 | -60/+0 |
* | dev-lang/python: skip failing tests for niche arches | Matoro Mahri | 2024-05-25 | 1 | -9/+85 |
* | dev-lang/logtalk: remove unused patch | Michael Mair-Keimberger | 2024-05-25 | 1 | -19/+0 |
* | dev-lang/gprolog: remove unused patches | Michael Mair-Keimberger | 2024-05-25 | 6 | -143/+0 |
* | dev-lang/perl: Update dual module versions | Andreas K. Hüttel | 2024-05-24 | 2 | -12/+12 |
* | dev-lang/perl: add 5.40.0_rc1 (builds, but otherwise work in progress) | Andreas K. Hüttel | 2024-05-24 | 2 | -0/+863 |
* | dev-lang/zig-bin: add 0.12.0 | Eric Joldasov | 2024-05-24 | 2 | -0/+102 |
* | dev-lang/erlang: ignore pthread_set_name_np implicit decl | Matthew Smith | 2024-05-24 | 1 | -0/+5 |
* | dev-lang/dafny: Stabilize 4.5.0 amd64, #930160 | Matoro Mahri | 2024-05-23 | 1 | -1/+1 |
* | dev-lang/nim: Stabilize 2.0.4 amd64, #932583 | Sam James | 2024-05-24 | 1 | -1/+1 |
* | dev-lang/eisl: bump to 3.95 | Maciej Barć | 2024-05-24 | 2 | -0/+53 |
* | dev-lang/dafny: use edo instead of edob | Maciej Barć | 2024-05-24 | 3 | -3/+3 |
* | dev-lang/dzaima-bqn: use edo instead of edob | Maciej Barć | 2024-05-24 | 2 | -4/+4 |
* | dev-lang/boogie: use edo instead of edob | Maciej Barć | 2024-05-24 | 2 | -2/+2 |
* | dev-lang/boogie: bump to 3.1.6 | Maciej Barć | 2024-05-24 | 2 | -0/+306 |
* | dev-lang/boogie: drop old 3.1.3 | Maciej Barć | 2024-05-24 | 2 | -304/+0 |
* | dev-lang/ispc: Bump to 1.24.0 | Michał Górny | 2024-05-23 | 2 | -0/+102 |
* | dev-lang/perl: fix UnusedLocalUse | Sam James | 2024-05-22 | 1 | -4/+0 |
* | dev-lang/perl: pass -D_GNU_SOURCE for the cross build for CHOST too | Sam James | 2024-05-22 | 1 | -0/+3 |
* | dev-lang/python: Use system mpdecimal in all 3.x versions | Michał Górny | 2024-05-21 | 6 | -0/+2516 |
* | dev-lang/python: Explicitly pass --with-system-libmpdec to 3.13 | Michał Górny | 2024-05-21 | 1 | -0/+1 |
* | dev-lang/erlang: add 27.0 | Matthew Smith | 2024-05-21 | 3 | -0/+215 |
* | dev-lang/ruby: stabilize 3.2.3 for amd64 | Matoro Mahri | 2024-05-20 | 1 | -1/+1 |
* | dev-lang/ruby: stabilize 3.2.3 for ppc | Matoro Mahri | 2024-05-20 | 1 | -1/+1 |
* | dev-lang/ruby: stabilize 3.2.3 for arm64 | Matoro Mahri | 2024-05-20 | 1 | -1/+1 |
* | dev-lang/ruby: stabilize 3.2.3 for ppc64 | Matoro Mahri | 2024-05-20 | 1 | -1/+1 |
* | dev-lang/ruby: stabilize 3.2.3 for x86 | Matoro Mahri | 2024-05-20 | 1 | -1/+1 |
* | dev-lang/python: Bump to 3.13.0_beta1_p2 | Michał Górny | 2024-05-20 | 2 | -0/+567 |
* | dev-lang/zig: update LLVM to 18, fix build without LLVM on 9999 | Eric Joldasov | 2024-05-20 | 1 | -2/+2 |
* | dev-lang/zig: add verify-sig support | Eric Joldasov | 2024-05-20 | 4 | -4/+33 |
* | dev-lang/zig-bin: add verify-sig support | Eric Joldasov | 2024-05-20 | 3 | -6/+48 |
* | dev-lang/zig: add 0.12.0 | 0x5a4 | 2024-05-19 | 2 | -0/+174 |
* | dev-lang/execline: Stabilize 2.9.5.1 arm, #932183 | Sam James | 2024-05-19 | 1 | -1/+1 |
* | dev-lang/execline: Stabilize 2.9.5.1 x86, #932183 | Sam James | 2024-05-19 | 1 | -1/+1 |
* | dev-lang/execline: Stabilize 2.9.5.1 amd64, #932183 | Sam James | 2024-05-19 | 1 | -1/+1 |
* | dev-lang/crystal: Stabilize 1.12.1 amd64, #932114 | Sam James | 2024-05-18 | 1 | -1/+1 |
* | dev-lang/boogie: Stabilize 3.1.4 amd64, #932113 | Sam James | 2024-05-18 | 1 | -1/+1 |
* | dev-lang/fuzion: bump to 0.088 | Maciej Barć | 2024-05-18 | 2 | -0/+81 |
* | dev-lang/gprolog: drop 1.4.5, EAPI6-- | Arthur Zamarin | 2024-05-17 | 2 | -86/+0 |
* | dev-lang/gprolog: unkeyword ppc | Arthur Zamarin | 2024-05-17 | 2 | -3/+3 |