Commit Graph

6996 Commits

Author SHA1 Message Date
Nick Cao
443560c831
fritzing: fix build 2022-12-31 19:33:39 +08:00
R. Ryantm
c45eae4334 workcraft: 3.3.8 -> 3.3.9 2022-12-30 23:45:14 +08:00
Théo Zimmermann
387cd36d7d
Merge pull request #207995 from Artturin/fixtypocoq
coqPackages.coq: fix typo
2022-12-27 20:04:32 +01:00
Artturin
685bf1f690 coqPackages.coq: fix typo
introduced in d1136611
2022-12-27 20:44:32 +02:00
Mauricio Collares
b25ad6c153
Merge pull request #207933 from r-ryantm/auto-update/polymake
polymake: 4.7 -> 4.8
2022-12-27 12:51:37 -03:00
Fabian Affolter
fc4b36771b
polymake: add changelog to meta 2022-12-27 10:20:07 +01:00
R. Ryantm
ec36ffd7cc polymake: 4.7 -> 4.8 2022-12-27 08:48:16 +00:00
Ben Darwin
9c748218f2 itk: unstable -> 5.3.0 2022-12-27 09:06:37 +01:00
figsoda
c78ad3c4fa
Merge pull request #207744 from figsoda/nix-update-script
treewide: remove attrPath from nix-update-script calls
2022-12-26 19:00:46 -05:00
Mauricio Collares
a8fa345c5e lean: 3.50.2 -> 3.50.3 2022-12-26 19:05:40 -03:00
Mauricio Collares
72ea4253a1 lean: 3.50.1 -> 3.50.2 2022-12-26 19:03:40 -03:00
figsoda
a211d94291 treewide: remove attrPath from nix-update-script calls
after https://github.com/Mic92/nix-update/pull/120 and https://github.com/NixOS/nixpkgs/pull/207703, `attrPath` can now be omitted when using `nix-update-script`
2022-12-26 12:39:21 -05:00
kilianar
00f3a18c70 stellarium: 1.1 -> 1.2
https://github.com/Stellarium/stellarium/releases/tag/v1.2
2022-12-26 17:16:12 +01:00
Pavol Rusnak
e2dfc9a72d
vhd2vl: unstable-2018-09-01 -> unstable-2022-12-26 2022-12-26 14:11:23 +01:00
Pavol Rusnak
e941262b0f
verilog: bump tests, enable tests on darwin 2022-12-26 13:47:28 +01:00
Matt Melling
475e7fa802 pulseview: fix build 2022-12-26 09:55:25 +01:00
Doron Behar
b5f421490b
Merge pull request #207087 from doronbehar/pkg/mathematica.src
Mathematica: Allow overriding src directly.
2022-12-25 19:13:12 +02:00
Guanpeng Xu
34cd4905d1 mathematica: use installer name to decide if it contains local docs 2022-12-25 23:29:09 +08:00
Guanpeng Xu
ca595aca5b mathematica: 13.1.0 -> 13.2.0 2022-12-25 22:54:19 +08:00
maralorn
9fa43f69e1 Merge branch 'master' into haskell-updates 2022-12-24 18:31:46 +01:00
Thiago Kenji Okada
17bd7bf0bf
Merge pull request #207516 from r-ryantm/auto-update/streamlit
streamlit: 1.15.0 -> 1.16.0
2022-12-24 11:56:00 +00:00
Dennis Gosnell
ac92ac9908
petrinizer: mark as broken because sbv no longer builds 2022-12-24 16:05:31 +09:00
R. Ryantm
260d40e72e streamlit: 1.15.0 -> 1.16.0 2022-12-24 04:53:42 +00:00
Sandro
b20fb264cc
Merge pull request #197575 from thyol/sratoolkit-init 2022-12-24 02:58:47 +01:00
7c6f434c
7fd752872e
Merge pull request #206769 from collares/gap-4.12.2
gap: 4.12.1 -> 4.12.2
2022-12-22 18:27:13 +00:00
Mauricio Collares
689ff65cde lean: 3.50.0 -> 3.50.1 2022-12-22 13:07:21 -03:00
Doron Behar
914b07da7d Mathematica: Allow overriding src directly. 2022-12-21 12:46:13 +02:00
Evils
2c2f1519b5 kicad: 6.0.9 -> 6.0.10 2022-12-20 15:16:38 +01:00
Evils
8a6772fee6 kicad: bunch of cleanup
add patch to ensure writability of created projects
  (upstream issue 12941)

