10070 Commits

Author	SHA1	Message	Date
R. Ryantm	14d4e9ce7e	eigenmath: 3.27-unstable-2024-09-15 -> 3.27-unstable-2024-10-02	2024-10-08 02:02:05 +00:00
OTABI Tomoya	5d788ab3e8	jbrowse: 2.15.1 -> 2.15.4 (#344596)	2024-10-06 17:27:35 +09:00
OTABI Tomoya	7d0f265171	cryptoverif: 2.10 -> 2.11 (#345055)	2024-10-06 17:08:20 +09:00
Peder Bergebakken Sundt	ffec6dc98b	stellarium: 24.2 -> 24.3 (#343918)	2024-10-05 17:06:23 +02:00
Peder Bergebakken Sundt	1c52242827	treewide: fix desktopItems (#345778)	2024-10-05 15:51:58 +02:00
Markus Kowalewski	4d970eb37d	gpredict: patches and cleanups (#345081)	2024-10-05 15:20:46 +02:00
h7x4	64a98027b4	treewide: remove unreferenced patch files (#346477)	2024-10-05 00:09:27 +02:00
h7x4	a555e32ba9	mission-planner 1.3.80 -> 1.3.82 (#346000)	2024-10-04 22:02:27 +02:00
Peder Bergebakken Sundt	cd673393d2	treewide: remove unreferenced patch files ... Found with `fd \\.patch$ pkgs/ -x bash -c 'rg -F "{/}" pkgs/ -q || echo {}'`` We're running more and more into patches fetched via `applyPatches`, for the next PR i'll script something to account for that.	2024-10-04 19:38:56 +02:00
R. Ryantm	324b77da91	qtrvsim: 0.9.7 -> 0.9.8	2024-10-04 03:49:19 +00:00
Artturin	c4ecbb07b8	btor2tools: fix on darwin (#346045)	2024-10-04 01:54:17 +03:00
Peder Bergebakken Sundt	9db553098d	mathmod: 11.1-unstable-2024-01-26 -> 12.0, move to pkgs/by-name (#345378)	2024-10-03 19:54:10 +02:00
Noah Markert	da8c777f09	mission-planner: added updateScript	2024-10-03 09:41:43 +02:00
Noah Markert	043b564f91	mission-planner: 1.3.80 -> 1.3.82	2024-10-03 09:41:25 +02:00
Pol Dellaiera	d1d26a468c	easycrypt: 2024.01 → 2024.09 (#345928)	2024-10-03 09:27:38 +02:00
Vincent Laporte	f18c3af055	easycrypt: 2024.01 → 2024.09	2024-10-03 06:20:12 +02:00
Thomas Watson	d6011f0085	btor2tools: fix on darwin ... `-DCMAKE_BUILD_WITH_INSTALL_NAME_DIR=ON` is necessary so the executable is pointed to its shared library on Darwin. Also add an `installCheckPhase` to ensure this doesn't break in the future.	2024-10-02 21:10:11 -05:00
Oleksii Filonenko	8bcedd379d	lean4: 4.9.1 -> 4.10.0 (#343884)	2024-10-02 21:22:50 +01:00
Peder Bergebakken Sundt	c1d784a832	ezminc: unstable-2019-03-12 -> unstable-2023-10-06; unbreak (#342963)	2024-10-02 01:30:10 +02:00
h7x4	452ddd4020	inav-configurator: fix desktopItems	2024-10-01 23:06:44 +02:00
Dmitry Kalinkin	866b5e28a3	root: 6.32.04 -> 6.32.06 (#345692)	2024-10-01 13:44:47 -04:00
Damage6969	f80576f985	fahclient: 8.3.7 -> 8.3.18 (#344335)	2024-10-01 16:48:55 +02:00
Jonas Rembser	abf904bfc0	root: 6.32.04 -> 6.32.06	2024-10-01 15:43:21 +02:00
Jonas Rembser	aae672db41	root: replace deprecated --replace with --replace-fail	2024-10-01 12:11:19 +02:00
Ben Darwin	797703d712	ezminc: unstable-2019-03-12 -> unstable-2023-10-06	2024-09-30 21:02:59 -04:00
Doron Behar	546d75c16a	lammps and python312Packages.lammps related fixes (#342532)	2024-09-30 11:56:17 +03:00
Guillaume Maudoux	70c39915e3	dafny: 4.7.0 -> 4.8.0 (#340877)	2024-09-30 09:57:09 +02:00
Ulrik Strid	226757c677	alt-ergo: 2.5.4 → 2.6.0 (#344581)	2024-09-30 08:49:27 +02:00
Doron Behar	4c7de259dc	lammps: move to pkgs/by-name	2024-09-30 09:10:23 +03:00
Doron Behar	6ccf3b79a3	lammps: nixfmt-rfc-style	2024-09-30 09:10:23 +03:00
Doron Behar	b9d665c1fc	lammps: use PYTHON package by default ... Makes this warning by PyLammps go away: > WARNING: run thermo data not captured since PYTHON LAMMPS package is not enabled	2024-09-30 09:10:22 +03:00
TomaSajt	5fd94c39d4	mathmod: move to pkgs/by-name	2024-09-30 00:32:55 +02:00
OTABI Tomoya	c08b1027ca	delly: 1.2.6 -> 1.2.9 (#342311)	2024-09-29 14:21:50 +09:00
Markus Kowalewski	ea824089d6	gpredict: apply nixfmt	2024-09-28 14:09:36 +02:00
Markus Kowalewski	d036096765	gpredict: add to update TLE download URLs ... The old URLs do not work anymore	2024-09-28 14:07:44 +02:00
Markus Kowalewski	311706db9c	gpredict: switch to fetchFromGitHub	2024-09-28 14:06:58 +02:00
Markus Kowalewski	abd1b3156a	gpredict: cleanup "with lib", remove let in for attribute set	2024-09-28 13:34:00 +02:00
R. Ryantm	0f94b8ea22	cryptoverif: 2.10 -> 2.11	2024-09-28 08:58:24 +00:00
Markus Kowalewski	4fc8395633	cp2k: move to pkgs/by-name	2024-09-27 10:54:24 +02:00
Markus Kowalewski	aacd278c14	cp2k: apply nixfmt	2024-09-27 10:49:27 +02:00
Markus Kowalewski	5c2dc80629	cp2k: remove "with lib" in meta	2024-09-27 10:17:21 +02:00
Markus Kowalewski	69ade965c8	cp2k: add runHooks to configure and install phases	2024-09-27 10:00:01 +02:00
R. Ryantm	a9275e71f8	delly: 1.2.6 -> 1.2.9	2024-09-27 00:59:40 +02:00
Markus Kowalewski	4245219dcb	nwchem: runHooks in installPhase	2024-09-26 22:31:07 +02:00
Vincent Laporte	6f1d170fe6	alt-ergo: split into multiple outputs	2024-09-26 17:19:00 +02:00
R. Ryantm	1a133b175d	jbrowse: 2.15.1 -> 2.15.4	2024-09-26 07:44:23 +00:00
Vincent Laporte	8e2b735ee0	alt-ergo: 2.5.4 → 2.6.0 ... ocamlPackages.dolmen: 0.9 → 0.10	2024-09-26 07:32:38 +02:00
OTABI Tomoya	d917f5057c	messer-slim: 4.2.2 -> 4.3 (#342699)	2024-09-25 21:11:51 +09:00
Jonas Chevalier	5e04137efd	fahcontrol, fahviewer: drop (#344254)	2024-09-25 09:28:56 +02:00
OTABI Tomoya	4c4690e27b	jbrowse: 2.15.0 -> 2.15.1 (#341939)	2024-09-25 12:07:47 +09:00