559037 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
kashw2	e490b9f917	terragrunt: 0.54.0 -> 0.54.1	2023-12-12 16:23:23 +10:00
larsr	5d43a8764f	coqPackages.metacoq: update for coq 8.17 and 8.18 (#273541) ... Also update default.nix to match the default.nix in MetaCoq/metacoq:.nix/coq-overlays/metacoq/default.nix Because some files have changed names, some version-dependent building is required to keep building older versions. And Metacoq's default.nix had older version checksums. We use the more recent versions from nixpkgs for coq 8.14-8.16 Co-authored-by: Lars Rasmusson <Lars.Rasmusson@rise>	2023-12-12 07:19:37 +01:00
Pol Dellaiera	23959be581	Merge pull request #272204 from r-ryantm/auto-update/dsdcc ... dsdcc: 1.9.4 -> 1.9.5	2023-12-12 05:34:53 +01:00
Pol Dellaiera	dac1e3d3e5	Merge pull request #272208 from r-ryantm/auto-update/fasm ... fasm: 1.73.31 -> 1.73.32	2023-12-12 05:34:29 +01:00
Pol Dellaiera	d9b360c144	Merge pull request #273322 from r-ryantm/auto-update/zef ... zef: 0.21.0 -> 0.21.1	2023-12-12 05:32:51 +01:00
Pol Dellaiera	edea031f96	Merge pull request #273349 from r-ryantm/auto-update/zrok ... zrok: 0.4.15 -> 0.4.18	2023-12-12 05:32:23 +01:00
Dmitry Kalinkin	b576bc2681	apfel: 3.0.6 -> 3.1.0 (#273073)	2023-12-11 21:22:33 -05:00
Weijia Wang	d6a0fea30e	Merge pull request #273635 from pacien/add-meta-mainprogram-trivial ... treewide-ish: set meta.mainProgram on a few packages	2023-12-12 02:48:33 +01:00
Weijia Wang	b75852df34	Merge pull request #273618 from pacien/i3-balance-workspace-add-mainprogram ... i3-balance-workspace: add mainProgram	2023-12-12 02:47:53 +01:00
Weijia Wang	8f5df1373a	Merge pull request #273623 from pacien/rss2email-add-mainprogram ... rss2email: add mainProgram	2023-12-12 02:47:33 +01:00
Weijia Wang	4ad2a5f1a1	Merge pull request #273423 from wegank/jigdo-refactor ... jigdo: 0.7.3 -> 0.8.2, refactor	2023-12-12 02:46:56 +01:00
Weijia Wang	9c264295e1	Merge pull request #273364 from wegank/swfmill-darwin ... swfmill: add darwin support	2023-12-12 02:37:59 +01:00
Weijia Wang	a143707fc8	Merge pull request #273597 from r-ryantm/auto-update/circt ... circt: 1.59.0 -> 1.61.0	2023-12-12 02:22:03 +01:00
R. Ryantm	9ea88b16b1	erigon: 2.54.0 -> 2.55.1	2023-12-12 01:02:34 +00:00
Weijia Wang	aa13edf2dd	Merge pull request #273445 from wegank/bencode-stdenv ... bencode: remove stdenv override	2023-12-12 01:58:32 +01:00
Weijia Wang	01cfd8b24f	Merge pull request #273628 from Anomalocaridid/footswitch ... footswitch: unstable-2022-04-12 -> unstable-2023-10-10	2023-12-12 01:56:03 +01:00
Weijia Wang	5263c5b57e	Merge pull request #271709 from alven-shin/fix-pest-ide-tools ... pest-ide-tools: fix package not building on Darwin	2023-12-12 01:53:47 +01:00
Weijia Wang	9c5db275ec	Merge pull request #273600 from wegank/diopser-gcc-13 ... diopser: fix build with gcc 11+	2023-12-12 01:52:37 +01:00
Weijia Wang	9a67c36f6d	Merge pull request #273382 from wegank/strelka-aarch64 ... strelka: add aarch64-linux support	2023-12-12 01:51:59 +01:00
Weijia Wang	f4a98e5a3e	Merge pull request #273601 from suntropez/platformsh_10_11 ... platformsh: 4.10.0 -> 4.11.4	2023-12-12 01:50:25 +01:00
Martin Weinelt	f603fc85b4	Merge pull request #273667 from mweinelt/firefox-121.0b9 ... firefox-{beta,devedition}-unwrapped: 121.0b5 -> 121.0b9	2023-12-12 01:49:05 +01:00
Dmitry Kalinkin	8f47b40246	yoda: 1.9.8 -> 1.9.9 (#273260)	2023-12-11 19:46:35 -05:00
Ilan Joselevich	729bd7499f	Merge pull request #265961 from 999eagle/feat/intiface-central ... intiface-central: init at 2.5.3	2023-12-12 02:43:31 +02:00
Ilan Joselevich	1747ae1d9e	Merge pull request #272668 from r-ryantm/auto-update/rtx ... rtx: 2023.11.2 -> 2023.12.18	2023-12-12 02:40:50 +02:00
happysalada	3df2965698	bun: 1.0.15 -> 1.0.16	2023-12-12 00:10:15 +00:00
Bobby Rong	30ce319f0e	Merge pull request #273548 from bobby285271/upd/pantheon-appstream-fix ... pantheon: Backport AppStream 1.0 build fix	2023-12-12 07:58:15 +08:00
OTABI Tomoya	bea3c001fd	Merge pull request #273485 from r-ryantm/auto-update/kalign ... kalign: 3.3.5 -> 3.4.0	2023-12-12 08:56:04 +09:00
Bobby Rong	45206ebbf8	Merge pull request #273571 from bobby285271/upd/cinnamon-libxml2-fix ... xed-editor: Backport libxml2 2.12 build fix	2023-12-12 07:53:08 +08:00
Bobby Rong	c23c5dae44	Merge pull request #273369 from bobby285271/upd/planify ... planify: 4.1.4 -> 4.2.1	2023-12-12 07:48:51 +08:00
Jörg Thalheim	e92546a987	opencv4: drop ffmpeg_4 pin	2023-12-12 00:41:35 +01:00
Kerstin Humm	a81c0c887b	mobilizon: 4.0.0 -> 4.0.2	2023-12-11 23:38:24 +00:00
Martin Weinelt	25c5727812	firefox-devedition-unwrapped: 121.0b5 -> 121.0b9	2023-12-12 00:37:23 +01:00
Martin Weinelt	1ee947324d	firefox-beta-unwrapped: 121.0b5 -> 121.0b9	2023-12-12 00:36:52 +01:00
Martin Weinelt	c68839c5d5	Merge pull request #273614 from ipetkov/dump_syms ... dump_syms: fix building with LLVM 16	2023-12-12 00:33:17 +01:00
piegames	efd004c479	Merge pull request #273412: gnomeExtensions: Update	2023-12-12 00:17:11 +01:00
Ivan Petkov	904913ee16	dump_syms: fix building with LLVM 16 ... Builds were broken on Darwin with https://github.com/nixos/nixpkgs/pull/241692, so this applies the workaround from https://github.com/nixos/nixpkgs/issues/166205	2023-12-11 15:02:33 -08:00
Nick Cao	7c71bd5224	Merge pull request #273629 from r-ryantm/auto-update/eigenmath ... eigenmath: unstable-2023-11-17 -> unstable-2023-12-11	2023-12-11 17:57:54 -05:00
Nick Cao	796d699b28	Merge pull request #273178 from nagy/nagy-swayimg ... swayimg: 0.11 -> 0.12	2023-12-11 17:57:10 -05:00
Jörg Thalheim	5ba07454a3	mkFranzDerivation: also include libglvnd for opengl/vulkan drivers ... This helps to improve also performance on my machine	2023-12-11 23:50:52 +01:00
R. Ryantm	786cf3644e	python310Packages.rivet: 3.1.8 -> 3.1.9	2023-12-11 17:40:57 -05:00
Maximilian Bosch	9fbf0cfba5	Merge pull request #273069 from mfrw/mfrw/prometheus-2.48.1 ... prometheus: 2.48.0 -> 2.48.1	2023-12-11 23:21:14 +01:00
Thiago Kenji Okada	eef6384e98	Merge pull request #272911 from manipuladordedados/master ... emilua: 0.4.3 -> 0.5.1	2023-12-11 22:14:36 +00:00
Nick Cao	b555d9d9bd	Merge pull request #269010 from malob/update-signalbackup-tools ... signalbackup-tools: 20231114 -> 20231211	2023-12-11 17:02:00 -05:00
adisbladis	1e66093cca	Merge pull request #269546 from adisbladis/stdenv-meta-no-intermediate-alloc ... stdenv: Avoid allocating intermediate attrset when checking meta validity	2023-12-12 10:57:44 +13:00
adisbladis	6aa414bcfd	Merge pull request #269782 from adisbladis/stdenv-meta-tolist-license-allocations ... stdenv: Avoid some list allocations in check-meta when checking licenses	2023-12-12 10:55:58 +13:00
Pol Dellaiera	dba565f62d	Merge pull request #273315 from r-ryantm/auto-update/xray ... xray: 1.8.4 -> 1.8.6	2023-12-11 22:41:35 +01:00
Pol Dellaiera	507902558c	zef: use finalAttrs pattern	2023-12-11 22:40:52 +01:00
Pol Dellaiera	edfbace3a5	zrok: use finalAttrs pattern	2023-12-11 22:36:05 +01:00
Pol Dellaiera	d9e518bf85	Merge pull request #272867 from r-ryantm/auto-update/apktool ... apktool: 2.9.0 -> 2.9.1	2023-12-11 22:20:46 +01:00
Pol Dellaiera	b582a3a873	Merge pull request #272901 from r-ryantm/auto-update/saml2aws ... saml2aws: 2.36.12 -> 2.36.13	2023-12-11 22:19:47 +01:00