volth
08f68313a4
treewide: remove redundant rec
2019-08-28 11:07:32 +00:00
Frederik Rietdijk
5061fe0c2c
Merge staging-next into staging
2019-08-28 08:26:42 +02:00
Frederik Rietdijk
98640fd482
Merge master into staging-next
2019-08-27 16:36:47 +02:00
volth
35d68ef143
treewide: remove redundant quotes
2019-08-26 21:40:19 +00:00
obadz
a9b4e7592f
Merge pull request #66299 from jdanekrh/jd_fsharp_update_mono
...
fsharp41: 4.1.7 -> 4.1.34; mono = mono6
2019-08-26 19:53:30 +01:00
Peter Simons
7bf8d783f8
The proper release of ghc-8.8.1 is out.
2019-08-26 14:30:38 +02:00
Peter Hoeg
3de05cd8b5
Merge pull request #67028 from peterhoeg/u/owl
...
owl-lisp: 0.1.16 -> 0.1.19
2019-08-26 14:34:51 +08:00
Peter Hoeg
eaaa46a4c5
Merge pull request #67441 from peterhoeg/u/crystal
...
crystal: init at 0.30.1
2019-08-26 14:34:33 +08:00
Vladimír Čunát
985d1ac425
Merge branch 'master' into staging-next
...
There were several more conflicts from name -> pname+version;
all auto-solved by kdiff3, hopefully OK.
Hydra nixpkgs: ?compare=1538611
2019-08-25 14:57:11 +02:00
Roman Volosatovs
ef67737897
go: 1.12.7 -> 1.12.9
...
Co-authored-by: Diego Medina <fmpwizard@gmail.com>
2019-08-24 22:39:02 +02:00
Roman Volosatovs
d989d5261c
go: 1.11.12 -> 1.11.13
...
Co-authored-by: Diego Medina <fmpwizard@gmail.com>
2019-08-24 22:38:57 +02:00
Peter Hoeg
4d3493c11f
crystal: init at 0.30.1
2019-08-25 03:47:25 +08:00
Vladimír Čunát
2e6bf42a22
Merge branch 'master' into staging-next
...
There ver very many conflicts, basically all due to
name -> pname+version. Fortunately, almost everything was auto-resolved
by kdiff3, and for now I just fixed up a couple evaluation problems,
as verified by the tarball job. There might be some fallback to these
conflicts, but I believe it should be minimal.
Hydra nixpkgs: ?compare=1538299
2019-08-24 08:55:37 +02:00
Samuel Leathers
1718824a10
Merge pull request #67360 from livnev/solc-0.5.11
...
solc: 0.5.10 -> 0.5.11
2019-08-24 00:33:52 -04:00
Samuel Leathers
20b5f89384
Merge pull request #67297 from volth/patch-360
...
graalvm8-ee: 19.1.1 -> 19.2.0
2019-08-24 00:15:54 -04:00
worldofpeace
0552f4dc73
Merge pull request #67214 from stefano-m/master
...
adoptopenjdk-icedtea-web: rename from icedtea_web
2019-08-23 16:43:52 -04:00
Stefano Mazzucco
a6d234e9e9
adoptopenjdk-icedtea-web: rename from icedtea_web
...
This is a follow up of https://github.com/NixOS/nixpkgs/pull/66422
- rename icedtea_web to adoptopenjdk-icedtea-web to reflect the new governance
- add icedtea_web and icedtea8_web to aliases.nix for backwards compatibility
- update the attribute name where icedtea_web is used
2019-08-23 21:12:59 +01:00
Lev Livnev
917ce8e48f
solc: build with cvc4 support
...
n.b. that cvc4 support is required for the tests to pass
2019-08-23 18:19:48 +01:00
worldofpeace
a4083fb455
Merge pull request #67236 from Chiiruno/dev/general
...
Update: easyjson, quicktemplate, statik, qtchan, vlang
2019-08-23 11:14:00 -04:00
Lev Livnev
fbf323b6fd
solc: 0.5.10 -> 0.5.11
2019-08-23 11:37:02 +01:00
Emily
771b93817d
yosys: update Makefile patches
2019-08-23 02:14:40 -05:00
Emily
cec8795379
yosys: 2019.08.13 -> 2019.08.22
2019-08-23 02:14:40 -05:00
Emily
c1620c4635
nextpnr: fix GUI
2019-08-23 02:14:40 -05:00
Emily
35994c61d6
nextpnr: remove obsolete trellis hack
2019-08-23 02:14:40 -05:00
Emily
a5ac052dd3
nextpnr: 2018.08.10 -> 2018.08.21
...
Note: the previous sha256 was incorrect.
2019-08-23 02:14:40 -05:00
Okinan
cfadf776fa
vlang: 0.1.16 -> 0.1.18
2019-08-23 01:56:42 -05:00
volth
e5a76519b2
graalvm8-ee: 19.1.1 -> 19.2.0
2019-08-22 20:26:25 +00:00
Sarah Brofeldt
2558929984
Merge pull request #67149 from marsam/fix-mosml-darwin
...
mosml: fix build error on darwin
2019-08-22 09:07:18 +02:00
Bas van Dijk
cbf76c739a
Merge pull request #66728 from symphorien/rust-rls
...
rls: tie version to rustc's
2019-08-21 16:38:19 +02:00
Vincent Laporte
609d408970
coq: make version 8.9 the default one
2019-08-21 12:07:38 +00:00
Symphorien Gibol
d9d0647046
rls: tie version to rustc's
2019-08-21 11:21:01 +02:00
Peter Hoeg
abb41a1111
owl-lisp: 0.1.16 -> 0.1.19
2019-08-21 13:39:24 +08:00
Mario Rodas
690e363780
mosml: fix build error on darwin
2019-08-20 16:20:00 -05:00
Marek Mahut
ed3cee72f3
Merge pull request #65104 from mroi/patch-1
...
swift: 5.0.1 -> 5.0.2
2019-08-20 22:37:12 +02:00
Pontus Stenetorp
2f40250ec2
julia: 1.1.0 -> 1.1.1
2019-08-20 18:10:19 +01:00
Pontus Stenetorp
599f42576a
julia: 1.0.3 -> 1.0.4
2019-08-20 18:10:19 +01:00
worldofpeace
7aaa28c1af
Merge pull request #65545 from volth/graal-ee
...
graalvm8-ee: init at 19.1.1
2019-08-20 00:38:04 -04:00
Ben Wolsieffer
5d07172f2f
openjdk12: cleanup based on refactoring of openjdk11
2019-08-19 18:54:48 -04:00
Ben Wolsieffer
b4480b798d
adoptopenjdk: fix fontconfig dependency
2019-08-19 18:54:48 -04:00
Ben Wolsieffer
d4e2cb08ff
openjdk11: 11.0.3 -> 11.0.4
2019-08-19 18:54:48 -04:00
Ben Wolsieffer
6f8f3edbda
openjdk8: 8u212 -> 8u222
2019-08-19 18:54:48 -04:00
Ben Wolsieffer
4aaaf515dc
openjfx: fix package name
2019-08-19 18:54:48 -04:00
Ben Wolsieffer
de5e65ad80
openjdk: boostrap with adoptopenjdk-bin and cleanup
...
This allows OpenJDK 11 to build for armv6l, armv7l and aarch64, and OpenJDK 8 to
build for aarch64.
2019-08-19 18:54:47 -04:00
Ben Wolsieffer
ded7ec067f
adoptopenjdk-bin: add OpenJDK 8
2019-08-19 18:54:47 -04:00
Ben Wolsieffer
735fbfa8bc
adoptopenjdk-bin: add support for armv6l and armv7l
2019-08-19 18:54:23 -04:00
Matthew Bauer
4497bee1ac
Merge pull request #66861 from lopsided98/directfb-src-github
...
directfb: fix build on ARM
2019-08-19 13:01:41 -04:00
Nikolay Amiantov
c3a6c8de88
edk2: 2017-12-05 -> 201905
...
* Move to stable version;
* Refactor `setup` to `mkDerivation`;
* Use flags instead of `sed`;
* Support Secure Boot builds.
2019-08-19 19:52:30 +03:00
Bas van Dijk
06734a93e9
rustfmt: fix build on aarch64
2019-08-19 15:23:41 +02:00
Bas van Dijk
b9c4bef090
Merge pull request #66713 from basvandijk/rustfmt-from-rust-src
...
rustfmt: use the src as defined by the git submodule in rust
2019-08-19 15:14:23 +02:00
Bas van Dijk
4e5d4d5509
rustfmt: enable tests
2019-08-19 15:09:15 +02:00