Commit Graph

8629 Commits

Author SHA1 Message Date
Samuel Ainsworth
701617bf45
Merge pull request #274699 from tmplt/feat/mujoco-3.1.0
mujoco: 3.0.1 -> 3.1.0
2023-12-17 12:14:06 -05:00
Weijia Wang
2a3d4f9afe alt-ergo: fix build on darwin 2023-12-17 16:12:48 +01:00
R. Ryantm
232b3c6fb6 jmol: 16.1.45 -> 16.1.47 2023-12-17 16:11:46 +01:00
Nick Cao
d319012df5
Merge pull request #274921 from r-ryantm/auto-update/nvc
nvc: 1.11.0 -> 1.11.1
2023-12-17 10:10:04 -05:00
Dmitry Kalinkin
d245890087
root: 6.28.10 -> 6.30.02 (#274348) 2023-12-17 05:20:40 -05:00
R. Ryantm
4af519af84 nvc: 1.11.0 -> 1.11.1 2023-12-17 07:23:15 +00:00
Viktor Sonesten
b5aa9eaa9c mujoco: 3.0.1 -> 3.1.0 2023-12-16 11:30:45 +01:00
Nick Cao
4d9f672c6c
Merge pull request #274370 from r-ryantm/auto-update/cadical
cadical: 1.9.0 -> 1.9.1
2023-12-15 10:11:20 -05:00
Dmitry Kalinkin
d4af6e420f
root: build with root7 and webgui (#272723) 2023-12-15 08:43:44 -05:00
R. Ryantm
a1e9171ca3 cadical: 1.9.0 -> 1.9.1 2023-12-15 05:27:39 +00:00
R. Ryantm
a365120b26 eigenmath: unstable-2023-12-11 -> unstable-2023-12-12 2023-12-14 13:59:07 +00:00
Dmitry Kalinkin
1a5412e140
toil: 5.7.1 -> 5.12.0 (#273274) 2023-12-12 16:04:33 -05:00
Weijia Wang
9a67c36f6d
Merge pull request #273382 from wegank/strelka-aarch64
strelka: add aarch64-linux support
2023-12-12 01:51:59 +01:00
OTABI Tomoya
bea3c001fd
Merge pull request #273485 from r-ryantm/auto-update/kalign
kalign: 3.3.5 -> 3.4.0
2023-12-12 08:56:04 +09:00
Nick Cao
7c71bd5224
Merge pull request #273629 from r-ryantm/auto-update/eigenmath
eigenmath: unstable-2023-11-17 -> unstable-2023-12-11
2023-12-11 17:57:54 -05:00
R. Ryantm
35c04706b1 eigenmath: unstable-2023-11-17 -> unstable-2023-12-11 2023-12-11 20:20:25 +00:00
Weijia Wang
b7081671e3
Merge pull request #273100 from r-ryantm/auto-update/calc
calc: 2.15.0.1 -> 2.15.0.2
2023-12-11 15:02:47 +01:00
Weijia Wang
3ce2a25e50 strelka: add aarch64-linux support 2023-12-11 13:37:17 +01:00
R. Ryantm
0cd6e601a6 kalign: 3.3.5 -> 3.4.0 2023-12-11 06:26:11 +00:00
Aaron Jheng
930b7d743f
poretools: mark as broken 2023-12-11 04:28:39 +00:00
Sergei Trofimovich
a92211886b strelka: fix build on gcc-12
Without the change build fails as:

    src/c++/lib/calibration/IndelErrorModel.hh💯33: error: 'numeric_limits' is not a member of 'std'
      100 |     double logErrorRate = -std::numeric_limits<double>::infinity();
          |                                 ^~~~~~~~~~~~~~
2023-12-10 17:44:19 +01:00
Weijia Wang
64891e361b
Merge pull request #243497 from jvanbruegge/isabelle-2023
isabelle: 2022 -> 2023
2023-12-10 14:07:23 +01:00
Weijia Wang
e87c4b32ee
Merge pull request #273265 from aaronjheng/gwyddion
gwyddion: mark as broken
2023-12-10 13:20:33 +01:00
Doron Behar
29d6c96900
Merge pull request #271142 from alyaeanyx/qalculate-4.9.0
{libqalculate, qalculate-gtk, qalculate-qt}: 4.8.1 -> 4.9.0
2023-12-10 11:11:37 +00:00
Aaron Jheng
b5b4d4e373
gwyddion: mark as broken 2023-12-10 03:32:47 +00:00
OTABI Tomoya
b9cb1d8d5f
Merge pull request #271924 from stepbrobd/z3-solver
python3Packages.z3-solver: rename from z3
2023-12-10 12:28:16 +09:00
Dmitry Kalinkin
b9c3a2f996
Merge pull request #272727 from NixOS/pr/root_6_28_10
root: 6.28.08 -> 6.28.10
2023-12-09 21:39:07 -05:00
Jan van Brügge
3e90293669 isabelle-linter: 1.2.1 -> 2023-1.0.0 2023-12-10 02:27:06 +01:00
R. Ryantm
f32aee4e1b eprover: 3.0 -> 3.0.03 2023-12-09 18:57:23 +00:00
R. Ryantm
2010a2f7e2 calc: 2.15.0.1 -> 2.15.0.2 2023-12-09 09:24:28 +00:00
Weijia Wang
195821f0e8
Merge pull request #272707 from wegank/nvc-bump
nvc: 1.10.4 -> 1.11.0
2023-12-08 16:17:57 +01:00
Connor Baker
855a7ba029 caffe: fix eval when CUDNN is not available 2023-12-07 21:02:12 +00:00
alyaeanyx
08cdc6a005 qalculate-{gtk, qt}: add meta.mainProgram 2023-12-07 20:19:52 +01:00
Dmitry Kalinkin
190cb5fc41 root: 6.28.08 -> 6.28.10 2023-12-07 12:36:03 -05:00
Weijia Wang
4598bad931 nvc: 1.10.4 -> 1.11.0 2023-12-07 16:48:30 +01:00
Yifei Sun
3d0affa9c9
python3Packages.z3-solver: rename from z3 2023-12-06 12:30:03 -05:00
Rick van Schijndel
ba75066821
Merge pull request #271362 from pbsds/rm-dead-patches
treewide: remove unreferenced patch files
2023-12-06 03:28:15 +01:00
Justin Bedő
65238bae4c
Merge pull request #272274 from r-ryantm/auto-update/last
last: 1499 -> 1518
2023-12-06 09:40:13 +11:00
Connor Baker
ec3c8084ec
Merge pull request #272063 from SomeoneSerge/fix/cuda-upkeep
cudaPackages: drop some runfile dependencies and fix a few builds
2023-12-05 14:40:13 -05:00
Weijia Wang
7a5f0e9467 clp: unbreak on aarch64-linux 2023-12-05 16:54:45 +01:00
R. Ryantm
5d669c5d95 last: 1499 -> 1518 2023-12-05 14:44:08 +00:00
markuskowa
566008762b
Merge pull request #270650 from sheepforce/quantum-espresso
quantum-espresso: 6.6 -> 7.2
2023-12-05 14:06:34 +01:00
Weijia Wang
8c59802efd
Merge pull request #272185 from wegank/cbc-clang
cbc: fix build with clang 16
2023-12-05 11:48:51 +01:00
Weijia Wang
3b03119bcf
Merge pull request #263288 from r-ryantm/auto-update/cryptominisat
cryptominisat: 5.11.14 -> 5.11.15
2023-12-05 10:46:20 +01:00
Jonas Chevalier
80d540bd31
fahclient: wrap in FHS (#271994)
Folding@home downloads arbitrary binaries that it runs and that have the
wrong loader.

Fixes https://github.com/NixOS/nixpkgs/pull/246832#issuecomment-1837625014
2023-12-05 10:04:09 +01:00
Weijia Wang
999811113f cbc: fix build with clang 16 2023-12-05 08:07:55 +01:00
Peder Bergebakken Sundt
87639758aa
Merge pull request #266961 from mayl/openems
openems: unstable-2020-02-15 -> 0.0.36
2023-12-05 02:38:30 +01:00
Larry May
d7632d8a73 csxcad: unstable-2022-05-18 -> v0.6.3 2023-12-04 16:14:13 -05:00
Someone Serge
31f1b517cd
gromacs: drop cudatoolkit.run 2023-12-04 20:24:32 +00:00
sternenseemann
8c59811e4e root5: broken with clang
Seems like any clang version > 5 doesn't work. Since root >= 6.0 is
available from nixpkgs, I think it is reasonable to mark it as broken
for now. Maybe someone can figure out if it is possible to backport a
fix from root >= 6.0.
2023-12-04 19:43:08 +01:00