Commit Graph
941320 Commits
Author SHA1 Message Date
sempiternal-aurora ee06439c43 z3: version macos compat patches
patches fix a bug only present in the latest versions of z3
fixes the vampire build, which requires an older version of z3
2026-02-05 22:03:20 +08:00
R. Ryantm 32e1cd1748 vscode-extensions.redhat.java: 1.51.0 -> 1.52.0 2026-02-05 14:02:49 +00:00
Grimmauld 0867229ede qutebrowser-qt5: drop 2026-02-05 15:01:48 +01:00
R. Ryantm a8d729a033 vscode-extensions.geequlim.godot-tools: 2.6.0 -> 2.6.1 2026-02-05 14:01:03 +00:00
David Weißeanddavidweisse acc54a1ed1 json-patch: init at 5.9.11 2026-02-05 14:52:33 +01:00
JoandGitHub 4f12ff122b webmacs: drop (#486693) 2026-02-05 13:51:03 +00:00
Pol DellaieraandGitHub 57438e1ff2 hedgedoc: 1.10.4 -> 1.10.6 (#487033) 2026-02-05 13:50:30 +00:00
R. Ryantm 09a8188125 jarl: 0.3.0 -> 0.4.0 2026-02-05 13:47:25 +00:00
R. Ryantm e889c24547 files-cli: 2.15.195 -> 2.15.200 2026-02-05 13:45:19 +00:00
sempiternal-aurora 1c1bf1b8da isabelle: remove z3 as vampire dependency 2026-02-05 21:41:48 +08:00
sempiternal-aurora 0361392346 vampire: add nix-update-script 2026-02-05 21:41:04 +08:00
R. Ryantm b33ae2d702 phpExtensions.mongodb: 2.1.7 -> 2.1.8 2026-02-05 13:37:43 +00:00
sempiternal-aurora c8167fca35 vampire: allow custom z3 version to be overridden 2026-02-05 21:36:29 +08:00
Weijia WangandGitHub 1e3af391e3 xed: 2025.06.08 -> 2025.12.14 (#466182) 2026-02-05 13:34:57 +00:00
Weijia WangandGitHub 26dd7111a1 pipenv: 2025.0.4 -> 2026.0.3 (#468824) 2026-02-05 13:31:31 +00:00
Weijia WangandGitHub 0e89619c45 pyenv: 2.6.14 -> 2.6.20 (#469238) 2026-02-05 13:26:35 +00:00
nixpkgs-ci[bot]andGitHub 5d7cebd198 grpc-health-probe: 0.4.44 -> 0.4.45 (#487181) 2026-02-05 13:24:29 +00:00
nixpkgs-ci[bot]andGitHub 0f6f42cd71 twm: 0.12.3 -> 0.13.0 (#487167) 2026-02-05 13:24:28 +00:00
nixpkgs-ci[bot]andGitHub 213c0895f8 grpc-gateway: 2.27.6 -> 2.27.7 (#487114) 2026-02-05 13:24:26 +00:00
Gaetan Lepage 255f206c65 csharp-ls: 0.21.0 -> 0.22.0
Diff:
https://github.com/razzmatazz/csharp-language-server/compare/0.21.0...0.22.0

Changelog:
https://github.com/razzmatazz/csharp-language-server/releases/tag/0.22.0
2026-02-05 13:24:05 +00:00
Weijia WangandGitHub efd128f16c git-credential-aol: 5.5.2 -> 5.6.2 (#474743) 2026-02-05 13:23:03 +00:00
R. Ryantm c342e08e41 redumper: 686 -> 689 2026-02-05 13:12:14 +00:00
Felix BargfeldtandGitHub 29586f6408 synapse-admin-etkecc: 0.11.1-etke52 -> 0.11.1-etke53 (#487146) 2026-02-05 13:11:46 +00:00
Gaétan LepageandGitHub a48b032548 uv: 0.9.29 -> 0.9.30 (#487215) 2026-02-05 13:09:46 +00:00
éclairevoyant 689e30d454 signal-desktop-bin: 7.86.0 -> 7.88.0 2026-02-05 08:08:30 -05:00
Weijia WangandGitHub 9ba1b1a154 acme-sh: 3.1.1 -> 3.1.2 (#466370) 2026-02-05 13:06:44 +00:00
Weijia WangandGitHub d09fcab21a healthchecks: 3.11.2 -> 4.0 (#465813) 2026-02-05 13:03:30 +00:00
Weijia WangandGitHub 795b0afee1 fluidd: 1.34.4 -> 1.36.2 (#461106) 2026-02-05 12:54:36 +00:00
R. RyantmandWeijia Wang 2d42cafb39 moonraker: 0.9.3-unstable-2025-11-16 -> 0.10.0 2026-02-05 13:53:28 +01:00
nixpkgs-ci[bot]andGitHub e4592ccff6 rauthy: 0.34.2 -> 0.34.3 (#487112) 2026-02-05 12:50:38 +00:00
Jörg ThalheimandGitHub 1590e21719 glibc: fix darwin-cross-build.patch for glibc 2.42 (#484107) 2026-02-05 12:47:18 +00:00
YtandGitHub 76d6a790b5 erigon: 3.0.4 -> 3.3.7 (#487155) 2026-02-05 12:38:41 +00:00
Weijia WangandGitHub 7df2e7f0b2 thin-provisioning-tools: 1.3.0 -> 1.3.1 (#463052) 2026-02-05 12:36:29 +00:00
Weijia WangandGitHub 47a276d0e3 scap-security-guide: 0.1.78 -> 0.1.79 (#466025) 2026-02-05 12:35:51 +00:00
Fernando RodriguesandGitHub 9ee74b68f6 nixos/terraria: add package option (#487125) 2026-02-05 12:34:31 +00:00
YurekaandGitHub 1af6607288 ptouch-print: 1.5-unstable-2024-02-11 -> 1.7-unstable-2026-01-23 (#485296) 2026-02-05 12:26:31 +00:00
c6rg0 6455023b6a uv: 0.9.29 -> 0.9.30 2026-02-05 12:24:53 +00:00
Jörg ThalheimandGitHub 88d804a440 spdk: 25.05 -> 26.01 (#486858) 2026-02-05 12:19:14 +00:00
Thore Sommer 0d1e202c51 spdk: set THS-on as maintainer 2026-02-05 13:10:17 +01:00
Thore Sommer 3ae34bbb8e maintainers: add THS-on 2026-02-05 13:10:10 +01:00
nixpkgs-ci[bot]andGitHub a83b291079 polarity: latest-unstable-2025-12-17 -> latest-unstable-2026-01-29 (#485527) 2026-02-05 12:03:37 +00:00
nixpkgs-ci[bot]andGitHub 24cbdcac0a netbird-ui: 0.64.1 -> 0.64.5 (#482090) 2026-02-05 12:03:33 +00:00
R. Ryantm 5f1d65fee0 nitter: 0-unstable-2025-12-24 -> 0-unstable-2026-01-29 2026-02-05 11:47:52 +00:00
Thiago Kenji OkadaandGitHub 07fe0a83cc linuxKernel.kernels.linux_lqx: 6.18.7 -> 6.18.8 (#487129) 2026-02-05 11:32:23 +00:00
Weijia WangandGitHub 1ed4a8eb7a freecell-solver: 6.14.0 -> 6.16.0 (#463045) 2026-02-05 11:31:13 +00:00
R. Ryantm 3995dddc81 vscode-extensions.google.colab: 0.2.0 -> 0.2.1 2026-02-05 11:22:49 +00:00
Johan Thomsen 47d94a3e8b kubevirt: add johanot as maintainer 2026-02-05 12:20:14 +01:00
R. Ryantm 6e0f2c1acf vscode-extensions.firsttris.vscode-jest-runner: 0.4.112 -> 0.4.123 2026-02-05 11:20:10 +00:00
Gaetan Lepage 03b85a4b4d oboete: 0.2.2 -> 0.2.3
Diff: https://github.com/mariinkys/oboete/compare/0.2.2...0.2.3

Changelog: https://github.com/mariinkys/oboete/releases/tag/0.2.3
2026-02-05 11:14:00 +00:00
Weijia WangandGitHub d3c70b1785 symbolicator: 25.10.0 -> 26.1.0 (#463070) 2026-02-05 11:12:59 +00:00