| .. |
|
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
|
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
|
|
|
|
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
|
|
|
|
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
|
rebar3-nix-bootstrap: 0.0.2 -> 0.0.3
|
2016-01-19 12:58:33 +01:00 |
|
web
|
update xcode patches for node v0.10.41
|
2016-01-09 14:38:37 -08:00 |
