3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/development/compilers
Austin Seipp f277185b48 nixpkgs: compcert 2.6 -> 2.7.1
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2016-08-13 23:07:01 +00:00
..
abc Clean-up abc package expressions. 2016-04-02 17:56:32 +01:00
adobe-flex-sdk treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
aldor aldor: mark as broken 2016-06-25 14:24:52 +01:00
aliceml Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
arachne-pnr treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
as31 treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
aspectj treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
ats
ats2 ats2: 0.2.6 -> 0.2.7 2016-05-16 08:08:50 -05:00
avian avian: init at 1.2.0 2016-06-03 21:29:50 -06:00
avra
bigloo
boo boo: mark as broken 2016-07-04 10:44:34 +02:00
bupc added berkeley upc 2016-05-06 10:06:08 +01:00
ccl ccl: 1.10 -> 1.11 2016-01-14 08:33:23 +01:00
chez Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
chicken chicken: 4.10.0 -> 4.11.0 2016-06-26 11:14:34 +02:00
clean
closure closurecompiler: 20151015 -> 20160208 2016-02-10 16:50:59 +02:00
cmdstan treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
cmucl treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
colm colm: Broken on i686 2016-08-06 17:06:45 +03:00
compcert nixpkgs: compcert 2.6 -> 2.7.1 2016-08-13 23:07:01 +00:00
coreclr Remove all dots at end of descriptions 2016-02-27 17:30:29 +00:00
cudatoolkit replace ${stdenv.cc.cc}/lib occurences 2016-05-01 00:13:23 +03:00
dev86 treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
dmd dmd: Avoid depending on gcc for the darwin build (close #11949) 2016-01-06 15:06:53 +01:00
dtc Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
ecl ecl: upstream changed url 2016-05-31 22:33:18 +02:00
edk2 Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
elm elm: Constrain aeson-pretty to <0.8 (#17511) 2016-08-04 18:08:32 +02:00
emscripten properly fix the maintainer.matthewbauer problem 2016-05-27 15:58:41 +02:00
emscripten-fastcomp Captialize meta.description of all packages 2016-06-20 13:55:52 +02:00
eql Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
factor-lang factor: disable build on i686-linux 2016-06-09 04:19:00 -07:00
fpc replace ${stdenv.cc.cc}/lib occurences 2016-05-01 00:13:23 +03:00
fsharp fsharp: 4.0.0.4 -> 4.0.1.1 2016-03-30 21:46:56 +02:00
fstar fstar: fix build on Darwin 2016-06-30 16:57:32 +01:00
gambit gambit: 4.7.3 -> 4.8.5 2016-04-08 01:23:22 -07:00
gcc Merge pull request #17461 from rasendubi/powerpc 2016-08-11 00:51:51 +01:00
gcc-arm-embedded gcc-arm-embedded: update license 2016-07-19 14:12:51 +02:00
gcl gcl: gcc5 build: enforce old inline semantics for now; will be fixed in the next upstream release 2016-03-23 15:10:12 +01:00
gforth gforth: fix build on darwin 2016-04-06 23:21:09 +02:00
ghc ghc: Make various binary GHCs use ncurses5 2016-07-16 23:47:28 +03:00
ghcjs Merge pull request #17314 from ryantrinkle/ghcjs-cabal-3494 2016-07-27 16:35:39 -04:00
ghdl Update ghdl mcode to 0.33. 2016-03-03 14:06:07 +01:00
gnatboot
gnu-smalltalk
go go: 1.6.2 -> 1.6.3 2016-08-11 16:34:34 +02:00
gprolog Bring my stdenv.lib.maintainers user name in line with my github nick. 2016-05-16 22:49:55 +02:00
gwt treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
haxe Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
hhvm treewide: fixup various mysql ocurrences after re-split 2016-08-07 20:46:37 +02:00
hop
iasl treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
icedtea-web icedtea_web: 1.6.1 -> 1.6.2 2016-02-08 18:46:46 +01:00
ikarus
intercal Intercal: a quick fix to find gcc 2015-09-14 23:40:46 -03:00
ios-cross-compile ios-cross-compile: Don't build on hydra 2016-03-31 07:20:21 +03:00
ispc ispc: fix build 2016-03-24 20:54:59 +01:00
jhc Bring my stdenv.lib.maintainers user name in line with my github nick. 2016-05-16 22:49:55 +02:00
jikes treewide: Add lots of platforms to packages with no meta 2016-08-02 21:17:44 +03:00
jsonnet jsonnet: 0.8.7 -> 0.8.9 2016-08-09 19:39:46 +00:00
julia julia-git: 0.4.4-pre-2016-02-08 -> 0.5.0-dev-2016-06-10 2016-06-11 02:43:44 +03:00
kotlin kotlin: 1.0.2 -> 1.0.3 2016-07-11 23:14:30 +00:00
lessc Included darwin in supported platforms for lessc compiler. 2016-07-25 21:32:53 -04:00
llvm clang-3.5: fix build 2016-08-03 19:00:39 +01:00
manticore Captialize meta.description of all packages 2016-06-20 13:55:52 +02:00
matter-compiler matter-compiler: initial expression, fixes #11780 2015-12-18 15:49:57 +01:00
mcpp
mentor ncurses: combine $lib and $out outputs 2016-03-08 11:35:24 -06:00
mercury
meta-environment/meta-build-env treewide: Add lots of platforms to packages with no meta 2016-08-02 21:17:44 +03:00
mezzo Ensure that we can evaluate the platform attribute of ocaml packages. 2016-03-13 19:08:26 +00:00
microscheme microscheme: 0.9.2 -> 0.9.3 2016-06-20 16:29:23 +02:00
mit-scheme
mkcl Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
mlton gmp: split into multiple outputs 2015-10-28 10:15:49 +01:00
mono mono44: init at 4.4.1.0 2016-07-04 10:44:34 +02:00
mozart mozart: fix tcl/tk issues and clean up 2015-10-03 17:26:10 -04:00
nasm
neko neko: Add patch fixing arg handling on 32bit. 2015-09-10 18:38:22 +02:00
nim nim: 0.13.0 -> 0.14.2 2016-06-11 14:53:07 +02:00
nvidia-cg-toolkit
ocaml treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
opa Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
opendylan treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
openjdk openjdk7: replace vulnerable cups version (#17214) 2016-07-28 03:23:21 +02:00
openjdk-darwin Add binary openjdk 8 build for x86_64-darwin, similar to the openjdk 7 build for x86_64-darwin. 2016-01-14 10:29:18 +00:00
oraclejdk oraclejdk: 8u91, 8u92 -> 8u101, 8u102 (#17125) 2016-07-20 18:00:11 +02:00
orc orc: bug-fix 0.4.24 -> 0.4.25 2016-07-09 16:50:13 +02:00
picat picat: init at 1.9-4 2016-05-26 15:29:03 -06:00
polyml polyml: 5.5.2 -> 5.6 2016-02-23 14:19:04 +01:00
ponyc treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
qcmm
rdmd
rgbds properly fix the maintainer.matthewbauer problem 2016-05-27 15:58:41 +02:00
rust rustc: Disable failing linker-output-utf8 test. 2016-08-10 21:25:53 +02:00
sbcl sbcl: 1.3.7 -> 1.3.8 2016-08-11 17:57:35 +02:00
scala scala: 2.11.7 -> 2.11.8 2016-03-09 23:33:59 +11:00
sdcc sdcc: update from 3.4.0 to 3.5.0, fixes build (ZHF) 2015-07-09 14:09:10 +02:00
serpent treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
smlnj smlnj: 110.78 -> 110.79 2015-10-09 23:36:03 -04:00
squeak Add version attribute where maintainers |= nckx 2016-01-25 17:35:21 +01:00
stalin
strategoxt
swi-prolog treewide: Lots of meta.hydraPlatforms -> meta.platforms 2016-08-02 21:17:44 +03:00
terra terra: set meta.platforms 2016-06-23 23:28:19 +02:00
teyjus
tinycc tinycc: fix paxmark call 2016-06-09 23:06:01 +02:00
uhc uhc: 1.1.9.3 -> 1.1.9.4 2016-06-04 09:46:06 +02:00
urweb treewide: fixup various mysql ocurrences after re-split 2016-08-07 20:46:37 +02:00
vala vala_0_32: init at 0.32.0 2016-06-06 13:59:31 +02:00
vs90wrapper
webdsl
wla-dx properly fix the maintainer.matthewbauer problem 2016-05-27 15:58:41 +02:00
yap Bring my stdenv.lib.maintainers user name in line with my github nick. 2016-05-16 22:49:55 +02:00
yasm
yosys treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00