1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-30 09:31:01 +00:00
nixpkgs/pkgs/development/compilers
zimbatm 9504992e1d Merge pull request #13897 from nbp/fix-ocaml-pkgs-platform
Ensure that we can evaluate the platform attribute of ocaml packages.
2016-03-14 19:25:40 +00:00
..
abc
adobe-flex-sdk
aldor
aliceml aliceml: update version string 2015-05-20 18:06:18 +02:00
arachne-pnr arachne-pnr: init at 2015.12.29 2015-12-30 16:52:41 +00:00
as31 as31: use yacc to generate parser.c file 2016-03-04 21:54:24 -05:00
aspectj
ats Bump to ATS-0.2.12 2015-03-16 15:50:48 +01:00
ats2 ats2: 0.1.12 -> 0.2.4 2015-11-29 10:04:57 -05:00
avra
bigloo unmaintain a bunch of packages 2015-01-13 22:33:49 +01:00
boo boo: init at 20131021 2016-03-07 23:21:01 +03:00
ccl ccl: 1.10 -> 1.11 2016-01-14 08:33:23 +01:00
chicken chicken: 4.9.0.1 -> 4.10.0 2015-08-21 15:43:52 +02:00
clean
closure closurecompiler: 20151015 -> 20160208 2016-02-10 16:50:59 +02:00
cmdstan cmdstan: init at 2.9.0 2015-12-12 22:42:01 +10:00
cmucl cmucl: add myself as a maintainer 2015-11-26 08:24:02 +01:00
colm colm: 0.12.0 -> 0.13.0.3 2016-02-15 17:35:11 +01:00
compcert compcert: 2.5 -> 2.6 2016-01-25 11:48:47 +01:00
coreclr Remove all dots at end of descriptions 2016-02-27 17:30:29 +00:00
cudatoolkit cudatoolkit: Add version 7.5.18 2016-03-02 21:35:46 +01:00
dev86
dmd dmd: Avoid depending on gcc for the darwin build (close #11949) 2016-01-06 15:06:53 +01:00
dtc dtc: Builds on Darwin 2016-02-03 04:46:09 +02:00
ecl Update ECL 2016-02-29 17:23:58 +01:00
edk2 edk2, OVMF: Fix build on GCC 4.9 2015-07-20 09:05:58 +03:00
elm Remove all dots at end of descriptions 2016-02-27 17:30:29 +00:00
emscripten emscripten and emscripten-fastcomp: add platforms 2015-11-21 14:12:57 +01:00
emscripten-fastcomp emscripten and emscripten-fastcomp: add platforms 2015-11-21 14:12:57 +01:00
eql Remove unneeded 'with's from meta.platforms 2015-11-25 23:06:09 +01:00
fpc lazarus: 1.4.4 -> 1.6 2016-02-20 11:36:37 +01:00
fsharp fsharp: 3.1.2.5 -> 4.0.0.4 2015-11-11 10:54:10 +01:00
fstar fstar: 2016-01-12 -> 0.9.2.0 2016-03-13 09:41:24 +01:00
gambit
gcc Remove all dots at end of descriptions 2016-02-27 17:30:29 +00:00
gcc-arm-embedded
gcl gcl: use mkDerivation 2016-01-30 20:31:02 +00:00
gforth
ghc haskell: Expose the package set used to build each GHC, where possible 2016-02-21 10:16:13 -08:00
ghcjs add socket.io to interactive ghcjs environments 2016-03-01 16:06:29 -08:00
ghdl Update ghdl mcode to 0.33. 2016-03-03 14:06:07 +01:00
gnatboot orig-gcc -> orig-cc 2015-03-04 22:15:46 +01:00
gnu-smalltalk gnu-smalltalk: optional emacs support 2015-04-01 14:44:42 +02:00
go go-1.6: remove the cacert 1.5 patch 2016-02-26 12:32:33 -06:00
gprolog
gwt meta.description fixups 2015-04-30 18:17:42 +02:00
haxe Fix haxe to compile with ocaml 4.02 2015-07-23 19:50:01 +02:00
hhvm Remove no longer (or never) referenced patches 2016-01-24 02:02:21 +01:00
hop
iasl
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: init at 9.2 2016-02-22 11:16:11 -08:00
ispc ispc: init at <GH master> 2015-11-29 00:21:13 +01:00
jhc jhc: convert build to Haskell NG 2015-05-04 12:27:03 +02:00
jikes
jsonnet jsonnet: 0.8.5 -> 0.8.6 2016-02-22 18:20:54 -08:00
julia julia: darwin compatibility 2016-03-13 04:18:16 -04:00
kotlin kotlin: 1.0.0-rc-1036 -> 1.0.0 2016-02-15 16:47:58 +00:00
lessc
llvm remove lvm_33, fixes #12310 2016-03-02 16:54:30 +00:00
manticore
matter-compiler matter-compiler: initial expression, fixes #11780 2015-12-18 15:49:57 +01:00
mcpp
mentor
mercury
meta-environment/meta-build-env
mezzo Ensure that we can evaluate the platform attribute of ocaml packages. 2016-03-13 19:08:26 +00:00
microscheme microscheme: update to latest release (0.9.2) 2015-03-02 21:55:55 +01:00
mit-scheme unmaintain a bunch of packages 2015-01-13 22:33:49 +01:00
mkcl mkcl: add myself as a maintainer 2015-11-26 08:24:02 +01:00
mlton Get mlton a little closer to working on darwin+clang (thanks to gridaphobe). Still impure, and needs more work. 2015-02-08 19:24:44 -05:00
mono Merge pull request #12682 from zohl/nant 2016-02-03 22:56:12 +03:00
mozart mozart: fix tcl/tk issues and clean up 2015-10-03 17:26:10 -04:00
nasm nasm: update from from 2.11.05 to 2.11.08 2015-02-26 14:43:44 +01:00
neko neko: Add patch fixing arg handling on 32bit. 2015-09-10 18:38:22 +02:00
nim nim: 0.11.2 -> 0.13.0 2016-01-20 17:48:45 +01:00
nvidia-cg-toolkit Fix bad licenses on CUDA packages 2015-02-15 22:29:47 +01:00
ocaml ocaml: add local copy of the ocamlbuild patch 2015-11-28 09:48:55 +01:00
opa
opendylan
openjdk Merge pull request #12568 from gebner/idea-openjdk8 2016-01-24 10:29:54 +01: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: 8u71, 8u72 -> 8u73, 8u74 2016-02-08 09:56:23 +09:00
orc orc: update from 0.4.23 to 0.4.24 2016-01-03 20:51:14 +00:00
path64
polyml polyml: 5.5.2 -> 5.6 2016-02-23 14:19:04 +01:00
ponyc Package for Pony programming language compiler 0.2.1. 2015-10-26 08:32:57 +13:00
qcmm
rdmd update rdmd to 2.067.0 2015-04-14 10:46:24 -07:00
rgbds rgbds: init at 0.2.4 2016-03-09 00:44:01 -06:00
rustc rustUnstable.rustc: 2015-08-09 -> 2016-02-22 2016-02-25 13:51:12 +03:00
sbcl sbcl: 1.3.2 -> 1.3.3 2016-02-29 21:03:27 +01: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
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
terra terra: init at git-2016-01-06 2016-01-17 17:30:01 -08:00
teyjus teyjus: 2.0-b2 2015-02-21 19:55:24 -05:00
tinycc
uhc uhc: 1.1.9.2 -> 1.1.9.3 2016-02-26 12:12:53 +01:00
urweb urweb: version bump 2016-01-27 23:13:13 +03:00
vala Add vala 0.28 2015-05-02 14:45:21 +02:00
visual-c++
vs90wrapper
webdsl
wla-dx wla-dx: init at 8189fe8d 2016-03-09 12:39:34 -06:00
yap meta.description fixups 2015-04-30 18:17:42 +02:00
yasm
yosys yosys: init at 2015.12.29 2015-12-30 16:52:41 +00:00