disable the qa_eeschema test as it fails to find the ngspice lib
  which allows re-enabling tests as a whole on unstable
  there is a patch for this, but it still fails with something else...
  (upstream issue 12491)
  and remove ngspice workaround that doesn't work anymore

set meta.mainProgram
  since for kicad-unstable, the binary isn't called kicad-unstable
2022-12-20 15:14:31 +01:00
Evils
1c3de7e308 kicad-unstable: 2022-09-18 -> 2022-12-19
includes a fix for parallel builds sometimes failing

disables test
  reenabled in next commit which works around the specific failure
2022-12-20 15:14:31 +01:00
Doron Behar
7328cd1015
Merge pull request #206903 from alyaeanyx/qalculate-4.5.0
{libqalculate, qalculate-gtk, qalculate-qt}: 4.4.0 -> 4.5.0
2022-12-20 09:54:13 +02:00
Anderson Torres
5eb3cbe103
Merge pull request #194276 from corngood/dotnet-misc
dotnet: improve rid handling
2022-12-19 18:35:14 -03:00
Justin Bedő
fcae6a2656
Merge pull request #206157 from NixOS/r-updates
R,rPackages: R 4.2.1 -> 4.2.2
2022-12-19 21:25:09 +00:00
David McFarland
13861970f4 treewide: update all dotnet lockfiles 2022-12-19 15:36:25 -04:00
alyaeanyx
2c1e43dd75 {libqalculate, qalculate-gtk, qalculate-qt}: 4.4.0 -> 4.5.0 2022-12-19 20:05:32 +01:00
Mauricio Collares
2f39745cc4 gap: 4.12.1 -> 4.12.2 2022-12-18 17:16:50 -03:00
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
Mauricio Collares
4e4d962445 lean: 3.49.1 -> 3.50.0 2022-12-15 09:46:06 -03:00
Mauricio Collares
1ea8eab31e lean: 3.49.0 -> 3.49.1 2022-12-15 09:46:01 -03: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
Justin Bedo
4d394bfb48
R: 4.2.1 -> 4.2.2 2022-12-14 15:52:24 +11: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
github-actions[bot]
1ac9e3255b
Merge staging-next into staging 2022-12-03 06:02:18 +00:00
Weijia Wang
eac8b51565
flopoco: init at 4.1.3 (#200459)
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2022-12-03 05:26:22 +01:00
John Shaffer
9d8767be46 xcircuit: 3.10.12 -> 3.10.37, maintain 2022-12-02 21:57:29 -06:00
Weijia Wang
07cd65bea2 treewide: drop wxGTK30-gtk2 2022-12-03 03:28:32 +01:00
Martin Weinelt
e3da5a807b Merge remote-tracking branch 'origin/staging-next' into staging 2022-12-03 01:28:01 +01:00
Sandro
e461e83aa7
Merge pull request #191966 from jvanbruegge/isabelle-2022 2022-12-03 00:45:47 +01:00
Pavol Rusnak
85f5d65b7e
Merge pull request #204149 from wegank/viennarna-bump
ViennaRNA: 2.4.18 -> 2.5.1, unbreak on aarch64-darwin
2022-12-03 00:23:09 +01:00
Vincent Laporte
188b935b6d alt-ergo: fix version string 2022-12-03 00:00:05 +01:00
Weijia Wang
df1810c6e8 ViennaRNA: 2.4.18 -> 2.5.1 2022-12-02 18:20:04 +01:00
R. RyanTM
132e60b840
calc: 2.14.1.0 -> 2.14.1.2
Also fixed GitHub source url.
2022-12-02 18:02:05 +08:00
github-actions[bot]
c14692be87
Merge staging-next into staging 2022-11-30 18:01:46 +00:00