Mateusz Kowalczyk ce4ae2aa1e Merge pull request #4305 from vbgl/coq-containers ... Working with Coq		2014-09-30 15:04:30 +01:00
..
arduino
compilers	rustcMaster: Fix version	2014-09-29 14:57:26 +02:00
coq-modules	Adds three coq libraries: containers, mathcomp, ssreflect	2014-09-28 14:03:15 +01:00
eclipse
guile-modules
interpreters	nix-exec: set platforms	2014-09-28 20:10:11 -04:00
libraries	giflib: fixed evaluation	2014-09-30 12:33:52 +02:00
lisp-modules
lua-modules	Added more lua modules to lua-packages, added them as dependencies for	2014-09-30 07:42:19 +01:00
misc
mobile	androidndk: fix make-standalone-toolchain.sh helper script	2014-09-25 11:59:16 +02:00
ocaml-modules	ocaml-tyxml: update 3.0.0 -> 3.1.1	2014-09-30 06:25:31 +02:00
perl-modules
pharo	Merge pull request #4274 from DamienCassou/pharo-vm-update	2014-09-30 13:42:45 +02:00
python-modules
qtcreator
r-modules	rPackages: prefixing package-system-dependencies with 'pkgs.'	2014-09-23 07:47:37 +01:00
ruby-modules
tools	babeltrace: update from 1.2.1 to 1.2.3	2014-09-30 11:19:11 +01:00
web