Arseniy Seroka 5f767b2580 Merge pull request #12462 from wizeman/u/add-fstar ... fstar: init at 2016-01-12		2016-01-19 16:41:44 +03:00
..
arduino	platformio: init at 2.7.0	2016-01-06 04:09:52 -05:00
compilers	Merge pull request #12462 from wizeman/u/add-fstar	2016-01-19 16:41:44 +03:00
coq-modules	coq-interval: 2.1.0 -> 2.2.1	2016-01-06 09:35:05 +01:00
dotnet-modules/patches
eclipse
erlang-modules	Pass buildPlugins to rebar3-nix-bootstrap.	2016-01-17 21:59:27 +01:00
go-modules
guile-modules
haskell-modules	configuration-hackage2nix.yaml: update list of broken packages	2016-01-17 12:29:03 +01:00
idris-modules
interpreters	Merge branch 'master' into staging	2016-01-18 09:48:49 +01:00
libraries	Merge #11535: protobuf: 3.0.0-alpha-3.1 -> 3.0.0-beta-2	2016-01-19 08:25:44 +01:00
lisp-modules	asdf: 3.1.5 -> 3.1.6	2016-01-01 12:30:17 +03:00
lua-modules
misc
mobile	Renamed subdirectories in Android SKD's build-tools	2016-01-18 00:42:54 +01:00
ocaml-modules	Merge pull request #12064 from FlorentBecker/eliom42	2016-01-18 09:32:48 +01:00
perl-modules
pharo	Refactor Pharo to allow co-installation of VMs	2016-01-18 20:14:19 +01:00
pure-modules
python-modules	4suite: remove dead package	2016-01-18 01:41:57 +01:00
qtcreator	qtcreator: 3.5.1 -> 3.6.0	2016-01-15 19:19:42 -05:00
r-modules	R: fix Darwin build	2016-01-06 22:20:40 +01:00
ruby-modules
tools	Merge pull request #12159 from rasendubi/ycmd	2016-01-18 14:11:22 +01:00
web	update xcode patches for node v0.10.41	2016-01-09 14:38:37 -08:00