github-actions[bot]
b193231a39
Merge master into haskell-updates
2022-09-28 00:23:19 +00:00
Sandro
592815804a
Merge pull request #192097 from Luflosi/update/nextpnr
2022-09-27 22:01:06 +02:00
Ben Siraphob
17e962f507
Revert "swiProlog: 8.3.29 -> 8.5.17"
...
This reverts commit b1d7a2d1a7
2022-09-27 11:21:52 -05:00
github-actions[bot]
091e445abc
Merge master into haskell-updates
2022-09-27 00:21:37 +00:00
figsoda
98f960fabd
Merge pull request #192932 from figsoda/kind2
...
kind2: init at 0.2.77
2022-09-26 15:23:47 -04:00
figsoda
4c079b19fc
Merge pull request #192904 from figsoda/hvm
...
hvm: init at 0.1.88
2022-09-26 13:59:23 -04:00
sternenseemann
b4429529f5
haskell.compiler: upgrade to 9.2.4 for 9.2.* binary compiler
2022-09-26 18:02:02 +02:00
Ivv
a53100d1ce
Merge pull request #191962 from mdarocha/dotnet-6-update
...
dotnet-sdk: 6.0.400 -> 6.0.401
2022-09-26 14:58:07 +02:00
Ben Siraphob
e27d8af59b
Merge pull request #192974 from siraben/swiprolog-update
...
swiProlog: 8.3.29 -> 8.5.17
2022-09-26 00:41:44 -05:00
Ben Siraphob
b1d7a2d1a7
swiProlog: 8.3.29 -> 8.5.17
2022-09-25 19:44:05 -05:00
figsoda
7516618e2d
kind2: init at 0.2.77
2022-09-25 15:23:02 -04:00
figsoda
38130f4bf9
hvm: init at 0.1.88
2022-09-25 12:04:45 -04:00
Nick Cao
cea5458966
julia_18: init at 1.8.1
2022-09-25 17:53:25 +08:00
mdarocha
a9fc578fe7
dotnet-sdk: update.sh - allow early exit.
...
If updating to the latest version, and the local expression already is
the latest version, exit without regenerating everything.
2022-09-25 11:43:46 +02:00
mdarocha
b93a1f4538
dotnet-sdk: 6.0.400 -> 6.0.401
2022-09-25 11:40:41 +02:00
mdarocha
328fe32161
dotnet-sdk: add updateScript
...
This update script calls the existing update.sh script with the proper
arguments. If not an SDK package, run a dummy script which allows the update.nix
script to work properly.
This should allow dotnet to be update automatically.
2022-09-25 11:40:40 +02:00
maralorn
84e79cfbfc
Merge pull request #192273 from NixOS/haskell-updates
...
haskellPackages: update stackage and hackage
2022-09-25 07:16:43 +02:00
Gabriel Fontes
e5cac189d4
luaPackages: fennel -> luaPackages.fennel
2022-09-24 22:46:10 -03:00
github-actions[bot]
38db06836e
Merge master into haskell-updates
2022-09-25 00:17:09 +00:00
Mario Rodas
76d1f40e08
Merge pull request #189400 from timothyklim/scala_3.2.0
...
scala_3: 3.1.3 -> 3.2.0
2022-09-24 11:58:30 -05:00
github-actions[bot]
c23c458834
Merge master into haskell-updates
2022-09-23 00:18:03 +00:00
R. Ryantm
3c3824c102
mlkit: 4.7.1 -> 4.7.2
2022-09-22 23:41:23 +08:00
sternenseemann
da60f2dc9c
haskell.compiler.ghcHEAD: 9.3.20220406 -> 9.5.20220921
...
Initial port of our GHC Nix expressions to the new hadrian build system,
as it has become required after 9.4. Unfortunately there are some
regressions affecting us, namely the inability to install a GHC
cross-compiler at the moment (see issue linked in relevant error
message). This means that a lot of specific configuration snippets for
cross-platforms and static compilation have been ported from make
speculatively, as we are unable to test them for the moment.
2022-09-22 16:18:17 +02:00
maralorn
90eacab493
Merge branch 'master' into haskell-updates
2022-09-21 17:42:00 +02:00
maralorn
e2c6425398
Merge pull request #191991 from maralorn/drop-minor-versions
...
haskell.{compiler,packages}: Add aliases without minor versions
2022-09-21 16:15:48 +02:00
maralorn
fae2ff5c03
haskell.{compiler,packages}: Add aliases without minor versions
2022-09-21 05:51:28 +02:00
R. Ryantm
8e848152c3
gleam: 0.22.1 -> 0.23.0
2022-09-20 23:03:32 -04:00
Ivv
0d7aae2cc8
Merge pull request #191643 from Smaug123/net7-rc1
...
dotnet: 7.0 preview -> 7.0 rc1
2022-09-20 23:28:00 +02:00
Ivv
da749d30ec
Merge pull request #191965 from mdarocha/dotnet-3-update
...
dotnet-sdk_3: 3.1.422 -> 3.1.423
2022-09-20 23:24:13 +02:00
Luflosi
7bcf01fd98
nextpnr: 0.3 -> 0.4
...
https://github.com/YosysHQ/nextpnr/releases/tag/nextpnr-0.4
2022-09-20 16:01:53 +02:00
Jonas Heinrich
53466dc469
Merge pull request #191933 from r-ryantm/auto-update/gavrasm
...
gavrasm: 5.1 -> 5.4
2022-09-20 09:24:07 +02:00
7c6f434c
bcd70981b7
Merge pull request #191800 from NickCao/julia-bin-aarch64
...
julia_18-bin: add support for aarch64-linux
2022-09-20 06:08:10 +00:00
Yureka
6485a02fb3
llvm 14 lld: build with 2M stack size to fix firefox lto
2022-09-20 08:04:26 +02:00
Yureka
94cad6ec1a
llvm 14 compiler-rt: enable libclang_rt.profile-....a build
2022-09-20 08:04:26 +02:00
Uri Baghin
9a3b4264c2
Merge pull request #183763 from LibreCybernetics/update-idea-community
...
jetbrains.jdk: openjdk11 (11.0.13-b1751.25) → openjdk17 (17.0.3-b469.37)
2022-09-20 14:17:38 +10:00
Fabián Heredia Montiel
420b83db35
jetbrains.jdk: mark as broken on darwin
...
Context: https://github.com/NixOS/nixpkgs/pull/183763
2022-09-19 19:56:36 -05:00
revol-xut
6dbfa0c26e
lingua-franca: incorrect verion bump
2022-09-20 00:16:50 +02:00
mdarocha
8702695844
dotnet-sdk_3: 3.1.422 -> 3.1.423
2022-09-19 22:36:20 +02:00
R. Ryantm
3e4cb8fadd
gavrasm: 5.1 -> 5.4
2022-09-19 14:41:24 +00:00
Nick Cao
d35fab6ce2
julia_18-bin: add nickcao as a maintainer
2022-09-19 11:58:07 +08:00
Fabián Heredia Montiel
27a4de4328
jetbrains.jdk: openjdk11 (11.0.13-b1751.25) → openjdk17 (17.0.3-b469.37)
...
> With the IntelliJ IDEA 2022.2 EAP we are moving from JetBrains Runtime
11 (JBR11) to JetBrains Runtime 17 (JBR17). Starting with this build,
all IntelliJ IDEA 2022.2 updates will come with JBR17. This will have
the following effects:
> - A significant performance improvement allowing faster and smoother
IDE operation.
> - Better security, as JBR17 is based on the latest OpenJDK LTS.
> - Better rendering performance on macOS, as JetBrains Runtime 17
leverages Metal API.
> - Increased accessibility on macOS, as JBR17 features integration with
VoiceOver screen reader.
> - Usage of Vector API designed to express vector computations that
compile at runtime to vector instructions on supported CPU
architectures, thus achieving performance superior to equivalent
scalar computations.
From: https://blog.jetbrains.com/idea/2022/05/intellij-idea-2022-2-eap-1/#JetBrains_Runtime
2022-09-18 20:52:40 -05:00
Nick Cao
e992f35ba8
julia_18-bin: add support for aarch64-linux
2022-09-18 21:31:08 +08:00
R. Ryantm
854a94aa19
mlkit: 4.6.1 -> 4.7.1
2022-09-17 20:55:37 +08:00
Sandro
dec9066253
Merge pull request #189763 from tjni/gerbil-stackprotector
2022-09-17 14:18:01 +02:00
Smaug123
5798f22217
dotnet: 7.0 preview -> 7.0 rc1
2022-09-17 13:07:53 +01:00
Ivv
50150e24c8
Merge pull request #190803 from corngood/dotnet-misc
...
dotnet-sdk: fix elf auto patching, add tests, misc cleanup
2022-09-16 16:14:20 +02:00
David McFarland
f06519bd97
dotnet-sdk: use lib.attrNames
2022-09-15 19:40:42 -03:00
David McFarland
f7237d996d
dotnet-sdk: add tests
2022-09-15 19:39:36 -03:00
Sandro
b66d3b3fcc
Merge pull request #187607 from ehllie/ante
2022-09-15 12:15:14 +02:00
Elizabeth Paź
71249330b3
ante: init at unstable-2022-08-22
2022-09-14 13:48:46 +02:00
