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
..
applications	z3/verifast: update license	2014-05-01 19:09:24 -05:00
build-support	pkgs/build-support/cabal: revert "the release version of GHC 7.8.x no longer requires"	2014-05-01 23:14:55 +02:00
data	tzdata: use symlinks instead of hardlinks	2014-04-29 16:25:10 +02:00
desktops	xfce: fix typo introduced in recent commit (s/gtk/gtk3/)	2014-04-29 19:13:43 +02:00
development	compcert: Fix Hydra platforms	2014-05-02 14:07:36 -05:00
games	tibia: version 10.39	2014-05-02 20:38:42 +02:00
misc	vim-plugins: update and upgrade	2014-04-21 19:21:18 +02:00
os-specific	systemd: Look for fsck.* in the right place	2014-05-01 14:32:58 +02:00
servers	nginx: upgrade to 1.6.0, expose many more modules	2014-05-02 01:24:38 -05:00
shells	ipython: update 1.1.0 -> 2.0.0	2014-04-13 21:55:27 +02:00
stdenv	Typo/comment	2014-04-22 18:42:44 +02:00
test
tools	nixos: overhaul datadog module	2014-05-02 01:24:35 -05:00
top-level	Readding Erlang R16B02: R17 is a major update and it breaks Ejabberd.	2014-05-02 20:50:58 +04:00