| .. |
|
arduino
|
platformio: 3.5.2 -> 3.5.3
|
2018-06-19 19:01:34 +02:00 |
|
beam-modules
|
|
|
|
bower-modules/generic
|
|
|
|
compilers
|
Merge pull request #42463 from dtzWill/fix/llvm-38-39-triples-unconditional
|
2018-06-25 09:57:29 -05:00 |
|
coq-modules
|
coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351)
|
2018-06-01 19:31:02 +02:00 |
|
dotnet-modules/patches
|
|
|
|
em-modules/generic
|
|
|
|
go-modules
|
|
|
|
guile-modules
|
|
|
|
haskell-modules
|
haskell-generic-builder: bake the package name and version into --docdir
|
2018-06-22 17:50:11 +02:00 |
|
idris-modules
|
treewide: use appendToName where appropriate
|
2018-05-25 15:48:31 -05:00 |
|
interpreters
|
perl528: init at 5.28.0
|
2018-06-25 13:33:09 +00:00 |
|
java-modules
|
jogl: reflect recent changes in opengl (#41786)
|
2018-06-10 17:09:19 +02:00 |
|
libraries
|
Merge pull request #42325 from manveru/add-gnome-latex
|
2018-06-25 13:56:12 +02:00 |
|
lisp-modules
|
lispPackages: drop pgloader that leads to a circular depedency
|
2018-05-30 23:42:33 +02:00 |
|
lua-modules
|
lua packages: add init.lua to modules search path
|
2018-05-24 13:43:15 +00:00 |
|
misc
|
|
|
|
mobile
|
android: more output size reduction
|
2018-06-22 19:06:11 -04:00 |
|
node-packages
|
Add leetcode-cli tool
|
2018-06-07 20:54:52 +07:00 |
|
ocaml-modules
|
Merge pull request #41591 from vbgl/opaline
|
2018-06-09 01:34:02 +02:00 |
|
perl-modules
|
perlPackages.DBDSQLite: 1.55_07 -> 1.58 (please ignore it)
|
2018-06-08 21:54:37 +00:00 |
|
pharo
|
|
|
|
pure-modules
|
|
|
|
python-modules
|
Merge pull request #42511 from r-ryantm/auto-update/docker-compose
|
2018-06-25 15:16:52 +02:00 |
|
r-modules
|
Merge pull request #42290 from mnacamura/r-igraph-darwin
|
2018-06-20 19:52:36 +02:00 |
|
ruby-modules
|
gem-config: add fog-dnsimple, redis-rack, ffi-rzmq-core, mini_magick (#42055)
|
2018-06-15 12:27:31 +01:00 |
|
tools
|
multi-ghc-travis: update to current git HEAD
|
2018-06-25 17:00:02 +02:00 |
|
web
|
kcgi: 0.10.5 -> 0.10.6 (#42251)
|
2018-06-24 19:19:39 +02:00 |
