..
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
Lay down the foundation for packaging the .NET echosystem
2015-06-06 09:06:22 -04:00
eclipse
ecj: require jdk7 instead of jdk
2015-07-27 17:37:37 +02:00
erlang-modules
Pass buildPlugins to rebar3-nix-bootstrap.
2016-01-17 21:59:27 +01:00
go-modules
Rename 'emery' maintainer handle to 'ehmry', fixes #11493
2015-12-05 23:06:20 +01:00
guile-modules
guile-gnome-platform: 2.16.1 -> 2015/01/23 git
2015-07-23 04:13:03 -05:00
haskell-modules
configuration-hackage2nix.yaml: update list of broken packages
2016-01-17 12:29:03 +01:00
idris-modules
idris-wl-pprint: Use fetchFromGitHub
2015-11-28 05:53:50 -05:00
interpreters
Merge branch 'master' into staging
2016-01-18 09:48:49 +01:00
libraries
glib: fix compilation on SmartOS/Illumos ( close #12479 )
2016-01-19 17:38: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
perl-DBIx-Class: fix tests
2015-11-30 14:50:42 +01:00
pharo
Refactor Pharo to allow co-installation of VMs
2016-01-18 20:14:19 +01:00
pure-modules
x11: replace its usage by xlibsWrapper directly
2015-09-15 12:08:24 +02:00
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