| .. |
|
arduino
|
platformio: add git to chroot so it is usable by platformio command
|
2018-05-05 02:41:10 -04:00 |
|
beam-modules
|
|
|
|
bower-modules/generic
|
|
|
|
compilers
|
fstar: 0.9.5.0 -> 0.9.6.0
|
2018-05-25 10:28:37 +02:00 |
|
coq-modules
|
coqPackages.tlc: 20171206 -> 20180316 (#40927)
|
2018-05-22 20:55:57 +02:00 |
|
dotnet-modules/patches
|
|
|
|
em-modules/generic
|
emsciptenStdenv: allow reuse without ./autogen.sh
|
2018-03-20 21:31:04 +01:00 |
|
go-modules
|
buildGoPackage: use a separator when joining extraSrcPaths together
|
2018-04-01 17:44:36 +01:00 |
|
guile-modules
|
tree-wide: platforms = platforms.gnu; -> platforms = gnu ++ linux
|
2018-04-30 18:08:48 -05:00 |
|
haskell-modules
|
hackage-packages.nix: automatic Haskell package set update
|
2018-05-23 18:21:13 +02:00 |
|
idris-modules
|
idrisPackages.vdom: init at 0.6.0
|
2018-05-08 11:41:52 +02:00 |
|
interpreters
|
elixir: 1.6.4 -> 1.6.5
|
2018-05-23 11:27:41 -04:00 |
|
java-modules
|
treewide: use more HTTPS URLs
|
2018-03-24 22:04:25 -07:00 |
|
libraries
|
libqalculate: 2.3.0 -> 2.5.0
|
2018-05-24 18:19:45 +02:00 |
|
lisp-modules
|
asdf: 3.3.1 -> 3.3.2
|
2018-05-07 05:20:34 -07:00 |
|
lua-modules
|
|
|
|
misc
|
avrgcc: 7.3.0 -> 8.1.0
|
2018-05-07 05:59:21 -07:00 |
|
mobile
|
androidndk: Fix usage as crossSystem
|
2018-05-17 17:22:27 +02:00 |
|
node-packages
|
ios-rebuild: Unbreak build
|
2018-05-16 14:28:23 -04:00 |
|
ocaml-modules
|
Merge pull request #40884 from vbgl/ocaml-earley-ocaml
|
2018-05-24 23:05:38 +02:00 |
|
perl-modules
|
perlPackages.Paranoid: init at 2.05
|
2018-05-10 16:06:36 +02:00 |
|
pharo
|
|
|
|
pure-modules
|
|
|
|
python-modules
|
python.pkgs.python-language-server: init at 0.18.0
|
2018-05-25 11:00:31 +01:00 |
|
r-modules
|
rPackages.JuniperKernel: fix non-Darwin build
|
2018-05-15 17:50:11 +09:00 |
|
ruby-modules
|
oxidized: init at 0.21.0
|
2018-05-24 04:40:45 +02:00 |
|
tools
|
Merge pull request #41061 from Mic92/python-language-server
|
2018-05-25 11:27:05 +01:00 |
|
web
|
kcgi: init -> 0.10.5
|
2018-05-20 22:37:36 +02:00 |
