nixpkgs/pkgs/development/compilers
Austin Seipp 925a016113 Merge pull request #2521 from jwiegley/agda
Build AgdaStdlib before installing it
2014-05-22 14:22:31 -05:00
..
abc
adobe-flex-sdk
agda Build AgdaStdlib before installing it 2014-05-05 19:51:05 -05:00
aldor aldor: update to 1.2.0 version in development. 2014-03-31 21:41:20 +02:00
aspectj
ats ats/ats2: clean-up, adopt, add Hydra packages 2014-04-27 11:26:16 -05:00
ats2 ats/ats2: clean-up, adopt, add Hydra packages 2014-04-27 11:26:16 -05:00
avra
bigloo
ccl
chicken chicken(-dev): Update to 4.8.0.5 / 4.9.0rc1 2014-05-14 12:22:52 +02:00
clean
closure
cmucl
compcert compcert: Fix Hydra platforms 2014-05-02 14:07:36 -05:00
cryptol cryptol: add a convenient clang/lss wrapper 2014-05-17 14:09:09 -05:00
cudatoolkit
dev86
dmd
ecl
edk2
elm haskell-Elm: update to version 0.12.3 2014-05-21 23:04:30 +02:00
epic
eql
fpc
fsharp fsharp: 3.1 -> 3.1.0 2014-04-08 10:54:25 -05:00
gambit
gcc Fixing the cross gcc building. 2014-05-19 10:26:54 +02:00
gcc-arm-embedded gcc-arm-embedded: add meta attributes 2014-03-29 18:28:41 +01:00
gcl
ghc ghc-7.0.1: fix download URL 2014-05-07 20:33:32 +02:00
ghdl Adding ghdl 0.31 mcode flavour 2014-04-16 10:35:45 +02:00
gnatboot
go Revert "go: updating to 1.2.2" 2014-05-14 10:16:35 +02:00
gprolog
gwt
gwydion-dylan
haxe
hugs
iasl
icedtea icedtea7: Update from 2.4.6 -> 2.4.7 2014-04-23 01:39:07 +02:00
icedtea-web icedtea7_web: Fix configure phase not finding bash 2014-04-10 00:15:53 +02:00
idris idris: upgrade to 0.9.12 2014-04-06 11:47:46 +02:00
ikarus
jdk Fix whitespace 2014-04-26 21:15:06 +02:00
jhc jhc: Fix license 2014-05-18 10:15:06 -05:00
jikes
julia add julia 0.2.1 release 2014-03-28 18:39:26 +08:00
lessc
llvm llvmPackages.lld: fix build after 3.4.1 update 2014-05-16 18:29:12 +02:00
mcpp
mentor
mercury Add the Mercury compiler to nixpkgs. 2014-05-14 22:44:38 +02:00
meta-environment/meta-build-env
mit-scheme
mlton Fix build of MLton on Linux i686 2014-04-19 14:30:39 +01:00
mono mono: add LLVM support (3.4svn build) 2014-03-08 14:57:49 -06:00
mozart
nasm
neko
nvidia-cg-toolkit
ocaml
opa
opencxx
openjdk
openjdk-darwin
orc Merge pull request #2320 from iyzsong/unmaintain 2014-04-19 19:55:24 +01:00
pakcs pakcs: update hash for latest version. 2014-04-23 10:54:58 +02:00
path64
polyml
qcmm
qi
rdmd
roadsend
rust rust: update to 0.10 release 2014-05-12 13:37:38 -04:00
sbcl Update SBCL 2014-03-08 21:13:00 +04:00
scala scala: Bump to 2.11.0, bump 2.10 to 2.10.4 2014-05-05 02:14:57 -04:00
sdcc sdcc: bump 3.3.0 -> 3.4.0 2014-04-13 19:46:00 +02:00
smlnj
stalin
strategoxt
swi-prolog swiProlog: update from 6.6.3 to 6.6.5 2014-05-22 12:55:03 +02:00
tinycc
uhc
urweb Ur/Web compiler: new release, 20130421 -> 20140426 2014-05-10 20:42:35 -07:00
vala drop my maintainship of orc and vala 2014-04-19 23:21:51 +08:00
visual-c++
vs90wrapper
webdsl
yap yap: revert update from 6.2.2 to 6.3.3 2014-03-07 23:16:33 +01:00
yasm