4719 Commits

Author	SHA1	Message	Date
github-actions[bot]	265a07c480	Merge staging-next into staging	2021-06-27 12:04:27 +00:00
Vincent Laporte	d60534722e	why3: use GTK3	2021-06-27 09:03:12 +02:00
Vincent Laporte	773bdf6998	why3: 1.3.3 → 1.4.0 ... framac: 22.0 → 23.0-rc1	2021-06-27 09:03:12 +02:00
github-actions[bot]	1016b5a6ba	Merge staging-next into staging	2021-06-27 00:10:43 +00:00
Hunter Jones	193e721cb2	siril: 0.99.8.1 -> 0.99.10.1	2021-06-26 12:57:56 -05:00
github-actions[bot]	947012b992	Merge staging-next into staging	2021-06-26 00:09:11 +00:00
Sandro	323e8cac82	Merge pull request #128069 from Artturin/openhantek ... openhantek6022: 3.1.3 -> 3.2.3	2021-06-25 15:45:00 +02:00
github-actions[bot]	be086cc67b	Merge staging-next into staging	2021-06-25 12:06:08 +00:00
Sandro	c6b318fdf9	Merge pull request #128061 from lopsided98/mavproxy-update ... mavproxy: 1.8.37 -> 1.8.39	2021-06-25 12:11:43 +02:00
Artturin	10968efa69	openhantek6022: 3.1.3 -> 3.2.3	2021-06-25 08:42:23 +03:00
Ben Wolsieffer	6a0c1538fc	mavproxy: 1.8.37 -> 1.8.39	2021-06-24 20:22:22 -04:00
Sandro	e7812f46fe	Merge pull request #128025 from Ma27/bump-stellarium ... stellarium: 0.21.0 -> 0.21.1	2021-06-24 23:25:35 +02:00
Sandro	1c8bc6c2f1	Merge pull request #127829 from veprbl/pr/snakemake_6_5_0	2021-06-24 22:46:26 +02:00
Maximilian Bosch	ea56e08d62	stellarium: 0.21.0 -> 0.21.1 ... ChangeLog: https://github.com/Stellarium/stellarium/releases/tag/v0.21.1	2021-06-24 18:28:40 +02:00
Dmitry Kalinkin	e3678ae8a6	snakemake: 6.0.5 -> 6.5.0	2021-06-24 11:36:26 -04:00
Sandro	6ff52436cf	Merge pull request #127910 from dotlambda/scipy_1_4-drop	2021-06-24 11:43:37 +02:00
Michael Raskin	8481a131ef	Merge pull request #127893 from r-ryantm/auto-update/eprover ... eprover: 2.5 -> 2.6	2021-06-24 07:42:47 +00:00
github-actions[bot]	1f528e6ac6	Merge staging-next into staging	2021-06-24 00:06:31 +00:00
Anderson Torres	65db0350fe	Merge pull request #127905 from AndersonTorres/new-4ti2 ... 4ti2: init at 1.6.9	2021-06-23 21:01:05 -03:00
AndersonTorres	68dd7bca1b	4ti2: add myself to maintainers	2021-06-23 20:23:30 -03:00
github-actions[bot]	bcc720d9c5	Merge staging-next into staging	2021-06-23 18:04:33 +00:00
Robert Schütz	cc2924ee9a	nanovna-saver: don't double-wrap	2021-06-23 18:39:00 +02:00
Robert Schütz	8df3adc8f8	nanovna-saver: use packageOverrides	2021-06-23 18:34:36 +02:00
sternenseemann	ba01fb866a	glsurf: use ocamlPackages_4_05 ... Update to somewhat newer OCaml, so we can hopefully retire older sets in the future.	2021-06-23 14:52:32 +00:00
Sandro	ac6b100b2e	Merge pull request #127524 from beezow/master	2021-06-23 15:44:04 +02:00
AndersonTorres	4b0789d7c5	4ti2: init at 1.6.9	2021-06-23 10:35:00 -03:00
R. RyanTM	b7ecc3db11	eprover: 2.5 -> 2.6	2021-06-23 11:11:41 +00:00
Sandro	fac2f63654	Apply suggestions from code review	2021-06-23 11:13:00 +02:00
Sandro	22bae36e74	Merge pull request #127826 from veprbl/pr/mcfm_init ... mcfm: init at 10.0.1	2021-06-23 10:41:15 +02:00
R. RyanTM	f64fb8bd31	jmol: 14.31.39 -> 14.31.41	2021-06-22 19:47:51 -07:00
beezow	4eb4579833	emuflight-configurator: init at 0.3.5	2021-06-22 17:23:01 -06:00
Dmitry Kalinkin	2aafbfb618	mcfm: init at 10.0.1	2021-06-22 17:27:21 -04:00
Sandro	b2a93084f0	Merge pull request #127355 from cjab/programmer-calculator	2021-06-22 17:12:33 +02:00
Chad Jablonski	11b44aaa11	programmer-calculator: init at 2.1	2021-06-22 10:03:56 -04:00
Sandro	5f3ebbc661	Merge pull request #123242 from xworld21/eukleides-texlive-deps-instead-of-buildinputs	2021-06-21 11:57:06 +02:00
Vincenzo Mantova	b0c6bd9211	eukleides: depend on texinfo4 instead of overriding texinfo	2021-06-21 08:17:11 +01:00
Vincenzo Mantova	b88e8d999c	eukleides: allow PostScript transparency	2021-06-21 08:17:11 +01:00
Vincenzo Mantova	8fb57a90eb	eukleides: add getopt in euktoeps wrapper	2021-06-21 08:17:11 +01:00
Johannes Arnold	0d635e2646	element: init at 1.0.0	2021-06-21 00:20:26 +02:00
Vincenzo Mantova	190ba6ee72	eukleides: specify texlive dependencies instead of buildInputs	2021-06-20 20:17:22 +01:00
Axel Forsman	d8984f8522	gurobi: 8.1.0 -> 9.1.2 (#120525) ... Co-authored-by: Sandro <sandro.jaeckel@gmail.com>	2021-06-18 10:43:39 +02:00
github-actions[bot]	51bf815af0	Merge master into staging-next	2021-06-17 00:09:48 +00:00
Sandro	cb3f4288f5	Merge pull request #125395 from musfay/fritzing ... fritzing: 0.9.4-498 -> 0.9.6	2021-06-17 01:12:56 +02:00
R. RyanTM	816d212fa2	gappa: 1.3.5 -> 1.4.0	2021-06-16 13:16:13 -07:00
Mustafa Çalışkan	b556b25aad	fritzing: 0.9.4-498 -> 0.9.6	2021-06-16 22:56:46 +03:00
Jonathan Ringer	d1d37feb6d	Merge branch 'master' into staging-next ... Conflicts: pkgs/servers/x11/xorg/default.nix	2021-06-15 19:32:36 -07:00
scalavision	c6ca3545ae	truvari: 2.0.2 -> 2.1.1 (#126839) ... Co-authored-by: Sandro <sandro.jaeckel@gmail.com>	2021-06-15 22:14:20 +02:00
Jan Tojnar	91171e2955	Merge branch 'master' into staging-next ... Regenerated pkgs/servers/x11/xorg/default.nix to resolve the conflict.	2021-06-15 11:19:41 +02:00
Sandro	d2c1a26246	Merge pull request #126400 from nagy/vowpal-wabbit-boost17x ... vowpal-wabbit: use boost17x	2021-06-14 19:39:52 +02:00
github-actions[bot]	13f31f60bf	Merge master into staging-next	2021-06-14 00:08:48 +00:00