summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/boogie: bump to 3.0.6Maciej Barć2023-11-172-0/+289
* dev-lang/boogie: drop old 3.0.4Maciej Barć2023-11-172-288/+0
* dev-lang/dafny-bin: drop old 4.2.0Maciej Barć2023-11-152-54/+0
* dev-lang/dafny-bin: drop old 3.12.0Maciej Barć2023-11-152-52/+0
* dev-lang/ocaml: remove unused patchMichael Mair-Keimberger2023-11-151-13/+0
* dev-lang/julia-bin: add 1.9.4Andreas K. Hüttel2023-11-142-0/+60
* dev-lang/vala: Version bump to 0.56.14Guillermo Joandet2023-11-142-0/+49
* dev-lang/luajit: Fix cross-compiling from 64-bit to 32-bitJames Le Cuirot2023-11-131-1/+15
* dev-lang/dafny: Stabilize 4.3.0-r1 amd64, #917307Sam James2023-11-131-1/+1
* dev-lang/boogie: Stabilize 3.0.5 amd64, #917307Sam James2023-11-131-1/+1
* dev-lang/dafny-bin: Stabilize 4.3.0 amd64, #917301Sam James2023-11-131-1/+1
* dev-lang/luau: bump to 0.603Maciej Barć2023-11-132-0/+37
* dev-lang/luau: drop old 0.596Maciej Barć2023-11-132-37/+0
* dev-lang/go: Stabilize 1.21.4 arm64, #917065Arthur Zamarin2023-11-111-1/+1
* dev-lang/go: Stabilize 1.20.11 arm64, #917065Arthur Zamarin2023-11-111-1/+1
* dev-lang/go: Stabilize 1.21.4 x86, #917065Arthur Zamarin2023-11-111-1/+1
* dev-lang/go: Stabilize 1.20.11 x86, #917065Arthur Zamarin2023-11-111-1/+1
* Revert "dev-lang/go: stabilize 1.21.3 for arm64, #915900"Sam James2023-11-111-1/+1
* Revert "dev-lang/go: stabilize 1.20.10 for arm64, #915900"Sam James2023-11-111-1/+1
* dev-lang/rust: Stabilize 1.71.1 ppc, #913962Arthur Zamarin2023-11-091-1/+1
* dev-lang/rust-bin: Stabilize 1.71.1 ppc, #913962Arthur Zamarin2023-11-091-1/+1
* dev-lang/go: Stabilize 1.21.4 ppc64, #917065Sam James2023-11-091-1/+1
* dev-lang/go: Stabilize 1.20.11 ppc64, #917065Sam James2023-11-091-1/+1
* dev-lang/go: Stabilize 1.21.4 amd64, #917065Sam James2023-11-091-1/+1
* dev-lang/go: Stabilize 1.20.11 amd64, #917065Sam James2023-11-091-1/+1
* dev-lang/go: Stabilize 1.21.4 arm, #917065Sam James2023-11-091-1/+1
* dev-lang/go: Stabilize 1.20.11 arm, #917065Sam James2023-11-091-1/+1
* dev-lang/go: stabilize 1.21.3 for arm64, #915900William Hubbs2023-11-081-1/+1
* dev-lang/go: stabilize 1.20.10 for arm64, #915900William Hubbs2023-11-081-1/+1
* dev-lang/go: add 1.21.4William Hubbs2023-11-082-0/+211
* dev-lang/go: add 1.20.11William Hubbs2023-11-082-0/+211
* dev-lang/luau: Stabilize 0.598 amd64, #917010Maciej Barć2023-11-071-1/+1
* dev-lang/luau: bump to 0.602Maciej Barć2023-11-072-0/+37
* dev-lang/rust: Stabilize 1.71.1 ppc64, #913962Arthur Zamarin2023-11-071-1/+1
* dev-lang/rust-bin: Stabilize 1.71.1 ppc64, #913962Arthur Zamarin2023-11-071-1/+1
* dev-lang/rust: Stabilize 1.71.1 arm, #913962Arthur Zamarin2023-11-071-1/+1
* dev-lang/rust-bin: Stabilize 1.71.1 arm, #913962Arthur Zamarin2023-11-071-1/+1
* dev-lang/rust: Stabilize 1.71.1 sparc, #913962Arthur Zamarin2023-11-071-1/+1
* dev-lang/rust-bin: Stabilize 1.71.1 sparc, #913962Arthur Zamarin2023-11-071-1/+1
* dev-lang/orc: drop 0.4.31, 0.4.32Mart Raudsepp2023-11-053-82/+0
* dev-lang/eisl: sync live 9999Maciej Barć2023-11-041-3/+5
* dev-lang/eisl: bump to 3.60Maciej Barć2023-11-043-0/+81
* dev-lang/R: add 4.3.2David Seifert2023-11-022-0/+249
* dev-lang/algol68g: bump to 3.4.4Maciej Barć2023-11-012-0/+42
* dev-lang/luau: bump to 0.601Maciej Barć2023-11-012-0/+37
* dev-lang/luau: drop old 0.595Maciej Barć2023-11-012-37/+0
* dev-lang/fuzion: bump to 0.085Maciej Barć2023-11-012-0/+73
* dev-lang/spidermonkey: drop 115.2.0Joonas Niilola2023-11-012-461/+0
* Remove BROOT from VERIFY_SIG_OPENPGP_KEY_PATHMike Gilbert2023-10-3136-36/+36
* dev-lang/qore: Stabilize 1.19.1 amd64, #916551Sam James2023-10-311-1/+1