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