a-n-n-a-l-e-e
|
76422a767b
|
Merge pull request #301704 from a-n-n-a-l-e-e/throw-unsupported-src
treewide: throw on unsupported system src access
|
2024-04-05 14:20:30 -07:00 |
|
Weijia Wang
|
3062a27318
|
Merge pull request #301348 from symphorien/update_bitwuzla
bitwuzla: unstable-2022-10-03 -> 0.4.0
|
2024-04-05 18:50:28 +02:00 |
|
Aleksana
|
e545d8d16a
|
Merge pull request #300817 from quentinmit/kicad-license
kicad: fix license
|
2024-04-05 12:33:03 +08:00 |
|
annalee
|
0d7dc0efc5
|
treewide: throw on unsupported system src access
|
2024-04-05 02:30:42 +00:00 |
|
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 |
|
Guillaume Girol
|
5847c4078d
|
bitwuzla: test on aarch64-linux
|
2024-04-03 12:00:00 +00:00 |
|
Guillaume Girol
|
71096455f0
|
bitwuzla: fix on aarch64-linux
|
2024-04-03 12:00:00 +00:00 |
|
Guillaume Girol
|
4c932f9688
|
bitwuzla: fix build with doCheck = false
|
2024-04-03 12:00:00 +00:00 |
|
Guillaume Girol
|
75e6297d10
|
cryptominisat: fix static build
|
2024-04-03 12:00:00 +00:00 |
|
Guillaume Girol
|
67dc7cc993
|
cadical: fix static build
|
2024-04-03 12:00:00 +00:00 |
|
Guillaume Girol
|
457090959e
|
bitwuzla: unstable-2022-10-03 -> 0.4.0
lingeling, picosat and minisat are no longer dependencies
|
2024-04-03 12:00:00 +00:00 |
|
Guillaume Girol
|
5ff10ee902
|
symfpu: install headers in $out/include, add a pkg-config file
bitwuzla switched to meson, and I found no other way to have meson find
symfpu
|
2024-04-03 12:00:00 +00:00 |
|
Guillaume Girol
|
5a610c5f8d
|
cadical: add pkg-config file
bitwuzla switched to meson, and I was not able to tell meson how to tell
where cadical is located without a pkg-config file
|
2024-04-03 12:00:00 +00: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 |
|
Quentin Smith
|
31de231f82
|
kicad: fix license
KiCad has been under the GPL (not AGPL) since 6.0.0.
4ef02fd699
https://www.kicad.org/about/licenses/
|
2024-04-01 20:14:10 -04: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 |
|