| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-lang/rust: backport is_libcxx_linked to older versions | Georgy Yakovlev | 2022-10-06 | 2 | -20/+28 |
* | dev-lang/rust: change libcxx detection method | Georgy Yakovlev | 2022-10-06 | 1 | -10/+14 |
* | dev-lang/rust: fix has_version rust check | Sam James | 2022-10-06 | 3 | -3/+3 |
* | dev-lang/boogie: fix broken NUGET_PACKAGES variable | Maciej Barć | 2022-10-06 | 1 | -2/+3 |
* | dev-lang/julia-bin: add 1.8.2 | Andreas K. Hüttel | 2022-10-06 | 2 | -0/+60 |
* | dev-lang/rust: fix has_version default-libcxx test for Clang | Sam James | 2022-10-06 | 3 | -3/+3 |
* | dev-lang/boogie: enable tests | Maciej Barć | 2022-10-06 | 1 | -4/+33 |
* | dev-lang/gdl: add 1.0.1, enable python3_{10,11} | Andrew Ammerlaan | 2022-10-06 | 4 | -0/+258 |
* | dev-lang/go: Stabilize 1.19.2 x86, #875554 | Agostino Sarubbo | 2022-10-06 | 1 | -1/+1 |
* | dev-lang/go: Stabilize 1.18.7 x86, #875554 | Agostino Sarubbo | 2022-10-06 | 1 | -1/+1 |
* | dev-lang/go: Stabilize 1.19.2 ppc64, #875554 | Agostino Sarubbo | 2022-10-06 | 1 | -1/+1 |
* | dev-lang/go: Stabilize 1.18.7 ppc64, #875554 | Agostino Sarubbo | 2022-10-06 | 1 | -1/+1 |
* | dev-lang/go: Stabilize 1.19.2 arm64, #875554 | Agostino Sarubbo | 2022-10-06 | 1 | -1/+1 |
* | dev-lang/go: Stabilize 1.18.7 arm64, #875554 | Agostino Sarubbo | 2022-10-06 | 1 | -1/+1 |
* | dev-lang/go: Stabilize 1.19.2 arm, #875554 | Agostino Sarubbo | 2022-10-06 | 1 | -1/+1 |
* | dev-lang/go: Stabilize 1.18.7 arm, #875554 | Agostino Sarubbo | 2022-10-06 | 1 | -1/+1 |
* | dev-lang/go: Stabilize 1.19.2 amd64, #875554 | Agostino Sarubbo | 2022-10-06 | 1 | -1/+1 |
* | dev-lang/go: Stabilize 1.18.7 amd64, #875554 | Agostino Sarubbo | 2022-10-06 | 1 | -1/+1 |
* | dev-lang/ghc: keyword 9.0.2 for ~riscv | matoro | 2022-10-06 | 5 | -4/+897 |
* | dev-lang/dafny-bin: drop old 3.7.3 | Maciej Barć | 2022-10-06 | 2 | -51/+0 |
* | dev-lang/dafny-bin: bump to 3.9.0 | Maciej Barć | 2022-10-06 | 2 | -0/+52 |
* | dev-lang/go: add 1.18.7, 1.19.2 | William Hubbs | 2022-10-05 | 3 | -0/+399 |
* | dev-lang/spidermonkey: use python_has_version inside python_check_deps | Arthur Zamarin | 2022-10-04 | 2 | -2/+2 |
* | dev-lang/ghc: drop eutils | Sam James | 2022-10-04 | 1 | -1/+1 |
* | dev-lang/boogie: add icu dependency | Maciej Barć | 2022-10-04 | 1 | -1/+4 |
* | dev-lang/boogie: add z3 dependency and debug USE flag | Maciej Barć | 2022-10-04 | 1 | -5/+10 |
* | dev-lang/boogie: new package; add version 2.15.8 | Maciej Barć | 2022-10-03 | 3 | -0/+84 |
* | dev-lang/php: Drop security vulnerable versions | Brian Evans | 2022-10-03 | 10 | -6805/+0 |
* | dev-lang/php: Stabilize 8.1.11 x86, #873697 | Agostino Sarubbo | 2022-10-03 | 1 | -1/+1 |
* | dev-lang/php: Stabilize 8.0.24 x86, #873697 | Agostino Sarubbo | 2022-10-03 | 1 | -1/+1 |
* | dev-lang/php: Stabilize 7.4.32 x86, #873697 | Agostino Sarubbo | 2022-10-03 | 1 | -1/+1 |
* | dev-lang/lua: remove unused patch | Michael Mair-Keimberger | 2022-10-02 | 1 | -99/+0 |
* | dev-lang/php: Stabilize 8.1.11 sparc, #873697 | Agostino Sarubbo | 2022-10-01 | 1 | -1/+1 |
* | dev-lang/php: Stabilize 8.0.24 sparc, #873697 | Agostino Sarubbo | 2022-10-01 | 1 | -1/+1 |
* | dev-lang/php: Stabilize 7.4.32 sparc, #873697 | Agostino Sarubbo | 2022-10-01 | 1 | -1/+1 |
* | dev-lang/php: Stabilize 8.1.11 ppc64, #873697 | Agostino Sarubbo | 2022-10-01 | 1 | -1/+1 |
* | dev-lang/php: Stabilize 8.0.24 ppc64, #873697 | Agostino Sarubbo | 2022-10-01 | 1 | -1/+1 |
* | dev-lang/php: Stabilize 7.4.32 ppc64, #873697 | Agostino Sarubbo | 2022-10-01 | 1 | -1/+1 |
* | dev-lang/php: Stabilize 8.1.11 ppc, #873697 | Agostino Sarubbo | 2022-10-01 | 1 | -1/+1 |
* | dev-lang/php: Stabilize 8.0.24 ppc, #873697 | Agostino Sarubbo | 2022-10-01 | 1 | -1/+1 |
* | dev-lang/php: Stabilize 7.4.32 ppc, #873697 | Agostino Sarubbo | 2022-10-01 | 1 | -1/+1 |
* | dev-lang/php: Stabilize 8.1.11 arm64, #873697 | Agostino Sarubbo | 2022-10-01 | 1 | -1/+1 |
* | dev-lang/php: Stabilize 8.0.24 arm64, #873697 | Agostino Sarubbo | 2022-10-01 | 1 | -1/+1 |
* | dev-lang/php: Stabilize 7.4.32 arm64, #873697 | Agostino Sarubbo | 2022-10-01 | 1 | -1/+1 |
* | dev-lang/php: Stabilize 8.1.11 arm, #873697 | Agostino Sarubbo | 2022-10-01 | 1 | -1/+1 |
* | dev-lang/php: Stabilize 8.0.24 arm, #873697 | Agostino Sarubbo | 2022-10-01 | 1 | -1/+1 |
* | dev-lang/php: Stabilize 7.4.32 arm, #873697 | Agostino Sarubbo | 2022-10-01 | 1 | -1/+1 |
* | dev-lang/php: Stabilize 8.1.11 amd64, #873697 | Agostino Sarubbo | 2022-10-01 | 1 | -1/+1 |
* | dev-lang/php: Stabilize 8.0.24 amd64, #873697 | Agostino Sarubbo | 2022-10-01 | 1 | -1/+1 |
* | dev-lang/php: Stabilize 7.4.32 amd64, #873697 | Agostino Sarubbo | 2022-10-01 | 1 | -1/+1 |