Valentin Gagarin
f782da699e
Merge pull request #206646 from figsoda/typos
2022-12-18 18:27:57 +01:00
Robert Scott
2d9b5f9e04
Merge pull request #206302 from r-ryantm/auto-update/cvc5
...
cvc5: 1.0.2 -> 1.0.3
2022-12-18 14:57:22 +00:00
Dmitry Kalinkin
199975755e
Merge pull request #205394 from ShamrockLee/root-update
...
undefined
2022-12-17 19:58:37 -05:00
figsoda
ec8cb34358
treewide: fix typos
2022-12-17 19:39:44 -05:00
Dmitry Kalinkin
49d5867732
root: move nlohmann_json to propagatedBuildInputs
2022-12-17 17:57:37 -05:00
github-actions[bot]
05ca3d8285
Merge master into staging-next
2022-12-17 06:01:30 +00:00
Jason Miller
8392158289
cudaPackages: add cudaFlags ( #205351 )
...
* cudaPackages: add cudaFlags
* cudaNames -> cudaMicroarchitectureNames
* update documentation, remove config for static library removal
* doc link added to flags
* fix whitespace in assignment
2022-12-16 22:00:36 -08:00
Vladimír Čunát
e6cd929c5e
Merge branch 'master' into staging-next
2022-12-16 11:09:31 +01:00
Sandro
2af5bbd2d4
Merge pull request #205900 from pmiddend/crystfel-fix-patch
...
crystfel: fix symlib hard-coding
2022-12-16 10:30:24 +01:00
Sandro
ddc265fa1e
Merge pull request #204270 from Luflosi/update/boinc
2022-12-16 02:08:16 +01:00
Sandro
89fb5a5252
Merge pull request #203304 from panicgh/dataexplorer-373
2022-12-16 02:05:45 +01:00
github-actions[bot]
b9ac6ee4d9
Merge master into staging-next
2022-12-16 00:02:17 +00:00
R. Ryantm
cdc2972120
cvc5: 1.0.2 -> 1.0.3
2022-12-15 20:56:58 +00:00
Artturin
05a2dfd674
lib.replaceChars: warn about being a deprecated alias
...
replaceStrings has been in nix since 2015(nix 1.10)
so it is safe to remove the fallback
d6d5885c15
2022-12-15 22:25:51 +02:00
Nicolas Benes
4cbba917e0
dataexplorer: 3.6.2 -> 3.7.3
...
In v3.7.1, the `file.encoding=UTF-8` setting has been moved into the
application itself. It is not needed any more to pass it via the `java`
command line.
The program builds incorrectly for non-x86_64-linux platforms, although
they should be supported. Until the issue is understood and can be
fixed, declare support for only the x86_64-linux platform.
2022-12-15 13:23:30 +01:00
github-actions[bot]
747e072692
Merge master into staging-next
2022-12-14 06:01:05 +00:00
Robert Scott
bef7b51a7f
Merge pull request #205581 from mimame/weka/3.9.2-3.9.6
...
weka: 3.9.2 -> 3.9.6
2022-12-14 00:13:33 +00:00
github-actions[bot]
1e7dd98694
Merge master into staging-next
2022-12-14 00:02:18 +00:00
Rick van Schijndel
9833d56c24
treewide: mark packages broken that never built on PLATFORM
...
Done with the help of https://github.com/Mindavi/nixpkgs-mark-broken
Tool is still WIP but this is one of the first results.
I manually audited the results and removed some results that were not valid.
Note that some of these packages maybe should have more constrained platforms set
instead of broken set, but I think not being perfectly correct is better than
just keep trying to build all these things and never succeeding.
Some observations:
- Some darwin builds require XCode tools
- aarch64-linux builds sometimes suffer from using gcc9
- gcc9 is getting older and misses some new libraries/features
- Sometimes tools try to do system detection or expect some explicit settings for
platforms that are not x86_64-linux
2022-12-13 21:40:12 +01:00
Luflosi
06137551e6
boinc: 7.20.2 -> 7.20.5
...
https://github.com/BOINC/boinc/releases/tag/client_release%2F7.20%2F7.20.5
Also simplify the code a bit by using `lib.versions.majorMinor` as suggested by @SuperSandro2000.
2022-12-13 18:50:42 +01:00
Philipp Middendorf
051fa1056d
crystfel: fix symlib hard-coding
2022-12-13 11:56:15 +01:00
Miguel Madrid-Mencía
1f0f9ada86
weka: 3.9.2 -> 3.9.6
2022-12-11 18:37:06 -06:00
github-actions[bot]
99d681c4e7
Merge master into staging-next
2022-12-11 18:01:21 +00:00
Mauricio Collares
99fed31f9d
Merge pull request #205547 from r-ryantm/auto-update/primecount
...
primecount: 7.4 -> 7.6
2022-12-11 12:33:23 -03:00
Shamrock Lee
e23f5f4f92
root: 6.26.8 -> 6.26.10
2022-12-11 18:00:34 +08:00
Shamrock Lee
f2fcf446d0
root: add xrootd support and workaround the xrootd runpath bug
2022-12-11 18:00:32 +08:00
Shamrock Lee
53f8736f10
root: adjust format
2022-12-11 17:45:55 +08:00
Fabian Affolter
ddb2541b8a
primecount: add changelog to meta
2022-12-11 01:14:49 +01:00
Fabian Affolter
6deae326bf
primesieve: add changelog to meta
2022-12-10 23:44:00 +01:00
R. Ryantm
016aaa261d
primesieve: 8.0 -> 11.0
2022-12-10 20:15:07 +00:00
R. Ryantm
d5490032d8
primecount: 7.4 -> 7.6
2022-12-10 20:04:53 +00:00
github-actions[bot]
48b3a17dea
Merge master into staging-next
2022-12-09 12:01:30 +00:00
Vladimír Čunát
9c497bb8d6
Merge branch 'staging-next' into staging
2022-12-09 10:27:46 +01:00
Sandro
89c4ef4384
Merge pull request #204832 from Luflosi/update/yosys
2022-12-09 10:27:31 +01:00
Sandro
d1f210df8a
Merge pull request #199078 from gdinh/add-timeloop
...
timeloop: init at unstable-2022-10-28 and accelergy: init at unstable-2022-05-03
2022-12-09 09:13:02 +01:00
Grace Dinh
8a23ce4e69
timeloop: init at unstable-2022-11-29
2022-12-08 12:41:22 -08:00
Weijia Wang
fa19b16e93
ecopcr: 0.8.0 -> 1.0.1
2022-12-08 04:35:53 +01:00
Artturi
850fb23aa8
Merge pull request #204214 from wegank/wxgtk30-gtk2-drop
...
treewide: drop wxGTK30-gtk2
2022-12-06 23:28:43 +02:00
Sandro
84c17bc98f
Merge pull request #204330 from jvanbruegge/isabelle-fix-components
2022-12-06 20:46:39 +01:00
Jan van Brügge
698c7342b7
isabelle: fix build on MacOS
2022-12-06 18:05:26 +00:00
Luflosi
f48ce9295e
abc-verifier: unstable-2022-09-08 -> unstable-2022-11-09
2022-12-06 18:58:31 +01:00
Fabian Affolter
7d3c53e6d1
snakemake: rename GitPython
2022-12-05 21:53:53 +01:00
Fabian Affolter
49dc2b7042
streamlit: rename GitPython
2022-12-05 21:53:11 +01:00
Martin Weinelt
9256404e6b
Merge remote-tracking branch 'origin/staging-next' into staging
2022-12-05 13:22:34 +01:00
Vincent Laporte
221b44a071
coq: 8.16.0 → 8.16.1
2022-12-05 09:22:59 +01:00
Martin Weinelt
2c56dc4832
Merge remote-tracking branch 'origin/staging-next' into staging
2022-12-04 22:07:03 +01:00
Nikolay Korotkiy
3332040606
Merge pull request #203029 from sikmir/geogebra
...
geogebra: 5-0-723-0 → 5-0-745-0, geogebra6: 6-0-723-0 → 6-0-745-0
2022-12-04 17:31:30 +04:00
Nikolay Korotkiy
88ae5d0825
Merge pull request #202805 from r-ryantm/auto-update/cbmc
...
cbmc: 5.70.0 -> 5.71.0
2022-12-03 23:51:24 +04:00
Jan van Brügge
26c369214e
isabelle: use prebuilt z3
...
Isabelle requires this specific version of z3 which is being removed
from nixpkgs due to requiring python2 for its build. We can work around
this by patching the distributed binary
2022-12-03 18:34:13 +00:00
Jan van Brügge
d5299641bb
isabelle: make withComponents function use finalAttrs
...
Before this change
```
(isabelle.overrideAttrs (
/* whatever */
)).withComponents (/* whatever */)
```
would ignore the `overrideAttrs` and use the normal `isabelle`
derivation instead. This commit fixes this
2022-12-03 16:40:53 +00:00
