5751 Commits

Author	SHA1	Message	Date
Gabriel Ebner	3aa72cc471	Merge pull request #157515 from jvanbruegge/isabelle-naproche ... isabelle: Enable and use naproche from nixpkgs	2022-03-20 18:26:33 +01:00
Doron Behar	6f227f03cb	qalculate-gtk: 4.0.0 -> 4.1.0	2022-03-20 16:04:47 +08:00
Bobby Rong	b3549ba290	Merge pull request #164837 from bobby285271/pantheon-eco ... various: remove elementary-icon-theme from buildInputs & vala 0.56 fixes	2022-03-20 13:34:08 +08:00
Bobby Rong	88aee703c2	various: remove elementary-icon-theme from buildInputs ... These apps don't hardcode their icon themes and the icon theme is no longer picked up by wrapGAppsHook by default. User may also able to choose to use icon themes of their choice so pulling them to XDG_DATA_DIRS is mostly no use.	2022-03-19 17:16:30 +08:00
7c6f434c	c8677c4da2	Merge pull request #164193 from NixOS/r-updates ... R 4.1.2 -> 4.1.3 and rPackages bump	2022-03-18 17:27:53 +00:00
Ryan Mulligan	bfe3a6f08a	Merge pull request #164022 from r-ryantm/auto-update/jmol ... jmol: 14.32.30 -> 14.32.33	2022-03-18 10:25:57 -07:00
Sandro	957075fd6d	Merge pull request #164375 from fedeinthemix/gaw-update	2022-03-18 17:58:40 +01:00
Gabriel Ebner	dccd0f76c3	Merge pull request #164717 from collares/lean-3.42.0 ... lean: 3.41.0 -> 3.42.0	2022-03-18 17:31:26 +01:00
Mauricio Collares	897ba65b6f	lean: 3.41.0 -> 3.42.0	2022-03-18 11:52:10 -03:00
R. Ryantm	d29ff668b5	opensmt: 2.3.0 -> 2.3.1	2022-03-17 18:40:58 +00:00
Bobby Rong	2079219a72	Merge pull request #164162 from jdupak/master ... QtRVSim: 0.9.1 -> 0.9.2	2022-03-16 21:32:22 +08:00
Federico Beffa	3076eab196	gaw: 20200922 -> 20220315	2022-03-16 08:01:53 +01:00
Ryan Mulligan	2a0d98d319	Merge pull request #163638 from r-ryantm/auto-update/siril ... siril: 0.99.10.1 -> 1.0.0	2022-03-15 14:56:47 -07:00
Ryan Mulligan	7e1cc45b66	Merge pull request #162443 from r-ryantm/auto-update/phd2 ... phd2: 2.6.10 -> 2.6.11	2022-03-15 14:56:29 -07:00
Martin Weinelt	8d18f29b60	Merge pull request #161366 from NixOS/staging-next ... Staging next 2022-02-22	2022-03-15 22:31:01 +01:00
Ben Siraphob	cc7b9eac78	Merge pull request #164195 from siraben/nuXmv-init	2022-03-15 18:53:13 +00:00
Ben Siraphob	b39792d141	nuXmv: init at 2.0.0	2022-03-15 13:50:58 -05:00
Vladimír Čunát	b61852cd94	Merge branch 'master' into staging-next	2022-03-15 18:08:32 +01:00
Rasmus Thomsen	69895c6248	bada-bib: 0.5.1 -> 0.6.0	2022-03-15 12:50:26 +01:00
Jakub Dupak	b72a99d718	QtRVSim: 0.9.1 -> 0.9.2	2022-03-14 22:04:17 +02:00
github-actions[bot]	0ed928e4ab	Merge master into staging-next	2022-03-14 12:01:26 +00:00
Mauricio Collares	5240cbc0d8	sage: adapt tachyon interface for 0.99.3	2022-03-13 16:53:22 -03:00
R. Ryantm	6d61669d69	jmol: 14.32.30 -> 14.32.33	2022-03-13 16:20:57 +00:00
github-actions[bot]	1630ab9b47	Merge master into staging-next	2022-03-13 06:05:11 +00:00
Jakub Dupak	d09489e5f1	QtRvSim: init at 0.9.1 (#163128) ... Co-authored-by: Sandro <sandro.jaeckel@gmail.com>	2022-03-13 03:08:40 +01:00
github-actions[bot]	6f7d104254	Merge master into staging-next	2022-03-13 00:02:14 +00:00
Sandro	529b89d755	Merge pull request #161434 from collares/lean-3.40.0	2022-03-12 23:43:20 +01:00
Sandro	8057801ad7	Merge pull request #163849 from fedeinthemix/add-xschem-2	2022-03-12 22:32:08 +01:00
R. Ryantm	29d7a27d9f	opensmt: 2.2.0 -> 2.3.0	2022-03-12 17:44:51 +00:00
Federico Beffa	5d702c6b23	gaw: init at version 20200922 ... Co-authored-by: Sandro <sandro.jaeckel@gmail.com>	2022-03-12 17:50:10 +01:00
Federico Beffa	a40de4b146	xschem: init at version 3.0.0 ... Co-authored-by: Sandro <sandro.jaeckel@gmail.com>	2022-03-12 17:49:48 +01:00
github-actions[bot]	7573d7fe79	Merge master into staging-next	2022-03-11 18:01:20 +00:00
Renaud	28721c55c5	Merge pull request #160342 from Luflosi/update/yosys ... yosys: 0.12+54 -> 0.15	2022-03-11 18:15:51 +01:00
Mauricio Collares	bab25a7a3a	lean: 3.40.0 -> 3.41.0	2022-03-11 11:40:27 -03:00
R. Ryantm	f764458ed2	siril: 0.99.10.1 -> 1.0.0	2022-03-10 22:40:03 +00:00
Justin Bedo	3739a7819d	R: 4.1.2 -> 4.1.3	2022-03-10 22:31:13 +11:00
github-actions[bot]	201cc2f89b	Merge master into staging-next	2022-03-09 00:02:05 +00:00
Luflosi	0e4d199cbd	abc-verifier: 2021.11.12 -> 2022.03.04	2022-03-08 18:28:13 +01:00
R. Ryantm	e0c3da7946	jmol: 14.32.28 -> 14.32.30	2022-03-08 16:34:40 +00:00
github-actions[bot]	68a45fb1f2	Merge master into staging-next	2022-03-06 18:01:10 +00:00
R. Ryantm	f3288c60f0	marvin: 22.3.0 -> 22.7.0	2022-03-06 07:45:27 +00:00
github-actions[bot]	3f8e60728f	Merge master into staging-next	2022-03-06 06:01:06 +00:00
Bobby Rong	cf7e4cac05	Merge pull request #161194 from wucke13/mission-planner ... mission-planner: 1.3.74 -> 1.3.76	2022-03-06 13:28:50 +08:00
github-actions[bot]	9dd2a8b600	Merge master into staging-next	2022-03-06 00:02:10 +00:00
Dmitry Kalinkin	149d68268d	root: fix ROOTConfig.cmake.in patching	2022-03-04 21:04:19 -05:00
github-actions[bot]	d4bfb57f40	Merge master into staging-next	2022-03-05 00:01:54 +00:00
7c6f434c	d5058ae9e5	Merge pull request #162688 from r-ryantm/auto-update/jmol ... jmol: 14.32.24 -> 14.32.28	2022-03-04 20:43:10 +00:00
github-actions[bot]	437813752b	Merge master into staging-next	2022-03-04 18:01:19 +00:00
Bruno Bzeznik	7d62054650	angsd: init at 0.937	2022-03-04 09:17:35 -06:00
github-actions[bot]	fc22d0d5e2	Merge master into staging-next	2022-03-04 12:01:33 +00:00