nixpkgs/pkgs/development/compilers
Austin Seipp 4f74e3abcf
souffle: 1.2.0 -> 1.5.1, co-maintain
Souffle has seen some significant upgrades in the past few years and now
has trimmed and replaced several of its more expensive dependencies,
such as boost, openjdk, etc.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-03-12 00:45:38 -05:00
..
abcl
adoptopenjdk-bin Merge #54576: adoptopenjdk-bin: 11.0.1 -> 11.0.2 2019-02-17 09:45:21 +01:00
aldor
aliceml
apache-flex-sdk
arachne-pnr arachne-pnr: update git repo location 2019-02-23 12:08:48 -06:00
as31
asn1c
aspectj
ats
ats2 ats2: 0.3.12 -> 0.3.13 2019-02-16 13:40:15 +00:00
avian
avra
bigloo
binaryen
bupc
carp
ccl treewide: use runtimeShell instead of stdenv.shell whenever possible 2019-02-26 14:10:49 +00:00
chez
chicken
clasp clasp-common-lisp: update/fix build, 2018-11-28 prerelease (towards 0.9) 2019-01-11 16:29:29 +01:00
clean
closure closurecompiler: 20181210 -> 20190121 2019-01-28 13:35:09 -08:00
cmdstan treewide: use runtimeShell instead of stdenv.shell whenever possible 2019-02-26 14:10:49 +00:00
cmucl
colm
compcert compcert: 3.4 -> 3.5 2019-03-09 05:49:26 -06:00
coreclr coreclr: move defaults to package file 2019-02-03 15:33:35 +00:00
crystal crystal: fix build on Darwin 2019-03-07 13:38:35 +00:00
cudatoolkit cudatoolkit_9_0: Add later released patch updates 2019-02-19 23:23:35 +01:00
dale
dev86
dmd dmd: Fix dmd.conf 2019-02-22 14:53:56 -05:00
dotnet/sdk dotnet-sdk: 2.1.402 -> 2.2.103 2019-01-30 19:46:40 +01:00
dtc ubootRock64, ubootRockPro64: use dtc 1.4.5 2019-01-18 21:00:58 -05:00
ecl
edk2
eli
elm elm: fix UnsafePath error downloading dependencies 2019-01-21 14:44:31 -05:00
emscripten
eql
factor-lang
fasm fasm-bin: 1.73.08 -> 1.73.09 2019-03-03 20:50:12 +01:00
fpc lazarus: format expression with more modern style 2019-02-13 23:39:19 -05:00
fsharp treewide: use ${stdenv.shell} instead of /bin/sh where possible 2019-01-16 20:37:15 +01:00
fsharp41 treewide: use ${stdenv.shell} instead of /bin/sh where possible 2019-01-16 20:37:15 +01:00
fstar
gambit gambit-unstable: 2019-01-18 -> 2019-02-05 2019-02-09 01:09:20 -05:00
gcc gcc: 8.2.0 -> 8.3.0 2019-02-22 15:38:39 -06:00
gcc-arm-embedded gcc-arm-embedded: fix MANPATH 2019-01-20 12:22:36 -08:00
gcl gcl*: fix with updated binutils 2019-02-19 18:02:29 +01:00
gerbil gerbil-unstable: 2019-01-25 -> 2019-02-09 2019-02-10 11:22:00 -05:00
gforth
ghc ghc: add new 8.6.4 version 2019-03-06 08:13:56 +01:00
ghcjs
ghcjs-ng ghcjs: disable Hydra builds while the build is marked as broken 2019-02-24 10:14:29 +01:00
glslang
gnu-cobol gnu-cobol: enable on darwin 2019-02-11 22:55:07 -05:00
gnu-smalltalk gnu-smalltalk: move defaults to package file 2019-02-03 15:32:18 +00:00
go go_1_12: set meta.branch to 1.12 (#56852) 2019-03-04 23:18:12 -08:00
gprolog
graalvm
gwt
halide
haxe
hhvm
hop
iasl iasl: broaden platforms 2019-01-25 15:08:31 +00:00
icedtea-web
inform7
intercal
ios-cross-compile
ispc ispc: 1.9.2 -> 1.10.0 2019-01-20 02:00:17 -06:00
javacard-devkit
jetbrains-jdk
jikes
jsonnet
julia julia: remove 0.6.4 (julia_06) 2019-03-05 17:52:58 +01:00
jwasm
kotlin kotlin: 1.3.20 -> 1.3.21 2019-03-02 20:59:59 +00:00
ldc ldc: 1.12.0 -> 1.14.0 2019-02-21 22:44:52 +01:00
llvm Merge pull request #56645 from matthewbauer/llvm-8 2019-03-03 21:00:36 -05:00
manticore
matter-compiler
mcpp
mercury mercury: build on Darwin (#56511) 2019-02-28 17:24:27 +01:00
meta-environment/meta-build-env
mezzo
microscheme
mint
mit-scheme
mkcl
mlton
mono
mosml
mozart
mruby
nasm nasm: build from source 2019-02-14 13:51:47 +00:00
neko
nextpnr nextpnr: 2019.01.08 -> 2019.02.20 2019-02-23 12:08:48 -06:00
nim nim: 0.19.0 -> 0.19.4 2019-02-04 16:02:06 -08:00
nvidia-cg-toolkit
obliv-c
ocaml ocaml-4.08: disable “strictoverflow” hardening 2019-02-19 09:44:04 +01:00
opa
opendylan
openjdk openjdk11: 11.0.1+13 -> 11.0.2+9 2019-02-21 01:01:04 -08:00
openspin
oraclejdk oraclejdk8distro, oraclejdk8psu_distro: move defaults to package file 2019-02-03 15:33:24 +00:00
orc
osl
owl-lisp
pakcs
picat
polyml
ponyc ponyc: cleanup a bit, mostly remove old source fixups no longer needed 2019-03-02 02:14:54 -06:00
purescript/psc-package psc-package: 0.4.2 -> 0.5.1 2019-01-31 19:06:04 +01:00
reason
rgbds
rust Revert "rustc: 1.31.0 -> 1.32.0" (#55379) 2019-02-07 12:49:37 +01:00
sbcl sbcl: 1.4.16 -> 1.5.0 2019-02-24 22:56:00 +01:00
scala
sdcc
seexpr
serpent
shaderc shaderc: git-2018-06-01 -> 2018.0 2019-01-19 12:32:54 +00:00
smlnj smlnj: 110.84 -> 110.85 2019-02-05 16:40:12 -05:00
solc solc: 0.5.3 -> 0.5.4 2019-02-25 17:50:54 +01:00
souffle souffle: 1.2.0 -> 1.5.1, co-maintain 2019-03-12 00:45:38 -05:00
souper
squeak
stalin
swi-prolog swi-prolog: remove myself from list of maintainers 2019-03-05 12:53:04 +01:00
swift swift: 4.2.2 -> 4.2.3 2019-03-07 15:22:45 +01:00
terra Merge pull request #52624 from alesguzik/update-terra 2019-02-28 19:22:10 -08:00
teyjus
tinycc
urn urn: 0.7.1 -> 0.7.2 2018-12-28 16:39:13 +01:00
urweb
vala vala: add setup hook 2019-01-20 04:06:20 +01:00
wcc
wla-dx
x11basic
yap
yasm
yosys yosys: 2019.01.08 -> 2019.02.22 2019-02-23 12:08:48 -06:00
z88dk
zig
zulu