7517 Commits

Author	SHA1	Message	Date
R. Ryantm	8fcdc3f62c	varscan: 2.4.5 -> 2.4.6	2023-04-05 14:55:31 +00:00
Ellie Hermaszewska	bd54a9047d	tamarin-prover: Allow compiling with maude-3.3	2023-04-05 14:39:55 +08:00
Ryan Lahfa	ce35e61c3c	Merge pull request #221099 from evils/kicad ... kicad(-unstable): bump to latest version, cleanup and fixes	2023-04-04 13:28:26 +02:00
Shamrock Lee	4e72d111e9	raspa: init at 2.0.47 and add tests	2023-04-03 20:53:23 +08:00
Weijia Wang	64a5b00d02	Merge pull request #224462 from wegank/scalp-mirror ... scalp: update mirror link	2023-04-03 14:48:41 +03:00
Weijia Wang	4ad85a5c10	scalp: update mirror link	2023-04-03 14:16:03 +03:00
Tobias Markus	eae9398010	clp: Change license to epl20	2023-04-03 12:57:50 +02:00
Weijia Wang	150dcd7ce7	Merge pull request #224345 from natsukium/blast/darwin ... blast-bin: init at 2.13.0	2023-04-03 09:59:08 +03:00
natsukium	cddb4a24ba	blast-bin: init at 2.13.0	2023-04-03 12:39:17 +09:00
Nick Cao	7613d23e78	Merge pull request #224414 from jbedo/last ... last: 1447 -> 1453	2023-04-03 09:43:13 +08:00
Justin Bedo	e739dc5088	last: 1447 -> 1453	2023-04-03 08:38:27 +10:00
Vincenzo Mantova	acb02e2fab	eukleides: move texlive dependencies to tlDeps	2023-04-02 13:00:52 +01:00
Tobias Markus	1718fc0b04	clp: 1.17.6 -> 1.17.7	2023-04-02 14:00:47 +02:00
Weijia Wang	4213fc7cde	sasview: fix build	2023-04-02 15:00:07 +03:00
Vincenzo Mantova	6b2b9a0de3	eukleides: create pkgs fixpoint for texlive using mkDerivation	2023-04-02 12:58:47 +01:00
Nicolas Benes	c59f6c75b6	openroad: unstable-2022-07-19 -> unstable-2023-03-31	2023-04-02 05:44:19 +02:00
natsukium	5ac95120d5	pymol: remove broken mark for darwin ... The bug has been resolved by changing the backend to Qt in this commit, ab3f0771a4.	2023-04-01 20:41:01 +09:00
Michal Sojka	b1cb42d3b7	cppzmq: make zeromq propagatedBuildInput ... cppzmq is a header-only library. As such, it is not much useful without zeromq, whose headers it includes. By having zeromq in propagatedBuildInputs, we can simplify dependent expressions. This change is motivated by https://github.com/lopsided98/nix-ros-overlay/issues/255#issuecomment-1487590226. The expressions in nix-ros-overlay are automatically generated and since packages in other distributions where ROS runs need not to explicitly depend on zeromq, the Nix expression should behave the same. This way, nix-ros-overlay will not to have manually patch/overlay the automatically generated expressions.	2023-03-31 18:58:56 +02:00
Evils	23849267ee	kicad-unstable: fix ngspice tests	2023-03-30 18:53:53 +02:00
MarcFontaine	2cfc128ca3	nanovna-saver: 0.5.4 -> 0.6.0	2023-03-30 10:58:55 +02:00
Evils	4f0de9463a	kicad-unstable: 2023-02-14 -> 2023-03-29 ... includes a fix for upstream issue 14346 (attempting to installing pcbnew.py outside of $out)	2023-03-30 09:22:08 +02:00
Nick Cao	2f73fede2a	calcmysky: unstable-2023-02-11 -> 0.3.0 ... Diff: c5f2814528...v0.3.0	2023-03-29 19:29:46 +08:00
Weijia Wang	626401c783	Merge pull request #220832 from wegank/glucose-bump ... glucose: 4.1 -> 4.2.1	2023-03-29 09:13:21 +03:00
Weijia Wang	396b3b7271	Merge pull request #223075 from r-ryantm/auto-update/ginac ... ginac: 1.8.5 -> 1.8.6	2023-03-29 00:27:26 +03:00
Mauricio Collares	a4f8bf2248	Merge pull request #223497 from r-ryantm/auto-update/primecount ... primecount: 7.6 -> 7.7	2023-03-28 20:28:02 +02:00
Evils	7f3a08710a	kicad: add requests runtime dependency ... required for some of the plugins	2023-03-28 18:57:29 +02:00
Evils	d8020e1e17	kicad: remove withOCC and more cmakeFlags cleanup ... OCC is no longer optional RPATH apparently no longer contains references to /build/ KICAD_SCRIPTING_WXPYTHON is ON by default sort some of the options a bit and remove stray lndir	2023-03-28 18:57:29 +02:00
Evils	788df5456b	kicad: 7.0.0 -> 7.0.1 ... remove now integrated patches	2023-03-28 18:57:29 +02:00
Weijia Wang	eac1ecb55a	Merge pull request #222531 from r-ryantm/auto-update/sumo ... sumo: 1.15.0 -> 1.16.0	2023-03-28 16:47:07 +03:00
Nick Cao	98f3b08f58	Merge pull request #223453 from kilianar/stellarium-23.1 ... stellarium: 1.2 -> 23.1	2023-03-28 18:29:13 +08:00
Ali Caglayan	8fe1ea496b	coq: 8.16.1 -> 8.17.0 ... Signed-off-by: Ali Caglayan <alizter@gmail.com>	2023-03-28 08:13:12 +02:00
R. Ryantm	3b3cc65701	primecount: 7.6 -> 7.7	2023-03-28 04:37:03 +00:00
kilianar	d19f5dedec	stellarium: 1.2 -> 23.1 ... https://github.com/Stellarium/stellarium/releases/tag/v23.1 Mitigates https://github.com/advisories/GHSA-7vmm-m8vp-g5h3	2023-03-28 00:22:36 +02:00
kilianar	733e7c52c2	calcmysky: 0.2.1 -> unstable-203-02-11	2023-03-28 00:03:32 +02:00
Weijia Wang	c9d051b17d	Merge pull request #222979 from r-ryantm/auto-update/cvc5 ... cvc5: 1.0.4 -> 1.0.5	2023-03-27 09:36:32 +03:00
Sandro	c2ef479b62	Merge pull request #168773 from Leixb/megam-add-opt	2023-03-27 00:59:44 +02:00
Justin Bedő	c39e3d9b74	Merge pull request #221546 from NixOS/r-updates ... R: 4.2.2 -> 4.2.3	2023-03-26 21:40:30 +00:00
github-actions[bot]	07fb9cae4e	Merge master into staging-next	2023-03-26 00:02:45 +00:00
Artturi	b213126ec0	Merge pull request #222766 from Artturin/fix-different-store	2023-03-25 22:17:07 +02:00
R. Ryantm	2cb2ee9630	ginac: 1.8.5 -> 1.8.6	2023-03-25 14:10:42 +00:00
R. Ryantm	bb270775f2	cvc5: 1.0.4 -> 1.0.5	2023-03-25 01:00:12 +00:00
github-actions[bot]	cead7e3e73	Merge master into staging-next	2023-03-25 00:02:20 +00:00
Weijia Wang	2ce97f2bf9	Merge pull request #222464 from r-ryantm/auto-update/diamond ... diamond: 2.1.5 -> 2.1.6	2023-03-24 20:56:17 +02:00
Artturin	780669daf5	treewide: don't hardcode /nix/store (no rebuilds changes) ... improve experience for other store locations	2023-03-24 20:11:33 +02:00
github-actions[bot]	adec6862c5	Merge master into staging-next	2023-03-24 18:01:06 +00:00
LeixB	d443805fe3	megam: add leixb as maintainer	2023-03-24 18:52:48 +01:00
LeixB	d85fae35d9	megam: add megam.opt binary ... - Add megam.opt (optimized native binary)	2023-03-24 18:52:14 +01:00
Vladimír Čunát	1f1c1739d7	Merge #222442: R: override test for curl version ... ...into staging-next	2023-03-23 11:07:36 +01:00
R. Ryantm	d2bf9653de	gretl: 2022c -> 2023a	2023-03-23 06:03:08 +00:00
github-actions[bot]	85f7b5276e	Merge master into staging-next	2023-03-22 18:01:11 +00:00
Luflosi	ddb714f68d	yices: fix typo in comment	2023-03-22 16:08:09 +01:00
Weijia Wang	120a484726	Merge pull request #220001 from wegank/isabelle-arm ... isabelle: add aarch64-linux support	2023-03-22 16:15:34 +02:00
R. Ryantm	91c2c00aad	sumo: 1.15.0 -> 1.16.0	2023-03-22 12:07:12 +00:00
github-actions[bot]	0537539006	Merge master into staging-next	2023-03-22 12:01:22 +00:00
Nick Cao	6c4095e7af	Merge pull request #222331 from r-ryantm/auto-update/seqkit ... seqkit: 2.3.1 -> 2.4.0	2023-03-22 16:08:39 +08:00
R. Ryantm	4c2324cf14	diamond: 2.1.5 -> 2.1.6	2023-03-22 03:09:40 +00:00
MaxHearnden	bfbc0f56e5	override test for curl version	2023-03-21 22:50:14 +00:00
Vincent Laporte	48774c43cd	acgtk: use Dune 3	2023-03-21 13:05:53 +01:00
R. Ryantm	a6f33bd62f	seqkit: 2.3.1 -> 2.4.0	2023-03-21 10:45:22 +00:00
github-actions[bot]	bb48723d63	Merge master into staging-next	2023-03-21 00:02:39 +00:00
Vincent Laporte	e12230e716	why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986) ... why3: 1.5.1 → 1.6.0 ocamlPackages.lambdapi: 2.2.1 → 2.3.1 Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com>	2023-03-20 20:45:47 +01:00
Martin Weinelt	9959ec97f8	Merge remote-tracking branch 'origin/master' into staging-next ... Conflicts: - pkgs/development/python-modules/wxPython/4.0.nix - pkgs/development/python-modules/wxPython/4.1.nix	2023-03-20 15:07:36 +01:00
Weijia Wang	802b7ac3e7	Merge pull request #221743 from r-ryantm/auto-update/gatk ... gatk: 4.3.0.0 -> 4.4.0.0	2023-03-20 14:33:37 +02:00
github-actions[bot]	96f7385465	Merge master into staging-next	2023-03-20 00:02:29 +00:00
Mauricio Collares	bd3de7859d	Merge pull request #221718 from wegank/sage-fix ... sage: add libpng to sagelib, import package update patches	2023-03-19 19:31:02 +01:00
github-actions[bot]	84c97a9e91	Merge master into staging-next	2023-03-19 18:00:59 +00:00
Weijia Wang	2572ddc706	Merge pull request #221977 from wegank/mavproxy-wx ... mavproxy: migrate to wxPython_4_2	2023-03-19 20:00:39 +02:00
Weijia Wang	a1e27cf0e9	sage: add libpng to sagelib	2023-03-19 19:33:36 +02:00
Mauricio Collares	c13d98c7bf	sage: import python package upgrade fixes	2023-03-19 19:32:56 +02:00
natsukium	21affa5ff1	trf: init at 4.09.1	2023-03-19 22:25:42 +09:00
Weijia Wang	4fe9738427	mavproxy: migrate to wxPython_4_2	2023-03-19 10:29:51 +02:00
github-actions[bot]	c70342c89c	Merge master into staging-next	2023-03-19 00:02:27 +00:00
Weijia Wang	7574e25ef3	Merge pull request #221864 from natsukium/mafft/update ... mafft: 7.508 -> 7.515	2023-03-19 00:03:19 +02:00
Weijia Wang	8da8071e37	glucose: 4.1 -> 4.2.1	2023-03-18 22:17:16 +02:00
github-actions[bot]	403b148aa5	Merge master into staging-next	2023-03-18 18:01:02 +00:00
Weijia Wang	0ddc01c569	glucose: refactor	2023-03-18 19:00:45 +02:00
natsukium	f3b75ef3ce	mafft: 7.508 -> 7.515	2023-03-19 00:42:29 +09:00
Weijia Wang	f15cf7e6af	Merge pull request #221809 from wegank/nest-bump ... nest: 3.3 -> 3.4	2023-03-18 17:17:18 +02:00
github-actions[bot]	a912b83051	Merge master into staging-next	2023-03-18 12:01:30 +00:00
Weijia Wang	b45fe715d9	Merge pull request #217922 from r-ryantm/auto-update/openboardview ... openboardview: 9.0.3 -> 9.95.0	2023-03-18 13:00:52 +02:00
Fabian Affolter	109f8ccdfe	nest: specify license	2023-03-18 11:23:52 +01:00
Fabian Affolter	c7ec291235	nest: add changelog to meta	2023-03-18 11:23:06 +01:00
Weijia Wang	ea847dd1a0	nest: 3.3 -> 3.4	2023-03-18 12:13:46 +02:00
R. Ryantm	0d44f838ca	gatk: 4.3.0.0 -> 4.4.0.0	2023-03-18 01:10:14 +00:00
K900	a5a292c7a8	treewide: clear out remaining qt5 conditionals	2023-03-18 02:10:20 +03:00
github-actions[bot]	d761f69867	Merge master into staging-next	2023-03-17 17:57:00 +00:00
Markus Kowalewski	545b5d04f4	openmolcas: 22.10 -> 23.02	2023-03-17 13:33:41 +01:00
github-actions[bot]	2394986204	Merge master into staging-next	2023-03-17 12:01:17 +00:00
Weijia Wang	9c8a92bcde	Merge pull request #205310 from r-ryantm/auto-update/sumo ... sumo: 1.9.2 -> 1.15.0	2023-03-17 12:56:48 +02:00
github-actions[bot]	f5629a4518	Merge master into staging-next	2023-03-17 06:01:16 +00:00
Weijia Wang	854414836c	Merge pull request #221529 from wegank/qalculate-qt-darwin ... qalculate-qt: add darwin support	2023-03-17 07:47:56 +02:00
Justin Bedő	bf32c70253	Merge pull request #221559 from r-ryantm/auto-update/subread ... subread: 2.0.3 -> 2.0.4	2023-03-17 01:57:57 +00:00
github-actions[bot]	6746017444	Merge master into staging-next	2023-03-17 00:02:33 +00:00
R. Ryantm	2a35b86739	subread: 2.0.3 -> 2.0.4	2023-03-16 23:09:44 +00:00
markuskowa	0fea9287f4	Merge pull request #221301 from sheepforce/plumed ... plumed: init at 2.8.2	2023-03-16 20:43:54 +01:00
Weijia Wang	5c214fb163	qalculate-qt: add darwin support	2023-03-16 21:31:51 +02:00
github-actions[bot]	455127ad5e	Merge master into staging-next	2023-03-16 18:01:20 +00:00
Weijia Wang	183c970c9a	Merge pull request #221403 from r-ryantm/auto-update/gama ... gama: 2.23 -> 2.24	2023-03-16 18:03:12 +02:00
Weijia Wang	de6210e074	Merge pull request #217539 from GenericNerdyUsername/horizon-occ ... horizon-eda: switch from OCE to OCC	2023-03-16 17:20:47 +02:00
Bernardo Meurer	6e55733359	Merge pull request #219747 from Stunkymonkey/deprecate-isNull	2023-03-16 11:10:22 -03:00