| .. |
|
arduino
|
platformio: init at 2.7.0
|
2016-01-06 04:09:52 -05:00 |
|
compilers
|
nim: 0.11.2 -> 0.13.0
|
2016-01-20 17:48:45 +01: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
|
Update hex-packages.nix with hermetic rebar3.
|
2016-01-19 12:58:43 +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
|
Use latest version of async when compiling with GHC 8.0.x.
|
2016-01-20 14:33:37 +01:00 |
|
idris-modules
|
idris-wl-pprint: Use fetchFromGitHub
|
2015-11-28 05:53:50 -05:00 |
|
interpreters
|
rubygems: 2.4.1 -> 2.4.8, fixes #8492
|
2016-01-20 03:36:36 +01:00 |
|
libraries
|
gpgme: Use fixed path for GnuPG binaries
|
2016-01-21 01:39:18 +01:00 |
|
lisp-modules
|
asdf: 3.1.5 -> 3.1.6
|
2016-01-01 12:30:17 +03:00 |
|
lua-modules
|
|
|
|
misc
|
avr-gcc-with-avr-libc: remove unused gcc-4.6 patch
|
2015-02-22 12:41:14 +01:00 |
|
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
|
pythonPackages.sphinx: fix tests with Pygments 2.1
|
2016-01-21 04:11: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
|
rebar3-nix-bootstrap: 0.0.2 -> 0.0.3
|
2016-01-19 12:58:33 +01:00 |
|
web
|
nodejs: 5.1.1 -> 5.4.1
|
2016-01-21 10:31:18 +01:00 |
