Vincent Laporte 3553258b1d Revert "coqPackages.flocq: 2.4.0 -> 2.5.0" ... This reverts commit db9bc6875f. That reverted commit had introduced a wrong URL.		2016-01-04 23:37:40 +01:00
..
arduino
compilers	orc: update from 0.4.23 to 0.4.24	2016-01-03 20:51:14 +00:00
coq-modules	Revert "coqPackages.flocq: 2.4.0 -> 2.5.0"	2016-01-04 23:37:40 +01:00
dotnet-modules/patches
eclipse
erlang-modules
go-modules
guile-modules
haskell-modules	saneBackends{,Git} -> sane-backends{,-git}	2016-01-03 03:31:38 +01:00
idris-modules
interpreters	ceptre: 2015-11-20 -> 2016-01-01	2016-01-03 20:06:12 +01:00
libraries	libvirt: apply patch to build 1.3.0 on BSD/Darwin	2016-01-04 19:42:07 +01:00
lisp-modules	asdf: 3.1.5 -> 3.1.6	2016-01-01 12:30:17 +03:00
lua-modules
misc
mobile
ocaml-modules
perl-modules
pharo
pure-modules
python-modules	pyqt5: Qt 5 infrastructure update	2015-12-20 07:56:39 -06:00
qtcreator	qtcreator: Qt 5 infrastructure update	2015-12-20 07:56:53 -06:00
r-modules	r-modules: prefer gsl 1.x since 2.x is unsupported by r-gsl-1.9.x	2015-12-29 21:22:59 +01:00
ruby-modules
tools	gnustep-make: dont write to /Library/GNUstep	2016-01-04 14:07:17 -08:00
web