github-actions[bot]
003f914d04
Merge staging-next into staging
2023-05-28 00:03:10 +00:00
github-actions[bot]
7dd6245c3c
Merge master into staging-next
2023-05-28 00:02:31 +00:00
Anderson Torres
1ea2260060
fleng: init at 14
...
FLENG is a low level concurrent logic programming language descended from
Prolog.
2023-05-27 22:54:58 +00:00
github-actions[bot]
8440fddf99
Merge staging-next into staging
2023-05-27 12:02:30 +00:00
github-actions[bot]
d6d8e87ad4
Merge master into staging-next
2023-05-27 12:01:51 +00:00
mdarocha
3908d1362f
dotnet-sdk_7: 7.0.203 -> 7.0.302
2023-05-27 11:31:29 +02:00
Alyssa Ross
191075fa83
Merge remote-tracking branch 'origin/staging-next' into staging
...
Conflicts:
pkgs/os-specific/linux/kernel/patches.nix
pkgs/top-level/linux-kernels.nix
2023-05-26 18:37:26 +00:00
github-actions[bot]
73ddcacb58
Merge master into staging-next
2023-05-26 18:01:05 +00:00
Samuel Ainsworth
ef24799942
Merge pull request #234053 from ConnorBaker/fix/cudatoolkit_11_8-broken-symlink
...
cudaPackages_11_8.cudatoolkit: remove broken include/include symlink
2023-05-26 10:18:19 -07:00
Ryan Lahfa
4890a4a42c
Merge pull request #229718 from willcohen/emscripten-3.1.30
...
emscripten: 3.1.24 -> 3.1.39, binaryen: 112 -> 113
2023-05-26 16:05:41 +02:00
github-actions[bot]
a2cd4a67fd
Merge master into staging-next
2023-05-26 12:01:27 +00:00
Ulrik Strid
b25d03cc2f
Merge pull request #234037 from ligolang/ligo--0_66_0
...
ligo: 0.65.0 -> 0.66.0
2023-05-26 13:32:49 +02:00
github-actions[bot]
fced6fe69b
Merge master into staging-next
2023-05-26 00:02:17 +00:00
Rick van Schijndel
3f6415c11f
Merge pull request #233675 from MaxHearnden/msbuild
...
msbuild: always use shared library from dotnet-sdk
2023-05-25 22:01:36 +02:00
Sandro
5cd9b42645
Merge pull request #220739 from spacefrogg/factor-fix
...
factor: Fix "resource:work" pointing to store
2023-05-25 21:47:59 +02:00
Connor Baker
bbe6b21356
cudaPackages_11_8.cudatoolkit: remove broken include/include symlink
...
The broken symlink was causing tensorflow to fail to build.
2023-05-25 15:45:48 -04:00
Christoph Neidahl
43da3da1a0
open-watcom-v2-unwrapped: unstable-2023-03-20 -> unstable-2023-05-17 ( #230544 )
...
* open-watcom-v2-unwrapped: unstable-2023-03-20 -> unstable-2023-05-07
* open-watcom-v2-unwrapped: unstable-2023-05-07 -> unstable-2023-05-17
2023-05-25 21:15:50 +02:00
Sandro
0b2c60750b
Merge pull request #232355 from mdarocha/dotnet-8-update
...
dotnet-sdk_8: 8.0.0-preview.3.23177.8 -> 8.0.0-preview.4.23260.4
2023-05-25 21:14:59 +02:00
github-actions[bot]
137b9085b3
Merge master into staging-next
2023-05-25 18:01:20 +00:00
Laurent CaniBot
258620756d
ligo: 0.65.0 -> 0.66.0
2023-05-25 17:37:31 +00:00
Weijia Wang
d7619eff54
treewide: development: use top-level fetchPypi
2023-05-25 15:52:27 +03:00
github-actions[bot]
8835c1fcc9
Merge master into staging-next
2023-05-25 12:01:37 +00:00
Sandro
45e2d86970
Merge pull request #232391 from chvp/bump-bluej
2023-05-25 12:56:00 +02:00
github-actions[bot]
0b9f14a636
Merge staging-next into staging
2023-05-25 06:01:34 +00:00
Weijia Wang
ca2e87e16e
Merge pull request #233895 from r-ryantm/auto-update/flix
...
flix: 0.36.0 -> 0.37.0
2023-05-25 08:55:04 +03:00
github-actions[bot]
a048bbb694
Merge staging-next into staging
2023-05-25 00:02:48 +00:00
R. Ryantm
e348ce050b
flix: 0.36.0 -> 0.37.0
2023-05-24 23:55:11 +00:00
Felix Bühler
eea7fbcae9
Merge pull request #233783 from OPNA2608/update/fbc
...
fbc: 1.09.0 -> 1.10.0
2023-05-25 00:21:58 +02:00
MaxHearnden
af5ebde675
roslyn: Add dependencies for x86_64-darwin
2023-05-24 14:22:09 +01:00
github-actions[bot]
e4788e8eaa
Merge staging-next into staging
2023-05-24 12:02:04 +00:00
OPNA2608
fe128c93a8
fbc: 1.09.0 -> 1.10.0
2023-05-24 11:54:54 +02:00
Sandro
6d2e073b0b
Merge pull request #233732 from uninsane/pr/sane/hare-2023-04-23
2023-05-24 11:29:31 +02:00
github-actions[bot]
88e1ef2225
Merge staging-next into staging
2023-05-24 00:03:01 +00:00
Ben Siraphob
da2d7137e7
Merge pull request #233684 from siraben/vyper-update
2023-05-23 17:49:15 -04:00
Ben Siraphob
a13dfb7e5f
vyper: 0.3.6 -> 0.3.8
2023-05-23 17:38:23 -04:00
Colin
5595e88de9
harec: unstable-2023-02-18 -> unstable-2023-04-25
2023-05-23 20:18:51 +00:00
Colin
cdea9097fd
hare: unstable-2023-03-15 -> unstable-2023-04-23
2023-05-23 20:06:46 +00:00
Barry Moore
50c7fbc96c
gleam: 0.28.3 -> 0.29.0
...
Release notes: https://gleam.run/news/v0.29-gleam-gets-autocompletion
2023-05-23 15:49:03 -04:00
MaxHearnden
a3ec8a5128
msbuild: always use shared library from dotnet-sdk
...
This changes the use of .so to use the more generic
stdenv.hostPlatform.extensions.sharedLibrary.
This also overrides mono/build/extract_and_copy_hostfxr.sh which uses
the internet and is x86 specific.
2023-05-23 20:29:44 +01:00
Charlotte Van Petegem
cf69135539
openjfx17: fix building with webkit
2023-05-23 15:36:57 +02:00
github-actions[bot]
547d5b6ab0
Merge staging-next into staging
2023-05-23 06:01:59 +00:00
Pierre Bourdon
cab4887d01
Merge pull request #232308 from LibreCybernetics/update-jetbrains
...
jetbrains: 2023.1.1 → 2023.1.2
2023-05-23 06:54:42 +02:00
figsoda
a95a7508a5
Merge pull request #233521 from alyssais/cargo-cross-broken
...
cargo: mark broken for cross compilation to x86
2023-05-22 22:40:15 -04:00
Alyssa Ross
467c7ca038
cargo: mark broken for cross compilation to x86
2023-05-23 01:23:44 +00:00
github-actions[bot]
d95a50b7e2
Merge staging-next into staging
2023-05-23 00:03:01 +00:00
Weijia Wang
a76302bbd9
Merge pull request #229838 from r-ryantm/auto-update/closurecompiler
...
closurecompiler: 20221102 -> 20230502
2023-05-23 01:46:17 +03:00
Weijia Wang
b368164f48
Merge pull request #230083 from r-ryantm/auto-update/p4c
...
p4c: 1.2.3.8 -> 1.2.3.9
2023-05-23 00:59:35 +03:00
Alyssa Ross
adb54ab7bd
rustc: remove unused argument
2023-05-22 21:46:08 +00:00
Weijia Wang
172df5e62b
Merge pull request #233390 from r-ryantm/auto-update/mercury
...
mercury: 22.01.5 -> 22.01.6
2023-05-23 00:39:22 +03:00
Weijia Wang
2aede23b8d
Merge pull request #233076 from r-ryantm/auto-update/tvm
...
tvm: 0.11.1 -> 0.12.0
2023-05-23 00:23:14 +03:00
