| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-lang/boogie: bump to 3.0.6 | Maciej Barć | 2023-11-17 | 2 | -0/+289 |
* | dev-lang/boogie: drop old 3.0.4 | Maciej Barć | 2023-11-17 | 2 | -288/+0 |
* | dev-lang/dafny-bin: drop old 4.2.0 | Maciej Barć | 2023-11-15 | 2 | -54/+0 |
* | dev-lang/dafny-bin: drop old 3.12.0 | Maciej Barć | 2023-11-15 | 2 | -52/+0 |
* | dev-lang/ocaml: remove unused patch | Michael Mair-Keimberger | 2023-11-15 | 1 | -13/+0 |
* | dev-lang/julia-bin: add 1.9.4 | Andreas K. Hüttel | 2023-11-14 | 2 | -0/+60 |
* | dev-lang/vala: Version bump to 0.56.14 | Guillermo Joandet | 2023-11-14 | 2 | -0/+49 |
* | dev-lang/luajit: Fix cross-compiling from 64-bit to 32-bit | James Le Cuirot | 2023-11-13 | 1 | -1/+15 |
* | dev-lang/dafny: Stabilize 4.3.0-r1 amd64, #917307 | Sam James | 2023-11-13 | 1 | -1/+1 |
* | dev-lang/boogie: Stabilize 3.0.5 amd64, #917307 | Sam James | 2023-11-13 | 1 | -1/+1 |
* | dev-lang/dafny-bin: Stabilize 4.3.0 amd64, #917301 | Sam James | 2023-11-13 | 1 | -1/+1 |
* | dev-lang/luau: bump to 0.603 | Maciej Barć | 2023-11-13 | 2 | -0/+37 |
* | dev-lang/luau: drop old 0.596 | Maciej Barć | 2023-11-13 | 2 | -37/+0 |
* | dev-lang/go: Stabilize 1.21.4 arm64, #917065 | Arthur Zamarin | 2023-11-11 | 1 | -1/+1 |
* | dev-lang/go: Stabilize 1.20.11 arm64, #917065 | Arthur Zamarin | 2023-11-11 | 1 | -1/+1 |
* | dev-lang/go: Stabilize 1.21.4 x86, #917065 | Arthur Zamarin | 2023-11-11 | 1 | -1/+1 |
* | dev-lang/go: Stabilize 1.20.11 x86, #917065 | Arthur Zamarin | 2023-11-11 | 1 | -1/+1 |
* | Revert "dev-lang/go: stabilize 1.21.3 for arm64, #915900" | Sam James | 2023-11-11 | 1 | -1/+1 |
* | Revert "dev-lang/go: stabilize 1.20.10 for arm64, #915900" | Sam James | 2023-11-11 | 1 | -1/+1 |
* | dev-lang/rust: Stabilize 1.71.1 ppc, #913962 | Arthur Zamarin | 2023-11-09 | 1 | -1/+1 |
* | dev-lang/rust-bin: Stabilize 1.71.1 ppc, #913962 | Arthur Zamarin | 2023-11-09 | 1 | -1/+1 |
* | dev-lang/go: Stabilize 1.21.4 ppc64, #917065 | Sam James | 2023-11-09 | 1 | -1/+1 |
* | dev-lang/go: Stabilize 1.20.11 ppc64, #917065 | Sam James | 2023-11-09 | 1 | -1/+1 |
* | dev-lang/go: Stabilize 1.21.4 amd64, #917065 | Sam James | 2023-11-09 | 1 | -1/+1 |
* | dev-lang/go: Stabilize 1.20.11 amd64, #917065 | Sam James | 2023-11-09 | 1 | -1/+1 |
* | dev-lang/go: Stabilize 1.21.4 arm, #917065 | Sam James | 2023-11-09 | 1 | -1/+1 |
* | dev-lang/go: Stabilize 1.20.11 arm, #917065 | Sam James | 2023-11-09 | 1 | -1/+1 |
* | dev-lang/go: stabilize 1.21.3 for arm64, #915900 | William Hubbs | 2023-11-08 | 1 | -1/+1 |
* | dev-lang/go: stabilize 1.20.10 for arm64, #915900 | William Hubbs | 2023-11-08 | 1 | -1/+1 |
* | dev-lang/go: add 1.21.4 | William Hubbs | 2023-11-08 | 2 | -0/+211 |
* | dev-lang/go: add 1.20.11 | William Hubbs | 2023-11-08 | 2 | -0/+211 |
* | dev-lang/luau: Stabilize 0.598 amd64, #917010 | Maciej Barć | 2023-11-07 | 1 | -1/+1 |
* | dev-lang/luau: bump to 0.602 | Maciej Barć | 2023-11-07 | 2 | -0/+37 |
* | dev-lang/rust: Stabilize 1.71.1 ppc64, #913962 | Arthur Zamarin | 2023-11-07 | 1 | -1/+1 |
* | dev-lang/rust-bin: Stabilize 1.71.1 ppc64, #913962 | Arthur Zamarin | 2023-11-07 | 1 | -1/+1 |
* | dev-lang/rust: Stabilize 1.71.1 arm, #913962 | Arthur Zamarin | 2023-11-07 | 1 | -1/+1 |
* | dev-lang/rust-bin: Stabilize 1.71.1 arm, #913962 | Arthur Zamarin | 2023-11-07 | 1 | -1/+1 |
* | dev-lang/rust: Stabilize 1.71.1 sparc, #913962 | Arthur Zamarin | 2023-11-07 | 1 | -1/+1 |
* | dev-lang/rust-bin: Stabilize 1.71.1 sparc, #913962 | Arthur Zamarin | 2023-11-07 | 1 | -1/+1 |
* | dev-lang/orc: drop 0.4.31, 0.4.32 | Mart Raudsepp | 2023-11-05 | 3 | -82/+0 |
* | dev-lang/eisl: sync live 9999 | Maciej Barć | 2023-11-04 | 1 | -3/+5 |
* | dev-lang/eisl: bump to 3.60 | Maciej Barć | 2023-11-04 | 3 | -0/+81 |
* | dev-lang/R: add 4.3.2 | David Seifert | 2023-11-02 | 2 | -0/+249 |
* | dev-lang/algol68g: bump to 3.4.4 | Maciej Barć | 2023-11-01 | 2 | -0/+42 |
* | dev-lang/luau: bump to 0.601 | Maciej Barć | 2023-11-01 | 2 | -0/+37 |
* | dev-lang/luau: drop old 0.595 | Maciej Barć | 2023-11-01 | 2 | -37/+0 |
* | dev-lang/fuzion: bump to 0.085 | Maciej Barć | 2023-11-01 | 2 | -0/+73 |
* | dev-lang/spidermonkey: drop 115.2.0 | Joonas Niilola | 2023-11-01 | 2 | -461/+0 |
* | Remove BROOT from VERIFY_SIG_OPENPGP_KEY_PATH | Mike Gilbert | 2023-10-31 | 36 | -36/+36 |
* | dev-lang/qore: Stabilize 1.19.1 amd64, #916551 | Sam James | 2023-10-31 | 1 | -1/+1 |