Austin Seipp 27a0d56514 compcert: Fix Hydra platforms ... Copy-pasta error, and compcert doesn't really make sense on Darwin or 64bit linux (it's callPackage_i686 anyway). Signed-off-by: Austin Seipp <aseipp@pobox.com>		2014-05-02 14:07:36 -05:00
..
abc
adobe-flex-sdk
Agda-executable
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
clean
closure
cmucl
compcert	compcert: Fix Hydra platforms	2014-05-02 14:07:36 -05:00
cryptol	cryptol: Replace URLs with something meaningful	2014-04-29 17:54:37 -05:00
cudatoolkit	cuda: install the SDK using multiple-outputs support	2014-01-29 15:48:55 +01:00
dev86	Apply makeOverridable to stdenv	2014-02-05 19:18:33 +01:00
dmd
ecl
edk2	edk2/OVMF: Update	2014-02-03 18:32:21 -05:00
elm	haskell-Elm: update to version 0.12.1.3	2014-05-01 21:57:03 +02:00
epic
eql
flapjax
fpc
fsharp	fsharp: 3.1 -> 3.1.0	2014-04-08 10:54:25 -05:00
gambit
gcc	Add gcc-4.9.0	2014-04-23 10:45:00 -04:00
gcc-arm-embedded	gcc-arm-embedded: add meta attributes	2014-03-29 18:28:41 +01:00
gcl	Update GCL source to latest release	2014-02-02 21:36:22 +04:00
ghc	GHC version 7.8.1 has been deprecated because of a serious bug.	2014-04-11 22:33:11 +02:00
ghdl	Adding ghdl 0.31 mcode flavour	2014-04-16 10:35:45 +02:00
gnatboot
go	Merge branch glibc-2.19, see #1840	2014-04-02 19:03:49 +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	Update ffmpeg dependency in oraclejdk7	2014-04-02 23:36:47 +02:00
jhc
jikes
julia	add julia 0.2.1 release	2014-03-28 18:39:26 +08:00
lessc
llvm	llvm(Packages) on darwin: attempts to fix	2014-04-10 21:19:40 +02:00
mcpp	mcpp: Add package	2014-01-30 21:56:17 -06:00
mentor
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	nasm: update from 2.10 to 2.11.01	2014-02-24 22:04:40 +01:00
neko
nvidia-cg-toolkit
ocaml
opa
opencxx
openjdk
openjdk-darwin	openjdk-darwin: Behave the same as openjdk-linux	2014-01-28 12:10:27 +01:00
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
sbcl	Update SBCL	2014-03-08 21:13:00 +04:00
scala
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.2 to 6.6.3	2014-04-09 12:41:11 +02:00
tinycc
uhc
urweb
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