summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/rust: backport is_libcxx_linked to older versionsGeorgy Yakovlev2022-10-062-20/+28
* dev-lang/rust: change libcxx detection methodGeorgy Yakovlev2022-10-061-10/+14
* dev-lang/rust: fix has_version rust checkSam James2022-10-063-3/+3
* dev-lang/boogie: fix broken NUGET_PACKAGES variableMaciej Barć2022-10-061-2/+3
* dev-lang/julia-bin: add 1.8.2Andreas K. Hüttel2022-10-062-0/+60
* dev-lang/rust: fix has_version default-libcxx test for ClangSam James2022-10-063-3/+3
* dev-lang/boogie: enable testsMaciej Barć2022-10-061-4/+33
* dev-lang/gdl: add 1.0.1, enable python3_{10,11}Andrew Ammerlaan2022-10-064-0/+258
* dev-lang/go: Stabilize 1.19.2 x86, #875554Agostino Sarubbo2022-10-061-1/+1
* dev-lang/go: Stabilize 1.18.7 x86, #875554Agostino Sarubbo2022-10-061-1/+1
* dev-lang/go: Stabilize 1.19.2 ppc64, #875554Agostino Sarubbo2022-10-061-1/+1
* dev-lang/go: Stabilize 1.18.7 ppc64, #875554Agostino Sarubbo2022-10-061-1/+1
* dev-lang/go: Stabilize 1.19.2 arm64, #875554Agostino Sarubbo2022-10-061-1/+1
* dev-lang/go: Stabilize 1.18.7 arm64, #875554Agostino Sarubbo2022-10-061-1/+1
* dev-lang/go: Stabilize 1.19.2 arm, #875554Agostino Sarubbo2022-10-061-1/+1
* dev-lang/go: Stabilize 1.18.7 arm, #875554Agostino Sarubbo2022-10-061-1/+1
* dev-lang/go: Stabilize 1.19.2 amd64, #875554Agostino Sarubbo2022-10-061-1/+1
* dev-lang/go: Stabilize 1.18.7 amd64, #875554Agostino Sarubbo2022-10-061-1/+1
* dev-lang/ghc: keyword 9.0.2 for ~riscvmatoro2022-10-065-4/+897
* dev-lang/dafny-bin: drop old 3.7.3Maciej Barć2022-10-062-51/+0
* dev-lang/dafny-bin: bump to 3.9.0Maciej Barć2022-10-062-0/+52
* dev-lang/go: add 1.18.7, 1.19.2William Hubbs2022-10-053-0/+399
* dev-lang/spidermonkey: use python_has_version inside python_check_depsArthur Zamarin2022-10-042-2/+2
* dev-lang/ghc: drop eutilsSam James2022-10-041-1/+1
* dev-lang/boogie: add icu dependencyMaciej Barć2022-10-041-1/+4
* dev-lang/boogie: add z3 dependency and debug USE flagMaciej Barć2022-10-041-5/+10
* dev-lang/boogie: new package; add version 2.15.8Maciej Barć2022-10-033-0/+84
* dev-lang/php: Drop security vulnerable versionsBrian Evans2022-10-0310-6805/+0
* dev-lang/php: Stabilize 8.1.11 x86, #873697Agostino Sarubbo2022-10-031-1/+1
* dev-lang/php: Stabilize 8.0.24 x86, #873697Agostino Sarubbo2022-10-031-1/+1
* dev-lang/php: Stabilize 7.4.32 x86, #873697Agostino Sarubbo2022-10-031-1/+1
* dev-lang/lua: remove unused patchMichael Mair-Keimberger2022-10-021-99/+0
* dev-lang/php: Stabilize 8.1.11 sparc, #873697Agostino Sarubbo2022-10-011-1/+1
* dev-lang/php: Stabilize 8.0.24 sparc, #873697Agostino Sarubbo2022-10-011-1/+1
* dev-lang/php: Stabilize 7.4.32 sparc, #873697Agostino Sarubbo2022-10-011-1/+1
* dev-lang/php: Stabilize 8.1.11 ppc64, #873697Agostino Sarubbo2022-10-011-1/+1
* dev-lang/php: Stabilize 8.0.24 ppc64, #873697Agostino Sarubbo2022-10-011-1/+1
* dev-lang/php: Stabilize 7.4.32 ppc64, #873697Agostino Sarubbo2022-10-011-1/+1
* dev-lang/php: Stabilize 8.1.11 ppc, #873697Agostino Sarubbo2022-10-011-1/+1
* dev-lang/php: Stabilize 8.0.24 ppc, #873697Agostino Sarubbo2022-10-011-1/+1
* dev-lang/php: Stabilize 7.4.32 ppc, #873697Agostino Sarubbo2022-10-011-1/+1
* dev-lang/php: Stabilize 8.1.11 arm64, #873697Agostino Sarubbo2022-10-011-1/+1
* dev-lang/php: Stabilize 8.0.24 arm64, #873697Agostino Sarubbo2022-10-011-1/+1
* dev-lang/php: Stabilize 7.4.32 arm64, #873697Agostino Sarubbo2022-10-011-1/+1
* dev-lang/php: Stabilize 8.1.11 arm, #873697Agostino Sarubbo2022-10-011-1/+1
* dev-lang/php: Stabilize 8.0.24 arm, #873697Agostino Sarubbo2022-10-011-1/+1
* dev-lang/php: Stabilize 7.4.32 arm, #873697Agostino Sarubbo2022-10-011-1/+1
* dev-lang/php: Stabilize 8.1.11 amd64, #873697Agostino Sarubbo2022-10-011-1/+1
* dev-lang/php: Stabilize 8.0.24 amd64, #873697Agostino Sarubbo2022-10-011-1/+1
* dev-lang/php: Stabilize 7.4.32 amd64, #873697Agostino Sarubbo2022-10-011-1/+1