Commit Graph

13218 Commits

Author SHA1 Message Date
sternenseemann
a110f08f12 ocamlPackages.extlib: rename from ocaml_extlib
This matches the name used in dune and on OPAM.
2022-11-16 14:30:37 +01:00
Jörg Thalheim
7766847a69
Merge pull request #201428 from aaronjheng/zhf/copper
copper: mark as broken
2022-11-16 09:37:30 +01:00
Luflosi
a6151294db yosys: 0.22 -> 0.23
https://github.com/YosysHQ/yosys/releases/tag/yosys-0.23
The protobuf backend was removed in https://github.com/YosysHQ/yosys/pull/3508.
2022-11-16 01:35:08 -06:00
Aaron Jheng
58419cf37c
copper: mark as broken 2022-11-16 02:38:00 +00:00
Anderson Torres
be2bc696fa
Merge pull request #201335 from atorres1985-contrib/misc-updates
jwasm: 2.15 -> 2.16
2022-11-15 17:21:51 -03:00
AndersonTorres
c371787587 jwasm: 2.15 -> 2.16 2022-11-15 11:16:20 -03:00
Anderson Torres
9347608e56
Merge pull request #201121 from atorres1985-contrib/misc-updates
Misc updates
2022-11-15 10:59:44 -03:00
AndersonTorres
3a856243be jwasm: add changelog page
Also, use the new overlay-style overridable attributes.
2022-11-15 10:18:10 -03:00
AndersonTorres
3931b0b6cf asl: 142-bld211 -> 142-bld232 2022-11-15 10:06:44 -03:00
Martin Weinelt
8872cf637e
Merge pull request #200394 from wegank/neko-aarch64-darwin
Closes https://github.com/NixOS/nixpkgs/issues/159120
2022-11-14 22:58:38 +01:00
Weijia Wang
3f50d33747 neko: fix build on aarch64-darwin 2022-11-14 22:56:41 +01:00
Jörg Thalheim
890d0576c5 cross/mingw: make threading library configureable 2022-11-14 12:50:04 +01:00
John Ericson
cd27a5b436
Merge pull request #82131 from Ericson2314/bsd-cross
FreeBSD packages: Init at 13.1
2022-11-13 21:35:17 -05:00
zowoq
355ad731e4 go_1_17: remove
1.17 has been EOL since the release of 1.19
2022-11-13 09:02:22 +10:00
Marek Fajkus
b293c4ec44
elmPackages: update to nodejs 14 2022-11-12 12:35:30 +01:00
Mario Rodas
1fc30a13da
Merge pull request #200659 from ligolang/ligo--0_55
ligo: 0.54.1 -> 0.55.0
2022-11-11 20:56:28 -05:00
Ulrik Strid
9a392408f8 ligo: 0.54.1 -> 0.55.0 2022-11-11 09:21:05 +01:00
sternenseemann
5c044644a6 Merge remote-tracking branch 'origin/master' into haskell-updates 2022-11-10 13:56:56 +01:00
github-actions[bot]
3ff06869dc
Merge master into haskell-updates 2022-11-10 00:16:25 +00:00
github-actions[bot]
020ea91183
Merge master into staging-next 2022-11-10 00:02:27 +00:00
sternenseemann
3d361be06a haskell.packages.ghc94: revert to 9.4.2
Due to https://gitlab.haskell.org/ghc/ghc/-/issues/22425, we'll
tentatively stay with 9.4.2 for now. 9.4.3 is available explicitly
via haskell.packagse.ghc943 if you need it (e.g. on aarch64).
2022-11-09 23:44:01 +01:00
Martin Weinelt
f0265e0877
Merge pull request #200151 from NickCao/julia 2022-11-09 23:01:52 +01:00
Someone Serge
27f703b1f8
cudaPackages_11_8: fix missing manifest
...fixes missing attributes, like cudaPackages_11_8.libcublas
2022-11-09 21:56:00 +02:00
github-actions[bot]
d99020653d
Merge master into staging-next 2022-11-09 18:01:11 +00:00
Pavol Rusnak
bdda1c3153
Merge pull request #200363 from prusnak/dotnet-6
dotnet-sdk_6: 6.0.402 -> 6.0.403
2022-11-09 15:12:29 +01:00
Pavol Rusnak
19185500dd
dotnet-sdk_6: 6.0.402 -> 6.0.403 2022-11-09 15:04:43 +01:00
Pavol Rusnak
ceb56df699
Merge pull request #200362 from prusnak/dotnet-3
dotnet-sdk_3: 3.1.424 -> 3.1.425
2022-11-09 15:04:13 +01:00
Pavol Rusnak
7eb3b45668
dotnet-sdk_3: 3.1.424 -> 3.1.425 2022-11-09 15:02:05 +01:00
github-actions[bot]
c5638a6391
Merge master into staging-next 2022-11-09 12:01:25 +00:00
Pavol Rusnak
a9ec741278
Merge pull request #200265 from GGG-KILLER/dotnet7-rtm
dotnet-sdk_7: 7.0.100-rc.2.22477.23 -> 7.0.100
2022-11-09 11:17:21 +01:00
github-actions[bot]
5995b81686
Merge master into staging-next 2022-11-09 06:01:29 +00:00
github-actions[bot]
8deed80953
Merge master into haskell-updates 2022-11-09 00:16:09 +00:00
Artturi
3e2445be79
Merge pull request #200145 from hzeller/20221107-update-surelog-uhdm-plugin
Fix for darwin build.
2022-11-09 02:09:35 +02:00
GGG
0e7aa2ac04 dotnet-sdk_7: 7.0.100-rc.2.22477.23 -> 7.0.100 2022-11-08 18:12:50 -03:00
Henner Zeller
ec912ab1dd yosys-symbiflow: 2022.09.27 -> 2022.11.07
Update plugins to be compatible with latest surelog/uhdm (1.45).
Also fix expected googletest path so that it comes from the
nix environment, not third_party/.

