1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-09-11 15:08:33 +01:00
nixpkgs/pkgs/development/compilers
Vincent Laporte 475527adb7 compcert: 2.4 -> 2.5
Also installs the Coq library as a separate output.
2015-07-15 19:14:18 +02:00
..
abc
adobe-flex-sdk
aldor
aliceml aliceml: update version string 2015-05-20 18:06:18 +02:00
aspectj
ats Bump to ATS-0.2.12 2015-03-16 15:50:48 +01:00
ats2 ats2: bump 2015-05-17 06:43:26 -04:00
avra
bigloo
ccl
chicken
clean
closure closure-compiler: 20130603 -> 20150315. 2015-04-09 14:21:17 +01:00
cmucl
colm Add colm, a language for program analysis and transformation 2015-05-18 16:07:12 +02:00
compcert compcert: 2.4 -> 2.5 2015-07-15 19:14:18 +02:00
coreclr dotnet: package coreclr (from git) 2015-06-24 15:06:14 +01:00
cudatoolkit cudatoolkit: generalize derivations, add cuda7 2015-07-04 17:05:50 -07:00
dev86
dmd dmd: Update version to 2.067.1 2015-05-02 11:20:45 +02:00
dtc dtc: Fix cross compilation 2015-06-30 10:33:25 +03:00
ecl ensure that gmp and libffi are found when compiling with gcc dynamically 2015-03-28 12:42:23 +03:00
edk2 Unmaintain a bunch of packages 2015-07-01 08:11:05 -04:00
emscripten Don't use "with licenses;" for single licences 2015-05-28 19:20:29 +02:00
emscripten-fastcomp
eql
fpc
fsharp Lay down the foundation for packaging the .NET echosystem 2015-06-06 09:06:22 -04:00
gambit
gcc Unmaintain a bunch of packages 2015-07-01 08:11:05 -04:00
gcc-arm-embedded
gcl remove all references to stdenv.cc.cc.is{GNU,Clang} 2015-05-11 14:44:50 -07:00
gforth
ghc ghc: add haskell.compiler.ghcNokinds, for Richard Eisenberg's 'nokinds' branch 2015-07-06 11:09:28 +03:00
ghcjs ghcjs: fix/bump git refs 2015-06-16 21:26:11 -04:00
ghdl
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 Fixed some licenses 2015-06-10 13:00:42 +02:00
gprolog
gwt meta.description fixups 2015-04-30 18:17:42 +02:00
haxe Use common licence attributes from lib/licenses.nix 2015-05-27 22:00:06 +02:00
hhvm Migrate all krb5 -> libkrb5 2015-06-26 17:21:49 -07:00
hop
iasl
icedtea-web icedtea7_web: Update from 1.5.2 -> 1.6 2015-05-02 13:41:57 +02:00
ikarus
jhc jhc: convert build to Haskell NG 2015-05-04 12:27:03 +02:00
jikes
julia julia03: fix evaluation on x86_64-darwin 2015-06-13 08:34:46 -05:00
lessc
llvm Unmaintain a bunch of packages 2015-07-01 08:11:05 -04:00
manticore
mcpp
mentor
mercury
meta-environment/meta-build-env
mezzo
microscheme microscheme: update to latest release (0.9.2) 2015-03-02 21:55:55 +01:00
mit-scheme
mkcl Add mkcl; patch by Tomas Hlavaty <tom@logand.com> 2015-03-27 08:24:35 +03:00
mlton
mono Lay down the foundation for packaging the .NET echosystem 2015-06-06 09:06:22 -04:00
mozart
nasm
neko
nim nim: 0.10.2 -> 0.11.0 2015-05-04 08:58:26 -04:00
nvidia-cg-toolkit
ocaml OCaml-4.02: fix ocamlbuild 2015-06-25 08:55:28 +02:00
opa
opendylan
openjdk Unmaintain a bunch of packages 2015-07-01 08:11:05 -04:00
openjdk-darwin
oraclejdk oraclejdk: 8u45 -> 8u51 2015-07-15 09:52:03 +09:00
orc orc: Enable building on Darwin 2015-03-25 22:13:48 -04:00
path64
polyml
qcmm
rdmd update rdmd to 2.067.0 2015-04-14 10:46:24 -07:00
rustc rustcMaster: 2015-05-13 -> 2015-07-01 2015-07-12 17:33:05 +02:00
sbcl SBCL: update 1.2.12 -> 1.2.13 2015-07-05 00:32:54 +03:00
scala scala: update from 2.11.6 to 2.11.7 2015-07-06 11:51:49 +02:00
sdcc
smlnj Turned some meta.maintainers into lists 2015-05-14 19:09:43 +02:00
squeak Separate nativeBuildInputs where maintainers |= nckx 2015-06-17 22:21:32 +02:00
stalin
strategoxt
swi-prolog
teyjus
tinycc
uhc haskell-uhc: Use newer version with relaxed cabal constraints. 2015-06-15 10:47:53 +02:00
urweb mysql: Use libs in place of the binary mysql 2015-04-01 16:46:53 -07:00
vala Add vala 0.28 2015-05-02 14:45:21 +02:00
visual-c++
vs90wrapper
webdsl
yap meta.description fixups 2015-04-30 18:17:42 +02:00
yasm