9252 commits

Author	SHA1	Message	Date
Mario Rodas	a8512382ef	Merge pull request #301208 from marsam/update-lean4 ... lean4: 4.6.1 -> 4.7.0	2024-04-04 05:56:02 -05:00
Luz	a772d1f6c1	librepcb: 1.0.0 -> 1.1.0	2024-04-03 22:08:08 +02:00
Bruno Bzeznik	bc4802a7d6	kstars: 3.6.9 -> 3.7.0 + fixing build failure	2024-04-03 14:33:32 +02:00
Mario Rodas	9f5604780c	lean4: 4.6.1 -> 4.7.0 ... Diff: https://github.com/leanprover/lean4/compare/v4.6.1...v4.7.0 Changelog: https://github.com/leanprover/lean4/blob/v4.7.0/RELEASES.md	2024-04-03 04:20:00 +00:00
Mauricio Collares	25283f17ee	Merge pull request #300930 from collares/sage-quaternionalgebra ... sage: work around QuaternionAlgebra random test failure	2024-04-02 14:35:25 +02:00
Mauricio Collares	e9488dbea7	sage: work around QuaternionAlgebra random test failure	2024-04-02 13:31:34 +02:00
Weijia Wang	dca627c9d4	Merge pull request #300290 from NixOS/colmap-autoadd ... colmap: use pkgs.autoAddDriverRunpath	2024-04-02 00:59:06 +02:00
Jonathan Ringer	47bd04c9d8	colmap: use pkgs.autoAddDriverRunpath	2024-04-01 09:53:08 -07:00
Weijia Wang	3db4469d98	Merge pull request #276432 from r-ryantm/auto-update/surelog ... surelog: 1.80 -> 1.82	2024-04-01 01:08:27 +02:00
Weijia Wang	974165196f	Merge pull request #297595 from r-ryantm/auto-update/uhdm ... uhdm: 1.80 -> 1.82	2024-04-01 01:00:41 +02:00
Weijia Wang	498ed67c4f	Merge pull request #299968 from wegank/gurobi-bump ... gurobi, python312Packages.gurobipy: 9.5.1 -> 11.0.1	2024-03-31 23:38:36 +02:00
Naïm Favier	92514e4863	Merge branch 'master' into haskell-updates	2024-03-31 10:23:44 +02:00
Dmitry Kalinkin	c459054f7e	Merge pull request #298093 from r-ryantm/auto-update/python311Packages.snakemake-interface-executor-plugins ... python311Packages.snakemake-interface-executor-plugins: 8.2.0 -> 9.1.0	2024-03-31 00:47:45 -04:00
Dmitry Kalinkin	924bfa96b6	snakemake: 8.4.12 -> 8.10.4	2024-03-31 00:13:23 -04:00
Someone	09b490afe6	Merge pull request #300278 from jonringer/lammps-autoadd ... lammps: use pkgs.autoAddDriverRunpath	2024-03-30 22:37:51 +00:00
Weijia Wang	73f78efb56	Merge pull request #300266 from Cryolitia/labelimg ... labelImg: 1.8.3 -> 1.8.6, re-format with `nixfmt-rfc-style`	2024-03-30 21:07:46 +01:00
Weijia Wang	877bf7979c	Merge pull request #298216 from r-ryantm/auto-update/pspp ... pspp: 2.0.0 -> 2.0.1	2024-03-30 18:34:53 +01:00
Jonathan Ringer	e31bb0051f	lammps: use pkgs.autoAddDriverRunpath	2024-03-30 10:26:13 -07:00
北雁 Cryolitia	8ce3c897a6	labelImg: re-format with nixfmt-rfc-style	2024-03-31 00:33:13 +08:00
北雁 Cryolitia	c14ac40d8e	labelImg: 1.8.3 -> 1.8.6 ... Co-Authored-By: Fabian Freihube <fabian@freihube.dev>	2024-03-31 00:16:02 +08:00
Nick Cao	f1bac8775c	Merge pull request #299873 from r-ryantm/auto-update/rofi-calc ... rofi-calc: 2.2.0 -> 2.2.1	2024-03-30 10:39:27 -04:00
markuskowa	248a4a2e8b	Merge pull request #299989 from markuskowa/upd-octopus ... octopus: 13.0 -> 14.0, fix scalapack	2024-03-30 11:18:07 +01:00
github-actions[bot]	506e353092	Merge master into haskell-updates	2024-03-30 00:12:08 +00:00
Markus Kowalewski	927d6ca7e4	octopus: 13.0 -> 14.0, switch to cmake	2024-03-29 16:51:47 +01:00
Weijia Wang	f8a72ab5b0	gurobi, python312Packages.gurobipy: 9.5.1 -> 11.0.1	2024-03-29 12:12:40 +01:00
R. Ryantm	3806a82024	dafny: 4.5.0 -> 4.6.0	2024-03-29 04:54:25 +00:00
R. Ryantm	41530e7cda	rofi-calc: 2.2.0 -> 2.2.1	2024-03-29 00:26:21 +00:00
github-actions[bot]	d48c2529ec	Merge master into haskell-updates	2024-03-29 00:12:42 +00:00
Weijia Wang	87c7aabf97	Merge pull request #296812 from aaronjheng/gwyddion ... gwyddion: remove broken python support	2024-03-28 10:48:34 +01:00
Weijia Wang	fa8bea60e0	Merge pull request #298452 from wegank/gmsh-bump ... gmsh: 4.11.1 -> 4.12.2	2024-03-28 10:44:40 +01:00
github-actions[bot]	8de0afeb83	Merge master into haskell-updates	2024-03-28 00:12:55 +00:00
Weijia Wang	ee3323be61	Merge pull request #299115 from r-ryantm/auto-update/iqtree ... iqtree: 2.2.2.7 -> 2.3.1	2024-03-27 16:10:28 +01:00
Weijia Wang	0a4c9c84e8	Merge pull request #299357 from r-ryantm/auto-update/cytoscape ... cytoscape: 3.10.1 -> 3.10.2	2024-03-27 15:38:47 +01:00
Vincent Laporte	378c25fbb7	alt-ergo: 2.5.2 → 2.5.3	2024-03-27 06:30:04 +01:00
R. Ryantm	7daf08305b	cytoscape: 3.10.1 -> 3.10.2	2024-03-27 01:22:50 +00:00
github-actions[bot]	7f599f6511	Merge master into haskell-updates	2024-03-27 00:12:11 +00:00
Mauricio Collares	d3fd6364f9	Merge pull request #298957 from Feyorsh/sage-dep ... sage: fix dependencies on Darwin/Clang16	2024-03-26 19:29:01 +01:00
George Huebner	56ceb0cc7d	singular: bump texinfo from 4 to 7 ... texinfo4 fails to compile on aarch64-darwin, and singular is no longer constrained to use an older version	2024-03-26 19:26:22 +01:00
R. Ryantm	60daff4b19	iqtree: 2.2.2.7 -> 2.3.1	2024-03-26 08:23:46 +00:00
github-actions[bot]	39a71cf239	Merge master into haskell-updates	2024-03-26 00:12:22 +00:00
Pol Dellaiera	8a92d722dd	Merge pull request #298115 from r-ryantm/auto-update/messer-slim ... messer-slim: 4.1 -> 4.2	2024-03-25 11:17:49 +01:00
Pol Dellaiera	e74650c878	Merge pull request #297189 from TomaSajt/dataexplorer ... dataexplorer: make deterministic and clean up	2024-03-25 11:16:06 +01:00
github-actions[bot]	3edac3b767	Merge master into haskell-updates	2024-03-25 00:13:28 +00:00
Sandro	e03f06c40f	Merge pull request #281099 from bzizou/kstars ... kstars: 3.6.7 -> 3.6.9	2024-03-24 21:57:09 +01:00
github-actions[bot]	31a14cb69e	Merge master into haskell-updates	2024-03-24 00:14:19 +00:00
Weijia Wang	cce9af9c52	Merge pull request #294599 from r-ryantm/auto-update/R ... R: 4.3.2 -> 4.3.3	2024-03-23 22:25:28 +01:00
Weijia Wang	2b075b0a2b	gmsh: 4.11.1 -> 4.12.2	2024-03-23 22:08:06 +01:00
Nick Cao	f09276f23e	Merge pull request #298276 from r-ryantm/auto-update/eigenmath ... eigenmath: unstable-2024-03-11 -> unstable-2024-03-20	2024-03-23 11:26:05 -04:00
lassulus	3565cb9804	Merge pull request #297594 from r-ryantm/auto-update/magic-vlsi ... magic-vlsi: 8.3.464 -> 8.3.465	2024-03-23 21:22:03 +07:00
R. Ryantm	bf2bba803c	eigenmath: unstable-2024-03-11 -> unstable-2024-03-20	2024-03-23 04:36:07 +00:00