Signed-off-by: Henner Zeller <h.zeller@acm.org>
2022-11-08 12:47:27 -08:00
github-actions[bot]
6e1c7f74c7
Merge master into staging-next 2022-11-08 12:01:29 +00:00
Mario Rodas
e7c810fa3f
Merge pull request #199998 from r-ryantm/auto-update/closure-compiler
closurecompiler: 20221004 -> 20221102
2022-11-08 03:28:40 -05:00
Nick Cao
6ee6ee226b
julia: refresh patches, disable failing Zlib_jll version test 2022-11-08 13:31:56 +08:00
github-actions[bot]
7db1be3e27
Merge master into haskell-updates 2022-11-08 00:16:51 +00:00
github-actions[bot]
938efbfd26
Merge master into staging-next 2022-11-07 18:01:17 +00:00
Martin Weinelt
cfd61a2570
Merge pull request #199941 from mweinelt/openjdk-18-eol 2022-11-07 18:42:34 +01:00
sternenseemann
c7a0d75bd1 haskell.compiler.ghc92: 9.2.4 -> 9.2.5 2022-11-07 17:29:47 +01:00
Martin Weinelt
ba047a1e4f
Merge pull request #199940 from reckenrode/zhf-edk2-darwin 2022-11-07 13:23:02 +01:00
R. Ryantm
e844d8adbd closurecompiler: 20221004 -> 20221102 2022-11-07 08:48:00 +00:00
github-actions[bot]
5f9b3cb99e
Merge master into staging-next 2022-11-07 06:01:28 +00:00
Martin Weinelt
59518c6eb8
Merge pull request #199185 from wegank/ocaml-4.09-broken 2022-11-07 02:31:24 +01:00
Martin Weinelt
9af8b01842
openjdk: mark 18 as EOL 2022-11-07 01:35:26 +01:00
github-actions[bot]
ee1102cdec
Merge master into haskell-updates 2022-11-07 00:15:39 +00:00
github-actions[bot]
e51ba60580
Merge master into staging-next 2022-11-07 00:03:30 +00:00
Randy Eckenrode
4d3207ecf7
edk2: fix build on x86_64-darwin
ZHF #199919
2022-11-06 18:54:18 -05:00