4360 Commits

Author	SHA1	Message	Date
Alyssa Ross	8b8dfc5d40	cedille: 1.1.1 -> 1.1.2; fix build	2020-12-10 23:07:32 +00:00
R. RyanTM	aa2148eb1f	picard-tools: 2.23.8 -> 2.23.9	2020-12-10 23:06:36 +00:00
SCOTT-HAMILTON	d98fae8072	Update pkgs/applications/science/electronics/hal-hardware-analyzer/default.nix ... Co-authored-by: Drew <drewrisinger@users.noreply.github.com>	2020-12-10 16:35:46 +01:00
SCOTT-HAMILTON	ddf90cb942	spdlog: use nixpkgs' fmt instead of bundled one	2020-12-10 10:47:00 +01:00
markuskowa	ba5c6f6075	Merge pull request #105133 from markuskowa/fix-gromacs ... Gromacs: fix SIMD flags, and OpenMP	2020-12-08 09:10:38 +01:00
R. RyanTM	cec747d712	clingo: 5.4.0 -> 5.4.1	2020-12-07 13:03:03 +00:00
Ben Gamari	c98ce627d4	kicad-unstable: 2020-11-07 -> 2020-12-01 (#105743)	2020-12-03 19:17:32 -05:00
R. RyanTM	b3f3197266	mavproxy: 1.8.27 -> 1.8.29	2020-12-03 14:33:38 +00:00
Sandro	30cdc8be48	Merge pull request #105650 from r-ryantm/auto-update/gretl ... gretl: 2020b -> 2020e	2020-12-02 20:22:27 +01:00
Ryan Mulligan	4ce30eb63a	Merge pull request #105672 from r-ryantm/auto-update/hmmer ... hmmer: 3.3.1 -> 3.3.2	2020-12-02 05:45:57 -08:00
Austin Seipp	e601758166	abc-verifier: 2020.06.22 -> 2020.11.24 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-12-02 07:18:05 -06:00
Mario Rodas	d48bc3e815	Merge pull request #105654 from r-ryantm/auto-update/gmsh ... gmsh: 4.7.0 -> 4.7.1	2020-12-02 05:15:45 -05:00
Austin Seipp	a3ae8a4fcf	Merge pull request #100750 from arcz/boolector ... boolector: enable darwin build	2020-12-02 03:19:54 -06:00
R. RyanTM	6f50c5b18e	hmmer: 3.3.1 -> 3.3.2	2020-12-02 09:00:15 +00:00
R. RyanTM	cf89444f1e	gmsh: 4.7.0 -> 4.7.1	2020-12-02 05:50:47 +00:00
R. RyanTM	f9a694106b	gretl: 2020b -> 2020e	2020-12-02 04:45:07 +00:00
Ben Darwin	ee7d83e648	ants: unbreak on Darwin	2020-12-01 14:17:54 -05:00
Markus Kowalewski	e90cff90f1	openmolcas: fix hash	2020-11-30 23:05:14 +01:00
Justin Bedo	5fc6258043	bwa: expand supported platforms	2020-11-30 09:46:51 +11:00
Artur Cygan	da3c0ca0dd	boolector: fix darwin build	2020-11-29 22:31:54 +01:00
Artur Cygan	38e6f15d98	btor2tools: fix install_name on darwin	2020-11-29 22:31:31 +01:00
Vincent Laporte	8ee7c2505f	proverif: install emacs mode	2020-11-29 14:05:14 +01:00
Sandro	4dc26ca31d	Merge pull request #92646 from r-ryantm/auto-update/tla-toolbox ... tlaplusToolbox: 1.6.0 -> 1.7.0	2020-11-29 04:01:21 +01:00
Sandro	2c0389680c	Merge pull request #90075 from dmrauh/add/gretl ... gretl: init at 2020b	2020-11-28 22:10:05 +01:00
Dominik Michael Rauh	5f10cd5e0b	gretl: init at 2020b	2020-11-28 21:37:30 +01:00
Doron Behar	56a2c8bb22	Merge pull request #104171 from freezeboy/unbreak-dsview-qt515 ... dsview: 0.99 -> 1.12	2020-11-28 17:55:25 +02:00
Timo Kaufmann	819a2c571a	Merge pull request #105212 from r-ryantm/auto-update/jmol ... jmol: 14.31.17 -> 14.31.18	2020-11-28 10:46:52 +01:00
R. RyanTM	e5f757954a	jmol: 14.31.17 -> 14.31.18	2020-11-28 06:51:19 +00:00
Sandro	85fe68bbc0	Merge pull request #105197 from r-ryantm/auto-update/igv ... igv: 2.8.12 -> 2.8.13	2020-11-28 04:05:05 +01:00
R. RyanTM	212ba486d6	igv: 2.8.12 -> 2.8.13	2020-11-28 02:18:00 +00:00
Sandro	ec421ca248	Merge pull request #100532 from piegamesde/fix-desktopitems ... treewide: Fix broken desktop files and mark packages as broken	2020-11-27 22:27:59 +01:00
Markus Kowalewski	58e1666a58	gromacs: fix SIMD flags, and OpenMP ... * make CPU acceleration selectable. * update cmake flag for acceleration CPU_ACCELERATION -> SIMD GMX_CPU_ACCELERATION is outdated and has been ignored. * add hwloc to inputs * always build with OpenMP * change name -> pname	2020-11-27 13:59:01 +01:00
Michael Raskin	3ed321dfab	z3: enable build on non-x86_64 unix; checked the build on aarch64-linux	2020-11-27 11:52:07 +01:00
Sandro	41408091bb	Merge pull request #105111 from r-ryantm/auto-update/workcraft ... workcraft: 3.3.1 -> 3.3.2	2020-11-27 03:12:56 +01:00
R. RyanTM	b25018203b	workcraft: 3.3.1 -> 3.3.2	2020-11-27 01:53:34 +00:00
Sandro	6ecdb286b0	Merge pull request #101464 from Synthetica9/redirected-urls ... treewide: ran ./maintainers/scripts/update_redirected_urls.sh	2020-11-27 01:27:24 +01:00
Patrick Hilhorst	a6b3bb24e4	treewide: ran ./maintainers/scripts/update_redirected_urls.sh	2020-11-27 01:23:57 +01:00
Sandro	b08b773f24	Merge pull request #101807 from cheriimoya/pspp ... pspp 1.2.0 -> 1.4.1	2020-11-27 00:35:16 +01:00
Gabriel Ebner	56ffa7a9e4	Merge pull request #105055 from r-ryantm/auto-update/qalculate-gtk ... qalculate-gtk: 3.14.0 -> 3.15.0	2020-11-26 19:04:24 +01:00
R. RyanTM	8c1f644cc7	qalculate-gtk: 3.14.0 -> 3.15.0	2020-11-26 17:48:20 +00:00
Sandro	605ecee7de	Merge pull request #102200 from hjones2199/master ... phd2: init at 2.6.9dev1	2020-11-26 02:28:06 +01:00
Sandro	c2d728f195	Merge pull request #102140 from SuperSandro2000/patch-2	2020-11-26 01:00:22 +01:00
Sandro	28cb61eb5d	Merge pull request #104933 from tadfisher/horizon-eda ... horizon-eda: 1.2.1 -> 1.3.0	2020-11-26 00:45:09 +01:00
Sandro	d8b570e6c8	Merge pull request #98363 from jbedo/mosdepth ... mosdepth: 0.2.9 -> 0.3.1	2020-11-25 23:55:47 +01:00
Sandro	e166f22759	tebreak: Fix tests	2020-11-25 21:36:38 +01:00
Sandro	5f2997686c	deeptools: Fix tests	2020-11-25 21:36:37 +01:00
Tad Fisher	40db868048	horizon-eda: 1.2.1 -> 1.3.0	2020-11-25 12:23:45 -08:00
Sandro	b73851877c	Merge pull request #104866 from r-ryantm/auto-update/MAVProxy ... mavproxy: 1.8.24 -> 1.8.27	2020-11-25 17:42:18 +01:00
R. RyanTM	3174ae1723	mavproxy: 1.8.24 -> 1.8.27	2020-11-25 05:57:05 +00:00
Hunter Jones	d14952311e	phd2: init at 2.6.9dev1	2020-11-24 21:31:58 -06:00
Sandro	ea49bac768	Merge pull request #99761 from fgaz/key/init ... key: init at 2.6.3	2020-11-25 01:49:25 +01:00
Mazurel	880974a84d	qucs-s: init at 0.0.22	2020-11-24 19:24:38 +01:00
Graham Christensen	bc49a0815a	utillinux: rename to util-linux	2020-11-24 12:42:06 -05:00
Sandro	3da89983fd	Merge pull request #103590 from r-ryantm/auto-update/workcraft ... workcraft: 3.3.0 -> 3.3.1	2020-11-24 02:07:43 +01:00
Sandro	b3f5ff2005	Merge pull request #103703 from r-ryantm/auto-update/gmsh ... gmsh: 4.6.0 -> 4.7.0	2020-11-24 01:57:36 +01:00
Timo Kaufmann	e4af85f1d8	Merge pull request #104476 from refnil/pynac ... pynac: use python3 instead of python2	2020-11-23 22:26:38 +01:00
R. RyanTM	3b17793827	star: 2.7.5c -> 2.7.6a	2020-11-23 20:40:05 +01:00
Sandro	b2219a326b	Merge pull request #101922 from penguwin/nextinspace ... nextinspace: init at 1.0.6	2020-11-23 20:09:09 +01:00
Ryan Mulligan	5417bf80f5	Merge pull request #104395 from r-ryantm/auto-update/MAVProxy ... mavproxy: 1.8.23 -> 1.8.24	2020-11-21 19:42:33 -08:00
freezeboy	9950899236	xflr5: migrate to Qt5.15 ... rewrite without wrapQtAppsHook and stdenv	2020-11-20 22:24:19 +01:00
freezeboy	f2335a5d98	appcsxcad: migrate to Qt5.15 ... * remove useless wrapQtAppsHook	2020-11-20 22:24:18 +01:00
freezeboy	ed7a64c4ee	qcsxcad: migrate to Qt511 + additional cleanup ... * Split into multiple outputs * Rewrite the derivation without stdenv	2020-11-20 22:24:18 +01:00
Martin Lavoie	30afa507a3	pynac: use python3 instead of python2	2020-11-20 20:46:43 +01:00
R. RyanTM	4615d67ac6	mavproxy: 1.8.23 -> 1.8.24	2020-11-20 17:43:07 +00:00
Austin Seipp	00c451ad40	librepcb: touch ups, co-maintain ... Fixes a bug where the build system tried to call `git` to embed the release tag revision into the binary, which isn't allowed. Easily fixed with `substituteInPlace`. Also updates the expression to be a little closer to "standard" expressions (e.g. consistent indentation, importing `stdenv` instead of `lib` and `mkDerivation`, etc.) Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-11-20 07:36:27 -06:00
R. RyanTM	26803925aa	ngspice: 32 -> 33	2020-11-19 22:57:08 -08:00
Dmitry Kalinkin	209480e580	Merge pull request #104103 from veprbl/pr/snakemake_5_28_0 ... snakemake: 5.19.3 -> 5.28.0	2020-11-19 20:37:25 -05:00
Ben Gamari	7263f7c433	mathematica: Prefer building locally (#100856) ... There is little benefit to copying a 4GB tarball over the network, just to perform an I/O-bound operation and then copy the multi-gigabyte result back.	2020-11-19 19:42:22 -05:00
Timo Kaufmann	e04721b289	Merge pull request #104083 from timokau/sage-maintainers-team ... maintainers: create sage team	2020-11-19 19:20:49 +01:00
Jörg Thalheim	72f6df338d	remove genesis maintainer ... genesis has no longer access to github	2020-11-18 22:37:56 -08:00
R. RyanTM	5a4772e260	marvin: 20.19.0 -> 20.20.0	2020-11-18 21:03:39 +00:00
Timo Kaufmann	b7319d2d35	maintainers: add raskin to the sage team ... https://github.com/NixOS/nixpkgs/pull/104083#issuecomment-729168625	2020-11-18 21:29:24 +01:00
Timo Kaufmann	ff8338343b	maintainers: create sage team ... Maintaining all the packages whose updates might break some aspect of sage. For reference: https://github.com/NixOS/nixpkgs/pull/103810#issuecomment-727536510	2020-11-18 21:27:37 +01:00
freezeboy	00b385c612	dsview: 0.99 -> 1.12 ... Adapted the patches and took a commit from upstream master branch to allow the migration to Qt5.15. Had to copy the patch because of the custom sourceRoot.	2020-11-18 15:36:11 +01:00
Dmitry Kalinkin	68e06c19d6	snakemake: 5.19.3 -> 5.28.0	2020-11-17 17:37:35 -05:00
Nicolas Martin	9af958340a	nextinspace: init at 1.0.6	2020-11-17 15:41:53 +01:00
Oleksii Filonenko	512c3c0a05	maintainers: rename filalex77 -> Br1ght0ne	2020-11-17 13:09:31 +02:00
Ryan Mulligan	80b6df2a17	Merge pull request #103525 from r-ryantm/auto-update/samblaster ... samblaster: 0.1.24 -> 0.1.26	2020-11-16 19:03:03 -08:00
Austin Seipp	4b21cf786c	Merge pull request #102943 from prusnak/verilog ... verilog: unstable-2020-08-24 -> 11.0	2020-11-15 21:19:22 -06:00
Anderson Torres	25afd6a3ec	Merge pull request #103768 from AndersonTorres/wip-antiprism ... antiprism: init at 0.26	2020-11-15 19:43:57 -03:00
Vincent Laporte	2806eb2743	coq_8_12: 8.12.0 → 8.12.1	2020-11-15 12:03:15 +01:00
Ryan Mulligan	47fe890182	Merge pull request #103751 from r-ryantm/auto-update/last ... last: 1133 -> 1145	2020-11-14 15:08:46 -08:00
Ryan Mulligan	306960bf1c	Merge pull request #103776 from r-ryantm/auto-update/MAVProxy ... mavproxy: 1.8.22 -> 1.8.23	2020-11-14 13:34:35 -08:00
Pavol Rusnak	610d337764	vhd2vl: fix compatibility with verilog 11.0	2020-11-14 20:15:09 +01:00
Pavol Rusnak	960b4816a5	verilog: unstable-2020-10-24 -> 11.0	2020-11-14 20:15:09 +01:00
R. RyanTM	e3cf6e12bc	fahcontrol: 7.6.13 -> 7.6.21 (#103677)	2020-11-14 16:39:37 +00:00
R. RyanTM	68f44d990d	fahviewer: 7.6.13 -> 7.6.21 (#103688)	2020-11-14 16:39:20 +00:00
Mario Rodas	7408e58969	Merge pull request #103731 from r-ryantm/auto-update/igv ... igv: 2.8.11 -> 2.8.12	2020-11-14 06:31:47 -05:00
Timo Kaufmann	99aab4ff25	Merge pull request #103749 from r-ryantm/auto-update/jmol ... jmol: 14.31.14 -> 14.31.17	2020-11-14 09:53:01 +01:00
Timo Kaufmann	9a18684661	Merge pull request #103706 from r-ryantm/auto-update/gp2c ... gp2c: 0.0.11pl4 -> 0.0.12	2020-11-14 09:52:34 +01:00
R. RyanTM	df7db2b3ed	mavproxy: 1.8.22 -> 1.8.23	2020-11-14 06:25:20 +00:00
AndersonTorres	f61b91cec4	antiprism: init at 0.26	2020-11-14 00:37:10 -03:00
R. RyanTM	a698dfa0a2	last: 1133 -> 1145	2020-11-13 23:30:53 +00:00
R. RyanTM	dd8591d752	jmol: 14.31.14 -> 14.31.17	2020-11-13 22:05:46 +00:00
R. RyanTM	82d1113013	igv: 2.8.11 -> 2.8.12	2020-11-13 18:25:51 +00:00
R. RyanTM	3457f85820	gp2c: 0.0.11pl4 -> 0.0.12	2020-11-13 14:37:53 +00:00
R. RyanTM	a36f37b778	gmsh: 4.6.0 -> 4.7.0	2020-11-13 14:19:59 +00:00
Austin Seipp	c1661fa7e1	magic-vlsi: 8.3.5 -> 8.3.80, co-maintain ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-11-12 15:23:03 -06:00
Austin Seipp	58a906a7bf	iverilog: unstable-2020-08-24 -> unstable-2020-10-24 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-11-12 15:23:02 -06:00
R. RyanTM	8acd7a3540	workcraft: 3.3.0 -> 3.3.1	2020-11-12 10:54:47 +00:00
R. RyanTM	d1baaef83d	samblaster: 0.1.24 -> 0.1.26	2020-11-12 01:43:02 +00:00
R. RyanTM	f7485d07b5	lean: 3.21.0 -> 3.23.0	2020-11-11 15:16:44 -08:00
Gabriel Ebner	05d27ba19b	Merge pull request #103256 from r-ryantm/auto-update/qalculate-gtk ... qalculate-gtk: 3.13.0 -> 3.14.0	2020-11-10 11:16:30 +01:00
R. RyanTM	3664e4929f	qalculate-gtk: 3.13.0 -> 3.14.0	2020-11-10 01:49:59 +00:00
Frederik Rietdijk	20f001c01e	Merge master into staging-next	2020-11-09 14:33:52 +01:00
Hunter Jones	5041cbc691	kstars: 2.9.8 -> 3.4.3	2020-11-09 12:21:31 +00:00
Luz	3bf8df2877	librepcb: 0.1.4 -> 0.1.5	2020-11-09 11:56:58 +00:00
Samuel Gräfenstein	22b73d1282	pkgs/*: add final newline to .nix files	2020-11-09 11:39:28 +00:00
Orivej Desh	0c75dfb732	convertall: init at 0.8.0 (#103108)	2020-11-09 01:45:09 +00:00
Masanori Ogino	88de0d7354	maxima: 5.42.2 -> 5.44.0 (#102861) ... Reference: https://sourceforge.net/p/maxima/code/ci/master/tree/ChangeLog-5.43.md Reference: https://sourceforge.net/p/maxima/code/ci/master/tree/ChangeLog-5.44.md Signed-off-by: Masanori Ogino <167209+omasanori@users.noreply.github.com>	2020-11-08 19:29:53 -05:00
markuskowa	428bea042e	Merge pull request #102296 from r-ryantm/auto-update/gromacs ... gromacs: 2020.3 -> 2020.4	2020-11-08 11:31:54 +01:00
Evils	a52e974cff	kicad-unstable: 2020-10-09 -> 2020-11-07 ... patch for issue 72248 no longer applies issue doesn't seem to occur without it anymore...	2020-11-07 16:29:52 +01:00
Evils	905134a79f	kicad: 5.1.7 -> 5.1.8	2020-11-07 16:29:52 +01:00
Evils	50ec961174	kicad: fix update.sh bootstrapping ... it will now correctly build a version.nix file from scratch	2020-11-07 16:29:52 +01:00
Evils	756f36b554	kicad: 5.1.6 -> 5.1.7	2020-11-07 16:29:52 +01:00
Jan Tojnar	a821be7531	Merge branch 'master' into staging-next	2020-11-05 09:42:47 +01:00
Gabriel Ebner	8279979f38	lean: build olean files	2020-11-04 16:32:56 +01:00
Ryan Mulligan	ba3fc8bf47	Merge pull request #102707 from r-ryantm/auto-update/picard-tools ... picard-tools: 2.23.4 -> 2.23.8	2020-11-04 06:11:08 -08:00
Frederik Rietdijk	10c57af49c	Merge staging-next into staging	2020-11-04 09:28:07 +01:00
R. RyanTM	6391d3c1b5	picard-tools: 2.23.4 -> 2.23.8	2020-11-04 04:53:50 +00:00
Ryan Mulligan	4ee1f7bc2c	Merge pull request #102582 from r-ryantm/auto-update/marvin ... marvin: 20.17.0 -> 20.19.0	2020-11-03 14:56:38 -08:00
Kevin Cox	d7a0daf2a1	Merge pull request #102420 from freezeboy/remove-plink ... plink: remove (broken since 2014)	2020-11-03 07:49:09 -05:00
Frederik Rietdijk	470f05cb5d	Merge staging-next into staging	2020-11-03 12:06:41 +01:00
R. RyanTM	aea6594c69	marvin: 20.17.0 -> 20.19.0	2020-11-03 04:38:29 +00:00
Mario Rodas	98bf2ceb68	Merge pull request #102464 from r-ryantm/auto-update/igv ... igv: 2.8.9 -> 2.8.11	2020-11-02 18:21:36 -05:00
Timo Kaufmann	9560149052	Merge pull request #102479 from r-ryantm/auto-update/jmol ... jmol: 14.31.3 -> 14.31.14	2020-11-02 19:31:29 +01:00
R. RyanTM	ccabae32dd	gtkwave: 3.3.106 -> 3.3.107	2020-11-02 08:26:41 -08:00
R. RyanTM	41e1c236bf	cytoscape: 3.8.1 -> 3.8.2	2020-11-02 08:20:13 -08:00
R. RyanTM	3d40283367	jmol: 14.31.3 -> 14.31.14	2020-11-02 12:07:07 +00:00
R. RyanTM	8ef46be2a4	igv: 2.8.9 -> 2.8.11	2020-11-02 10:16:32 +00:00
Pavol Rusnak	2c931312ce	treewide: simplify rev/repo arguments in src ... + use fetchFromGithub where possible	2020-11-01 23:02:24 -08:00
freezeboy	1f7e201e9e	plink: remove (broken since 2014)	2020-11-02 03:24:16 +01:00
R. RyanTM	036cec187c	ginac: 1.7.9 -> 1.8.0	2020-11-01 17:19:05 -08:00
Frederik Rietdijk	83dde6c52c	Merge staging-next into staging	2020-11-01 10:11:12 +01:00
R. RyanTM	afa6047e12	gromacs: 2020.3 -> 2020.4	2020-11-01 00:24:33 +00:00
Vincent Laporte	8cab21b48b	Revert "coq: propagate and install ocaml and findlib" ... This reverts commit 5d0e2dedd5.	2020-10-31 09:08:06 +01:00
Justin Bedo	32573f4b6e	last: 1066 -> 1133	2020-10-31 10:59:02 +11:00
Maximilian Bosch	952dc5c7ff	Merge pull request #101421 from sikmir/geogebra ... geogebra: 5-0-593-0 -> 5-0-609-0, geogebra6: 6-0-600-0 -> 6-0-609-0	2020-10-30 23:39:37 +01:00
Renato Alves	6e19ed0a52	lumpy: 0.3.0 -> 0.3.1	2020-10-30 01:28:00 +01:00
Renato Alves	a28e5b0a4f	samtools: 1.10 -> 1.11	2020-10-29 18:27:22 +01:00
Andreas Rammhold	db0fe5c3eb	Merge branch master into staging to fix eval error ... This fixes the eval error of the small (and "big"?) NixOS test set that was fixed in 1088f05 & eba8f542.	2020-10-28 03:03:27 +01:00
Ben Siraphob	db74029e3e	treewide: remove package names from prefix of descriptions	2020-10-27 09:15:07 -07:00
Max Hausch	8fb91897f4	pspp 1.2.0 -> 1.4.1	2020-10-27 01:10:37 +01:00
Masanori Ogino	40fb3ed6dc	maxima: remove 5.41.0 ... It had been kept for SageMath, but it uses the default version nowadays and this version is not referenced in nixpkgs. Signed-off-by: Masanori Ogino <167209+omasanori@users.noreply.github.com>	2020-10-27 06:09:12 +09:00
Maximilian Bosch	61fa498994	Merge pull request #101646 from luc65r/pkg/rofi-calc ... rofi-calc: 1.8 -> 1.9	2020-10-26 16:36:43 +01:00
Ryan Mulligan	4fce633319	Merge pull request #101716 from r-ryantm/auto-update/openhantek6022 ... openhantek6022: 3.1.2 -> 3.1.3	2020-10-26 05:43:38 -07:00
Vladimír Čunát	336bc8283b	Re-Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2" ... This reverts commit c778945806. I believe this is exactly what brings the staging branch into the right shape after the last merge from master (through staging-next); otherwise part of staging changes would be lost (due to being already reachable from master but reverted).	2020-10-26 08:19:17 +01:00
R. RyanTM	250757970b	openhantek6022: 3.1.2 -> 3.1.3	2020-10-26 00:37:51 +00:00
Peter Simons	40bc6c8dad	Merge pull request #100393 from matthiasbeyer/update-r ... R: 4.0.2 -> 4.0.3	2020-10-25 21:57:03 +01:00
Lucas Ransan	2436e41916	rofi-calc: 1.8 -> 1.9	2020-10-25 14:31:57 +01:00
Vladimír Čunát	c778945806	Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2" ... I'm sorry; I didn't notice it contained staging commits. This reverts commit 17f5305b6c, reversing changes made to a8a018ddc0.	2020-10-25 09:41:51 +01:00
Vladimír Čunát	17f5305b6c	Merge #101508: libraw: 0.20.0 -> 0.20.2	2020-10-25 09:28:53 +01:00
Nikolay Korotkiy	a2472ebfb1	geogebra: 5-0-593-0 -> 5-0-609-0, geogebra6: 6-0-600-0 -> 6-0-609-0	2020-10-23 19:25:11 +03:00
Vincent Laporte	2cb651ad14	cryptoverif: 2.01pl1 → 2.03pl1	2020-10-23 10:20:09 +02:00
Anderson Torres	253fb7648c	Merge pull request #101244 from zaninime/nanovna-saver ... nanovna-saver: init at 0.3.7	2020-10-22 20:42:56 -03:00
Jan Tojnar	3e01d383ee	Merge branch 'staging-next' into staging	2020-10-22 21:20:32 +02:00
Francesco Zanini	2a54c4f950	nanovna-saver: init at 0.3.7	2020-10-22 16:23:13 +02:00
Daiderd Jordan	bb0b872b61	Merge pull request #100388 from thefloweringash/darwin-dylib-names-hook ... treewide: move fixDarwinDylibNames to nativeBuildInputs	2020-10-21 19:25:48 +02:00
Théo Zimmermann	5d0e2dedd5	coq: propagate and install ocaml and findlib ... Fix #34657.	2020-10-21 11:07:02 +02:00
markuskowa	4eb5b1285c	Merge pull request #101065 from markuskowa/fix-molcas ... openmolcas: 19.11 -> 20.10	2020-10-21 09:37:28 +02:00
Andrew Childs	722d02a720	treewide: move fixDarwinDylibNames to nativeBuildInputs ... This hook runs at build time and depends on executing install_name_tool from binutils.	2020-10-21 13:26:53 +09:00
Guanpeng Xu	efe94c085b	mathematica: use opencv4 ... The default opencv2 is marked broken at 5e68d203, and it is suggested there that the current release is 4.x.	2020-10-21 08:36:54 +08:00
Austin Seipp	fba7eaeb63	Merge pull request #100741 from arcz/btor2tools ... btor2tools: enable unix platforms	2020-10-19 16:18:56 -05:00
Markus Kowalewski	2eee4e4eac	openmolcas: 19.11 -> 20.10	2020-10-19 14:13:08 +02:00
Markus Kowalewski	8b02ff6b8e	openmolcas: fix build w.r.t. openblas ... Fall out from switching openblas over to multiple outputs: https://github.com/NixOS/nixpkgs/pull/98337	2020-10-19 14:00:48 +02:00
Masanori Ogino	096ef94717	gfan: fix build failures with cddlib v0.94l ... It fixes https://github.com/NixOS/nixpkgs/issues/100622. Signed-off-by: Masanori Ogino <167209+omasanori@users.noreply.github.com>	2020-10-19 10:29:01 +09:00
Gabriel Ebner	6d22203168	Merge pull request #101010 from r-ryantm/auto-update/lean ... lean: 3.19.0 -> 3.21.0	2020-10-18 20:10:42 +02:00
R. RyanTM	855b84d8b0	lean: 3.19.0 -> 3.21.0	2020-10-18 17:00:15 +00:00
Doron Behar	1693d00562	Merge pull request #85456 from matthuszagh/kicad-libraries	2020-10-17 20:31:38 +03:00
Ryan Mulligan	ed8a50fa13	Merge pull request #100548 from r-ryantm/auto-update/MAVProxy ... mavproxy: 1.8.19 -> 1.8.22	2020-10-17 10:28:18 -07:00
Matt Huszagh	9320c69ecb	kicad: set default footprint, symbol library and package locations ... Previously, these library locations were set absolutely. This prevented overriding their locations with environment variables. Now, setting the corresponding environment variable will override the setting in the environment wrapper. For instance, I can set KISYSMOD=/some/path/to/footprints and this will be used as my footprint library instead of the default footprint library in the nix store. This feature is particularly useful for having kicad libraries which are writable.	2020-10-17 09:32:55 -07:00
Ben Siraphob	683a87dbeb	treewide: remove periods from end of package descriptions	2020-10-17 08:22:31 -07:00
Artur Cygan	5229b4502a	btor2tools: enable unix platforms	2020-10-16 19:39:46 +02:00
Ryan Mulligan	f9728adae7	Merge pull request #99128 from jbedo/delly ... delly: 0.8.2 -> 0.8.5	2020-10-16 06:30:11 -07:00
R. RyanTM	a3dca9576b	deeptools: 3.4.1 -> 3.5.0	2020-10-16 00:42:47 -07:00
Doron Behar	1db3202722	Merge pull request #75843 from jbedo/lumpy	2020-10-15 19:46:13 +03:00
piegames	e14a359896	treewide: Fix broken desktop files and mark packages as broken ... This fixes all packages that are failed `nixpkgs-review` in #91790. Packages that were broken prior to that PR were marked as broken. Packages that failed because of #75729 were fixed.	2020-10-15 15:14:51 +02:00
R. RyanTM	af82dfa808	mavproxy: 1.8.19 -> 1.8.22	2020-10-15 05:05:52 +00:00
Frederik Rietdijk	b981eca057	Merge master into staging-next	2020-10-14 11:32:49 +02:00
Anderson Torres	a9637e5b52	Merge pull request #100357 from AndersonTorres/zegrapher-new ... zegrapher: init at 3.1.1	2020-10-13 15:14:04 -03:00
Frederik Rietdijk	9e1943edc0	Merge master into staging-next	2020-10-13 19:34:34 +02:00
Vincent Laporte	33b7529b01	tamarin-prover: 1.4.1 → 1.6.0 (#100148)	2020-10-13 10:16:11 +02:00
Matthias Beyer	ea4a13e573	R: 4.0.2 -> 4.0.3 ... Signed-off-by: Matthias Beyer <mail@beyermatthias.de>	2020-10-13 10:05:15 +02:00
AndersonTorres	1331d642e0	zegrapher: init at 3.1.1	2020-10-12 19:31:34 -03:00
Doron Behar	58b8ae4127	Merge pull request #100066 from matthuszagh/kicad-srcs	2020-10-12 22:55:16 +03:00
Matt Huszagh	f2cb2c447d	kicad: add srcs parameter to allow configuring kicad versions ... This also exposes the full src and version parameters for each derivation, allowing them to overrideable by srcs.	2020-10-12 11:32:44 -07:00
Matt Huszagh	9d13164b27	kicad: Rename <feature>Support arguments to with<Feature> ... Also: Use assertions instead of silently ignoring arguments that don't cooperate (occ+oce) / won't compile (aarch64 + oce). base.nix no longer provides default argument values since these are provided by default.nix.	2020-10-12 11:32:04 -07:00
Anderson Torres	e61c9d185d	Merge pull request #100193 from AndersonTorres/big-upload ... A bunch of updates	2020-10-12 08:48:52 -03:00
AndersonTorres	69c14beb04	gp2c: 0.0.11pl3 -> 0.0.11pl4	2020-10-12 04:07:03 -03:00
AndersonTorres	781753db45	pari: 2.11.3 -> 2.11.4	2020-10-12 04:07:03 -03:00
Claudio Bley	0f6b8b7964	fritzing: 0.9.3b -> 0.9.4 ... Notes: * fritzing still needs an older version of libgit2 * releases no longer directly correspond to tags in the git repository, they are using build numbers instead * the fritzing-parts repository is no longer versioned at all, the master branch contains the latest stable release * a `parts.db` file needs to be generated from the fritzing-parts files during the build	2020-10-11 16:51:59 -07:00
Matt Huszagh	937c2597d9	ngspice: 31 -> 32	2020-10-11 16:10:33 +02:00
Wulfsta	77143fc628	mathematica: fix libQt errors	2020-10-11 15:49:11 +02:00
Gabriel Ebner	b03c6ef37d	Merge pull request #99503 from NieDzejkob/isabelle-z3-fix	2020-10-11 12:39:09 +02:00
Matt Huszagh	85d5195f70	kicad: remove unnecessary with lib; statements	2020-10-10 16:22:04 -07:00
Jan Tojnar	aabcf2d8f5	Merge branch 'master' into staging-next	2020-10-11 00:27:21 +02:00
Matt Huszagh	e2fea84597	kicad: clarify wrapGAppsHook comment	2020-10-10 15:15:43 -07:00
Matt Huszagh	b3e2b523e5	kicad: reformat with nixpkgs-fmt	2020-10-10 12:53:09 -07:00
Vladimír Čunát	338b25697c	Merge branch 'master' into staging-next ... Quite many rebuilds from master: > Estimating rebuild amount by counting changed Hydra jobs. > 3926 x86_64-darwin > 4645 x86_64-linux	2020-10-10 11:32:10 +02:00
Doron Behar	967a01f206	Merge pull request #100065 from matthuszagh/kicad	2020-10-10 12:28:09 +03:00
Daniel Schaefer	384470e23f	Merge pull request #99964 from guserav/horizon-eda ... horizon-eda: init at 1.2.1	2020-10-10 11:49:07 +08:00
guserav	6a4c1972a2	horizon-eda: init at 1.2.1 ... Mostly based on #86694 by yrashk	2020-10-09 19:57:38 +02:00
Matt Huszagh	104aca941a	kicad-unstable: 2020-08-22 -> 2020-10-09 ... base.nix requires gtk3 to compile	2020-10-09 07:36:42 -07:00
Matt Huszagh	b67afd8a44	kicad: modify update script to use gitlab for libraries ... Kicad libraries are now hosted on gitlab instead of github.	2020-10-09 07:36:41 -07:00
Frederik Rietdijk	ec28e32c9e	Merge master into staging-next	2020-10-08 21:47:26 +02:00
Dmitry Kalinkin	b0486f3171	pythia: 8.244 -> 8.303	2020-10-07 20:28:19 -04:00
Ben Darwin	e673c285e1	conglomerate: update LIBMINC_DIR to reflect libminc CMake changes	2020-10-06 15:31:18 -04:00
Ben Darwin	44f2bf87d6	EZminc: update LIBMINC_DIR to reflect libminc CMake changes	2020-10-06 15:31:18 -04:00
Ben Darwin	83d0571ae6	mni_autoreg: update LIBMINC_DIR due to CMake changes in libminc	2020-10-06 15:31:17 -04:00
Ben Darwin	9a190786a4	n3: 2017-09-18 -> 2018-08-09 ... - update LIBMINC_DIR and EBTKS_DIR due to CMake updates in those packages	2020-10-06 15:31:16 -04:00
Ben Darwin	7772e248ab	inormalize: update LIBMINC_DIR and dependencies due to libminc update	2020-10-06 15:31:16 -04:00
Ben Darwin	91a429a148	minc_tools: unstable-2019-12-04 -> unstable-2020-07-25	2020-10-06 15:31:14 -04:00
Francesco Gazzetta	a302261318	key: init at 2.6.3	2020-10-06 17:37:23 +02:00
Frederik Rietdijk	692d219a93	Merge staging-next into staging	2020-10-06 10:25:58 +02:00
Jakub Kądziołka	8205e12a45	z3_4_4_0: add old version for Isabelle	2020-10-03 21:32:22 +02:00
Justin Bedo	d8d8f9390a	delly: 0.8.2 -> 0.8.5	2020-10-01 18:09:53 +10:00
Anderson Torres	5e99485b3d	Merge pull request #99214 from bcdarwin/update-mrtrix ... mrtrix: 3.0.0 -> 3.0.2	2020-10-01 01:14:54 -03:00
Ben Darwin	a94d0fe675	mrtrix: 3.0.0 -> 3.0.2	2020-09-30 22:13:18 -04:00
Vincent Laporte	cc739e1c67	ocamlPackages.z3: init at 4.8.9	2020-09-30 22:03:17 +02:00
Justin Bedo	634927a402	mosdepth: 0.2.9 -> 0.3.1	2020-09-30 09:48:47 +10:00
Jan Tojnar	32b4375f10	Merge branch 'staging-next' into staging	2020-09-29 00:12:29 +02:00
Dmitry Kalinkin	dd57dcf2a5	stellarium: enable on darwin	2020-09-27 17:00:10 -04:00
Maximilian Bosch	b8d1e39a28	stellarium: 0.20.2 -> 0.20.3 ... https://github.com/Stellarium/stellarium/releases/tag/v0.20.3	2020-09-27 22:09:36 +02:00
Matt Huszagh	6b9481607b	openems: init at unstable-2020-02-15	2020-09-27 11:32:27 -07:00
Robert Scott	8db3ea1ef1	Merge pull request #98614 from r-burns/aragorn ... aragorn: fix build on darwin	2020-09-25 19:58:10 +01:00
Dmitry Kalinkin	7867aafa51	Merge pull request #97613 from drewrisinger/zhf/verilog ... verilog: cleanup & test	2020-09-25 10:37:34 -04:00
R. RyanTM	e66a7e2fb7	cytoscape: 3.8.0 -> 3.8.1	2020-09-25 04:38:49 +00:00
Jan Tojnar	d471c5d1f3	Merge branch 'staging-next' into staging	2020-09-24 23:09:00 +02:00
R. RyanTM	0765b507f9	jmol: 14.31.2 -> 14.31.3	2020-09-23 23:36:41 -07:00
Ryan Burns	6cc2d3e6f2	aragorn: fix build on darwin ... Use environment-specified $CC for C compiler	2020-09-23 20:45:21 -07:00
Ryan Mulligan	dfd2eeabd6	Merge pull request #69644 from bzizou/obitools ... obitools3: init at 3.0.0-beta14	2020-09-23 19:04:11 -07:00
Doron Behar	0307d0e82b	Merge pull request #98441 from vbgl/why3-1.3.3 ... why3: 1.3.1 -> 1.3.3	2020-09-23 10:35:57 +03:00
Daniël de Kok	af5b1a9f94	Merge pull request #98427 from jbedo/octopus ... octopus-caller: 0.6.3 -> 0.7.0	2020-09-23 08:24:10 +02:00
Jon	c7fdc43709	Merge pull request #98283 from risicle/ris-truvari-2.0.2 ... truvari: 1.3.4 -> 2.0.2, add new dependencies & fix build	2020-09-22 23:10:58 -07:00
Robert Scott	fc709e6dfe	cvc3: enable for darwin ... it may be possible to get it building under clang with some work, but switching it to gcc for now allows us to enable it	2020-09-22 23:06:45 -07:00
Robert Scott	53a8a415ac	cvc3: fix build against bison 3.7 ... for some reason bison 3.7 output references $x_defs.h files under the name $x.hpp. create symlinks to make this work.	2020-09-22 23:06:45 -07:00
Austin Seipp	daaa0e3350	Merge pull request #98239 from Sohalt/avy ... avy: 2017.10.16 -> cav19	2020-09-22 23:19:05 -05:00
Vincent Laporte	64b68b30e9	why3: 1.3.1 -> 1.3.3	2020-09-23 03:24:02 +02:00
Drew Risinger	ba886f7b1a	verilog: add tests ... Run recommended self-tests from iverilog's CI. Tests add about a minute to the build time on local machine (2 -> 3 mins).	2020-09-22 13:58:15 -04:00
Drew Risinger	0d9a6e2da5	verilog: cleanup ... Meta attributes were out of date or not in current style, and some attributes of derivation were redundant.	2020-09-22 13:58:06 -04:00
Justin Bedo	4bbdb75f22	octopus-caller: 0.6.3 -> 0.7.0	2020-09-22 08:43:04 +10:00
WORLDofPEACE	34aaac6d7c	Merge branch 'staging-next' into staging	2020-09-20 18:41:15 -04:00
sohalt	40722346b8	avy: 2017.10.16 -> 2019.05.01	2020-09-20 16:13:29 +02:00
Robert Scott	ecd5886830	truvari: 1.3.4 -> 2.0.2, fixing build ... seeing it has no tests, use pythonImportsCheck in an attempt to detect total breakage, even though it's not intended to be used as an importable module	2020-09-20 12:25:17 +01:00
Robert Scott	f1d2491057	bwa: include static library and some key headers in output	2020-09-20 12:23:18 +01:00
Gabriel Ebner	efa2089077	Merge pull request #89731 from doronbehar/jdk_rename	2020-09-20 11:07:55 +02:00
Robert Scott	4637721bc1	truvari: fix build ... be less strict about versions	2020-09-19 20:25:08 -07:00
Gabriel Ebner	67ff41201f	leo3: fix executable	2020-09-19 15:05:02 +02:00
Gabriel Ebner	1c576d0b37	sage: use jdk8	2020-09-19 14:22:43 +02:00
Hannes Weisbach	9c73e34d18	kicad: remove gettext from buildInputs, add to nativeBuildInputs ... The i18n "library" does not link against gettext. It only requires the msgfmt utility from gettext, hence gettext should be a nativeBuildInput	2020-09-17 19:48:50 +02:00
Vladyslav M	9147432d5f	Merge pull request #98062 from jonringer/fix-streamlit ... streamlit: fix build	2020-09-16 23:45:32 +03:00
Austin Seipp	f1f1396167	Merge pull request #98109 from Pamplemousse/verilator ... verilator: 4.040 -> 4.100	2020-09-16 14:25:25 -05:00
Pamplemousse	9839c0b292	verilator: 4.040 -> 4.100 ... Signed-off-by: Pamplemousse <xav.maso@gmail.com>	2020-09-16 08:40:01 -07:00
Anderson Torres	811709ff94	Merge pull request #95734 from trepetti/flatcam ... flatcam: init at 8.5	2020-09-15 23:17:59 -03:00
Jonathan Ringer	07660b28bc	streamlit: fix build	2020-09-15 11:19:26 -07:00
Vincent Laporte	cc4a33d78c	ott: 0.30 → 0.31	2020-09-14 21:42:22 +02:00
Sébastien Maret	234b39a6d4	gildas: 20200601_b -> 20200901_a (#97968)	2020-09-14 11:18:06 -04:00
Robert Scott	35ca475f8b	Merge pull request #97757 from freezeboy/fix-lp_solve ... lp_solve: fix build	2020-09-13 11:00:26 +01:00
Vladimír Čunát	e78b52ede7	Merge #95089: glibc: 2.31 -> 2.32 (into staging)	2020-09-13 08:26:14 +02:00
freezeboy	3fc3fd14cf	lp_solve: fix buildCommand some binaries moved	2020-09-13 03:51:51 +02:00
Maximilian Bosch	81cf190882	sherpa: fix build w/glibc-2.32	2020-09-12 23:04:48 +02:00
Maximilian Bosch	8984fc2994	xfitter: fix build w/glibc-2.32	2020-09-12 23:04:47 +02:00
Thomas Tuegel	87c7d1d4f8	z3: 4.8.8 -> 4.8.9	2020-09-11 14:38:43 -05:00
Maximilian Bosch	56708c3bf3	Merge pull request #97555 from badmutex/badi/maintainers-update ... maintainers: updates for badi/badmutex	2020-09-09 23:03:52 +02:00
Badi Abdul-Wahid	f3ce1df79a	tlaplus: remove myself from maintainers list	2020-09-09 10:40:46 -05:00
Cole Helbling	339f6248f6	verilog: unstable-2019-08-01 -> unstable-2020-08-24 ... The build would previously fail due to a change in bison's behavior (see 5b699c1be7 for more information). Updating to a more recent version fixes this issue.	2020-09-09 00:47:52 -07:00
Emery Hemingway	dc09e3edfc	nim: wrap compiler for cross-compilation support	2020-09-07 16:16:55 +02:00
Emery Hemingway	06ac3c1d2a	nim: patch to fix dynamic library loading	2020-09-07 16:16:55 +02:00
Vincent Laporte	2a82f71bed	proverif: 2.01 → 2.02pl1	2020-09-07 09:54:54 +02:00
Vladimír Čunát	0ecc8b9a56	Merge #97229: picard-tools: 2.23.3 -> 2.23.4	2020-09-07 09:38:34 +02:00
R. RyanTM	1cd9dafce0	ott: 0.30 -> 0.31	2020-09-06 22:25:50 +01:00
Daniël de Kok	193a6a2307	Merge pull request #97243 from r-ryantm/auto-update/rink ... rink: 0.5.0 -> 0.5.1	2020-09-06 10:52:28 +02:00
Ryan Mulligan	6748689238	Merge pull request #97251 from r-ryantm/auto-update/star ... star: 2.7.4a -> 2.7.5c	2020-09-05 19:28:47 -07:00
R. RyanTM	cc797c4ab8	star: 2.7.4a -> 2.7.5c	2020-09-05 18:44:51 +00:00
R. RyanTM	f47530237d	rink: 0.5.0 -> 0.5.1	2020-09-05 16:48:17 +00:00
R. RyanTM	1c368b0f13	picard-tools: 2.23.3 -> 2.23.4	2020-09-05 14:02:32 +00:00
voidless	721da4b5e2	geogebra6: 6-0-598-0 -> 6-0-600-0	2020-09-04 11:49:44 +02:00
Tom Repetti	10e5003d20	flatcam: init at 8.5	2020-09-03 14:19:59 -04:00
John Ericson	1965a241fc	Merge pull request #61019 from volth/gcc.arch-amd ... platform.gcc.arch: support for AMD CPUs	2020-09-01 22:31:16 -04:00
R. RyanTM	71d933e214	openhantek6022: 3.1.1 -> 3.1.2	2020-08-31 17:24:28 -07:00
worldofpeace	20252b3cb6	nasc: typo	2020-08-31 13:53:25 -04:00
worldofpeace	32a9e0eea7	nasc: 0.5.4 -> 0.7.5 ... * updates to meson build system * adapt to complications around libqalculate * update metadata * add update script	2020-08-31 13:50:43 -04:00
R. RyanTM	43114a1751	wxmaxima: 20.04.0 -> 20.06.6	2020-08-31 17:09:33 +02:00
R. RyanTM	73cff3d2c2	R: 4.0.0 -> 4.0.2	2020-08-31 16:57:06 +02:00
Mario Rodas	f7eb2883b5	lean: 3.18.4 -> 3.19.0	2020-08-29 04:20:00 +00:00
Maximilian Bosch	577b654415	Merge pull request #96584 from r-ryantm/auto-update/rofi-calc ... rofi-calc: 1.7 -> 1.8	2020-08-29 18:42:32 +02:00
R. RyanTM	741b7f7b36	rofi-calc: 1.7 -> 1.8	2020-08-29 06:44:34 +00:00
Vincent Laporte	5e6eeb795c	alt-ergo: 2.3.2 → 2.3.3	2020-08-29 06:21:23 +02:00
R. RyanTM	ee4c871ecd	marvin: 20.16.0 -> 20.17.0	2020-08-26 12:52:34 +00:00
Henri Menke	e1f177fab2	mathematica: 12.1.0 -> 12.1.1	2020-08-24 11:36:59 +12:00
Silvan Mosberger	cf47ba66fb	Merge pull request #81129 from scalavision/igv-update-28x ... igv: 2.4.19 -> 2.8.0	2020-08-23 19:24:33 +02:00
scalavision	78e89143d4	igv: 2.4.19 -> 2.8.9 ... Co-Authored-By: Silvan Mosberger <contact@infinisil.com>	2020-08-23 19:23:04 +02:00
Austin Seipp	7cb1f36513	verilator: 4.036 -> 4.040 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-08-23 11:01:24 -05:00
Austin Seipp	1e451da386	mcy: 2020.07.06 -> 2020.08.03 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-08-23 11:01:24 -05:00
Austin Seipp	0eb943ecb1	symbiyosys: 2020.07.03 -> 2020.08.22 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-08-23 11:01:24 -05:00
Evils	3ebb12a695	kicad-unstable: 2020-07-21 -> 2020-08-22	2020-08-23 13:24:16 +02:00
Evils	c761c60431	kicad: reenable scriptingSupport ... 94108 fixed the wxPython dependency	2020-08-23 13:24:16 +02:00
Evils	43a6b7b886	kicad: use hash rather than date for package names ... to prevent duplication when just the date changes kicad.libraries should be fixed output derivations?	2020-08-23 13:24:16 +02:00
Gabriel Ebner	f84aae6f67	Merge pull request #96074 from gebner/qalc-gtk-doc-hack ... qalculate-gtk: explain pkg-config issue	2020-08-23 11:53:32 +02:00
Lassulus	15d98507ee	Merge pull request #87224 from Sohalt/isabelle ... isabelle: 2018 -> 2020	2020-08-23 11:28:53 +02:00
Gabriel Ebner	294ddd8e9f	qalculate-gtk: explain pkg-config issue	2020-08-23 11:13:06 +02:00
Daniël de Kok	0d2d55f16b	Merge pull request #86807 from matthuszagh/vhd2vl ... vhd2vl: init	2020-08-22 20:19:43 +02:00
Gabriel Ebner	a3ce3f5931	qalculate-gtk: fix parallel build	2020-08-22 19:06:43 +02:00
Matt Huszagh	38aadfbbad	vhd2vl: init at unstable-2018-09-01	2020-08-22 09:42:34 -07:00
Gabriel Ebner	55af730da0	Merge pull request #95999 from gebner/calculix217 ... calculix: 2.15 -> 2.17	2020-08-22 18:26:02 +02:00
Gabriel Ebner	294cd72be3	qalculate-gtk: 3.8.0a -> 3.12.1	2020-08-22 17:14:25 +02:00
Gabriel Ebner	214d7626e1	calculix: 2.15 -> 2.17	2020-08-22 17:12:30 +02:00
Daniël de Kok	0cb88d7302	Merge pull request #95975 from r-ryantm/auto-update/hyp2mat ... hyp2mat: 0.0.17 -> 0.0.18	2020-08-22 15:24:37 +02:00
Lassulus	7623640e54	Merge pull request #89868 from r-ryantm/auto-update/star ... star: 2.7.3a -> 2.7.4a	2020-08-22 13:35:13 +02:00
R. RyanTM	55d5e762d0	hyp2mat: 0.0.17 -> 0.0.18	2020-08-22 09:25:47 +00:00
R. RyanTM	60a133f5d1	adms: 2.3.6 -> 2.3.7	2020-08-21 21:04:44 -07:00
Thomas Tuegel	616dd214d1	z3: add ttuegel to maintainers	2020-08-21 19:05:55 -07:00
Thomas Tuegel	1f512d7804	z3: 4.8.7 -> 4.8.8	2020-08-21 19:05:55 -07:00
Lassulus	de25713886	Merge pull request #91647 from jbedo/whisper ... whisper: init at 2.0.1	2020-08-21 18:09:35 +02:00
Mario Rodas	f96ec7d994	ocamlPackages.lablgtk3: propagate gtk3 (#95849)	2020-08-21 10:52:11 +02:00
Lassulus	8560589f55	Merge pull request #92337 from r-ryantm/auto-update/ltl2ba ... ltl2ba: 1.2 -> 1.3	2020-08-20 23:02:41 +02:00
freezeboy	531cf77114	labelImg: 1.8.1 -> 1.8.3 ... Switch to python3 and qt5 libraries also	2020-08-20 21:08:39 +02:00
Daniël de Kok	1b71929034	finalfusion-utils: 0.11.2 -> 0.12.0 ... Changelog: https://github.com/finalfusion/finalfusion-utils/releases/tag/0.12.0	2020-08-19 09:51:11 +00:00
Gabriel Ebner	7f31fe9ea6	vampire: 4.4 -> 4.5.1	2020-08-17 19:39:32 +02:00
Daniël de Kok	67c88680f9	Merge pull request #95616 from lopsided98/qgroundcontrol-update ... qgroundcontrol: 4.0.9 -> 4.0.10	2020-08-17 08:00:41 +02:00
Mario Rodas	b05ede05a1	Merge pull request #90281 from purcell/fast-downward-darwin ... fast-downward: 2019-05-13 -> 19.12, build on darwin, fix runtime issues	2020-08-16 21:30:09 -05:00
Ben Wolsieffer	5c78ba8ef6	qgroundcontrol: 4.0.9 -> 4.0.10	2020-08-16 15:28:55 -04:00
voidIess	3cc44ba04e	geogebra 6 : init at 6-0-598-0 (#95422) ... * geogebra 6 : init at 6-0-598-0 since geogebra was ported from java to electron, this is a repacke; wont want to delete geogebra 5, no darwin package for 6 ran nixpkgs-fmt over the file to cleanly reformat the spacings Update pkgs/top-level/all-packages.nix remove a trailing space Co-authored-by: Tom Smeets <Tom.TSmeets@Gmail.com> Update pkgs/applications/science/math/geogebra/geogebra_6.nix Co-authored-by: Tom Smeets <Tom.TSmeets@Gmail.com> Applied a sugestion for the formating of the lines fixed a mistake, where the wrong name attribute was used removed an unnecassary chmod statement added a downlod link to archive.org moved geogebra_6.nix to geogebra6.nix removed unnecesary build inputs statement * renamed to geogebra6	2020-08-16 20:02:54 +02:00
Justin Bedo	20c8945467	hisat2: 2.1.0 -> 2.2.1	2020-08-16 13:30:53 +00:00
Daniël de Kok	3ab2bf69ce	Merge pull request #85330 from chkno/openmvg ... openmvg: 1.3 -> 1.5 (unbreak)	2020-08-16 09:39:38 +02:00
Scott Worley	05a16be9c5	openmvg: 1.3 -> 1.6 (unbreak)	2020-08-16 08:35:54 +02:00
zowoq	473536e3b5	buildRustPackage: remove platform.all from packages	2020-08-16 12:48:18 +10:00
R. RyanTM	2f9ceb5416	gtkwave: 3.3.105 -> 3.3.106	2020-08-15 15:25:15 -07:00
Rohit Goswami	620f9049ae	d-seams: init at 1.0.1	2020-08-15 19:36:04 +00:00
Lorenz Leutgeb	d50a6db016	z3: Add Java Bindings (#92096) ... Introduce new arguments to build Java Bindings, and to disable building of Python bindings. Default behaviour is preserved.	2020-08-15 07:37:38 +02:00
R. RyanTM	afb809f30b	kssd: 1.0 -> 1.1	2020-08-14 15:06:11 +00:00
Vladyslav M	3d1956ad34	Merge pull request #95062 from cryptix/update-aliza ... aliza: 1.48.10 -> 1.98.32	2020-08-13 22:47:05 +03:00
Daniël de Kok	01a69537df	Merge pull request #93613 from baracoder/init-openhantek6022 ... openhantek6022: init at 3.1.1	2020-08-11 17:33:16 +02:00
Matt Huszagh	93e5e9e22d	appcsxcad: init at unstable-2020-01-04	2020-08-10 23:45:59 -07:00
Matt Huszagh	dad6b637c2	qcsxcad: init at unstable-2020-01-04	2020-08-10 21:39:57 -07:00
Henry	eeea325e64	aliza: 1.48.10 -> 1.98.32	2020-08-10 11:16:16 +02:00
Ryan Mulligan	ea39525ae7	Merge pull request #94779 from r-ryantm/auto-update/marvin ... marvin: 20.15.0 -> 20.16.0	2020-08-09 12:45:42 -07:00
Jonathan Ringer	23d6cd325f	root: don't propagated python interpreter	2020-08-09 10:44:15 -07:00
Vincent Laporte	b8dfca143c	coq_8_12: 8.12+β1 → 8.12.0 ... coqPackages.equations: 1.2.2 → 1.2.3	2020-08-08 06:33:08 +02:00
Markus Kowalewski	6c2f1e7f6b	octopus: 9.2 -> 10.0	2020-08-07 12:53:54 +02:00
Brandon Black	bceadafba3	fritzing: use Qt's mkDerivation (#89117)	2020-08-06 23:24:25 +02:00
Matt Huszagh	4390d9b9f1	hyp2mat: init at 0.0.17	2020-08-06 10:22:06 -07:00
R. RyanTM	4e6f70eaf8	marvin: 20.15.0 -> 20.16.0	2020-08-06 10:10:49 +00:00
Matt Huszagh	e74a6bcc20	csxcad: init at unstable-2020-02-08	2020-08-05 19:27:28 -07:00
volth	cf7b63df5b	gcc.arch: refactor, move tables under lib/	2020-08-05 11:18:26 +00:00
Daniël de Kok	d65ff81450	Merge pull request #93954 from danieldk/finalfusion-utils ... finalfusion-utils: init at 0.11.2	2020-08-05 13:03:18 +02:00
Vincent Laporte	390769312d	coq_8_5: fix build (use gnumake 4.2)	2020-08-03 07:46:20 +02:00
Ryan Mulligan	393d3338f9	Merge pull request #94545 from r-ryantm/auto-update/picard-tools ... picard-tools: 2.23.1 -> 2.23.3	2020-08-02 15:23:56 -07:00
R. RyanTM	44181da7b7	picard-tools: 2.23.1 -> 2.23.3	2020-08-02 10:04:36 +00:00
R. RyanTM	7fc1e676ea	lean: 3.16.5 -> 3.18.4	2020-08-02 04:55:59 +00:00
Gabriel Ebner	aa37dc8aeb	Merge pull request #94389 from r-ryantm/auto-update/eprover ... eprover: 2.4 -> 2.5	2020-08-01 11:12:37 +02:00
John Ericson	ef81828143	Merge pull request #94047 from kmicklas/fix-gplates ... gplates: 2.0.0 -> 2.2.0, unbreak	2020-07-31 19:57:01 -04:00
R. RyanTM	202ce2d867	eprover: 2.4 -> 2.5	2020-07-31 23:35:12 +00:00
Yurii Rashkovskii	cc8369c461	why3: 1.2.1 -> 1.3.1 ... Important: keeping why3 at 1.2.1 precludes framac 21.+ from having WP plugin enabled, which is arguably a very important plugin.	2020-07-30 23:05:08 +02:00
Herman Fries	956d35b990	openhantek6022: init at 3.1.1	2020-07-29 22:04:07 +02:00
Dmitry Kudriavtsev	345949594f	maintainers: update name to anna	2020-07-28 19:48:16 -07:00
Mario Rodas	703b8ef3f3	Merge pull request #94091 from r-ryantm/auto-update/hmmer ... hmmer: 3.3 -> 3.3.1	2020-07-28 14:04:04 -05:00
Mario Rodas	552a1f9278	itsx: enable on darwin	2020-07-28 13:48:55 -05:00
Mario Rodas	b7c9ca336f	hmmer: enable on darwin	2020-07-28 13:47:34 -05:00
R. RyanTM	58e7ed9d56	hmmer: 3.3 -> 3.3.1	2020-07-28 16:39:23 +00:00
Ken Micklas	7ae6e51bd4	gplates: 2.0.0 -> 2.2.0, unbreak	2020-07-27 20:54:18 -04:00
Daniël de Kok	655d902909	finalfrontier: 0.9.3 -> 0.9.4 ... Changelog: https://github.com/finalfusion/finalfrontier/releases/tag/0.9.4	2020-07-27 11:02:09 +02:00
Daniël de Kok	2e97f552fd	finalfusion-utils: init at 0.11.2	2020-07-27 10:00:47 +02:00
Vladyslav M	77d6eebc66	Merge pull request #90424 from kini/drat-trim/bump ... drat-trim: 2017-08-31 -> 2020-06-05	2020-07-26 22:50:14 +03:00
Daniël de Kok	0f9afb2716	Merge pull request #92253 from danieldk/finalfrontier ... finalfrontier: init at 0.9.3	2020-07-26 08:34:49 +02:00
Peter Simons	b4dd96b206	sad: mark package as broken because if depends on dropped ghc-8.4.4 ... Ping @schmitthenner.	2020-07-24 13:06:29 +02:00
Maximilian Bosch	a83e2e3662	Merge pull request #93742 from Xitian9/geogebra ... geogebra: 5-0-574-0 -> 5-0-593-0	2020-07-24 11:34:38 +02:00
Evils	b6863cbfe7	kicad: fix build ... disable scripting support as 92261 broke wxPython_4_0 and i haven't managed to get wxPython 4.1 to work something caused makeWrapper to have to be added on its own not sure where it came from before... and some cleanup	2020-07-24 03:26:00 -04:00
Evils	e842233678	kicad-unstable: 2020-05-14 -> 2020-07-21	2020-07-24 03:26:00 -04:00
Stephen Morgan	d9e6338fec	geogebra: 5-0-574-0 -> 5-0-593-0	2020-07-24 15:11:42 +10:00
Daniël de Kok	4dd9423b05	finalfrontier: init at 0.9.3	2020-07-23 10:05:33 +02:00
Robert Scott	fd5c0b94b2	Merge pull request #76960 from risicle/ris-hal-hardware-analyzer ... hal-hardware-analyzer: init at 2.0.0	2020-07-21 22:08:05 +01:00
Daniël de Kok	622150e873	Merge pull request #93429 from danieldk/sortmerna-4.2.0 ... sortmerna: 3.0.3 -> 4.2.0	2020-07-21 09:34:01 +02:00
Robert Scott	d2d921b763	hal-hardware-analyzer: init at 2.0.0	2020-07-20 22:35:00 +01:00
Daniël de Kok	5bb161af08	Merge pull request #93351 from alyssais/gfan ... gfan: fix clang build on non-Darwin	2020-07-19 10:23:13 +02:00
Daniël de Kok	dee4befc78	Merge pull request #93406 from lsix/add-gnu-gama ... gama: init at 2.09	2020-07-19 08:49:37 +02:00
Lancelot SIX	9eccd6417a	gama: init at 2.09	2020-07-18 18:58:22 +01:00
Gabriel Ebner	3ffc16a834	Merge pull request #93375 from MrChico/cvc4_1.8 ... cvc4: 1.6 -> 1.8	2020-07-18 18:48:12 +02:00
Daniël de Kok	56c841393a	sortmerna: 3.0.3 -> 4.2.0 ... - Fixes build against rocksdb 6.10.2 - Use dynamic rocksdb and zlib libraries - Build a dynamic binary	2020-07-18 18:06:23 +02:00
Martin Lundfall	424936ed33	cvc4: 1.6 -> 1.8 ... Co-authored-by: Gabriel Ebner <gebner@gebner.org> Update pkgs/applications/science/logic/cvc4/default.nix Co-authored-by: Gabriel Ebner <gebner@gebner.org>	2020-07-18 17:48:10 +02:00
Vladyslav M	2076487221	rink: 0.4.5 -> 0.5.0	2020-07-18 13:30:05 +03:00
Keshav Kini	b28d329c62	drat-trim: 2017-08-31 -> 2020-06-05	2020-07-17 21:38:31 -07:00
Alyssa Ross	8f5eaa6deb	gfan: fix clang build on non-Darwin ... -fno-guess-branch-probability isn't a Darwin-specific thing, it's a clang-specific thing.	2020-07-17 15:30:24 +00:00
Ryan Mulligan	891e3cb973	Merge pull request #92575 from r-ryantm/auto-update/seaview ... seaview: 5.0.2 -> 5.0.4	2020-07-15 21:23:13 -07:00
markuskowa	7204d9aa36	Merge pull request #93042 from r-ryantm/auto-update/gromacs ... gromacs: 2020.2 -> 2020.3	2020-07-13 13:52:28 +02:00
R. RyanTM	215011c44d	gromacs: 2020.2 -> 2020.3	2020-07-13 07:11:49 +00:00
Daniël de Kok	a36e044be2	Merge pull request #92957 from lopsided98/qgroundcontrol-update ... qgroundcontrol: 4.0.8 -> 4.0.9	2020-07-12 07:37:29 +02:00
Ben Wolsieffer	060c1ef6a5	qgroundcontrol: 4.0.8 -> 4.0.9	2020-07-11 15:27:23 -04:00
Florian Klink	785b558e66	Merge pull request #92781 from r-ryantm/auto-update/gtkwave ... gtkwave: 3.3.104 -> 3.3.105	2020-07-11 13:57:57 +02:00
Timo Kaufmann	9aab32b51c	Merge pull request #92796 from r-ryantm/auto-update/jmol ... jmol: 14.31.0 -> 14.31.2	2020-07-09 18:43:50 +02:00
Austin Seipp	44f8640ae4	mcy: 2020.03.21 -> 2020.07.06 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-07-09 10:33:09 -05:00
R. RyanTM	46e8ec7927	jmol: 14.31.0 -> 14.31.2	2020-07-09 14:44:34 +00:00
Austin Seipp	a8e8e99458	symbiyosys: 2020.05.18 -> 2020.07.03 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-07-09 09:12:41 -05:00
Austin Seipp	63e55fae00	yosys: 2020.06.19 -> 2020.07.07 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-07-09 09:12:41 -05:00
R. RyanTM	6e3fd6892c	gtkwave: 3.3.104 -> 3.3.105	2020-07-09 10:06:28 +00:00
Jörg Thalheim	141f9ce807	cryptominisat: 5.7.1 -> 5.8.0 (#92681) ... Co-authored-by: Jörg Thalheim <joerg@thalheim.io>	2020-07-09 08:24:55 +01:00
Jörg Thalheim	223c91d032	cryptominisat: use fetchpatch	2020-07-09 08:21:21 +01:00
Jörg Thalheim	e3d703bb92	cryptominisat: fix build on darwin	2020-07-09 08:11:28 +01:00
Daniël de Kok	26d250d4b3	Merge pull request #92738 from r-ryantm/auto-update/yacas ... yacas: 1.8.0 -> 1.9.1	2020-07-09 09:02:26 +02:00
R. RyanTM	d27df249ee	yacas: 1.8.0 -> 1.9.1	2020-07-08 18:25:49 +00:00