| .. |
|
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 #42311 from obsidiansystems/haskell-enable-shared-defaults
|
2018-06-21 18:07:11 -04: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
|
tree-wide: platforms = platforms.gnu; -> platforms = gnu ++ linux
|
2018-04-30 18:08:48 -05:00 |
|
haskell-modules
|
LTS Haskell 11.14
|
2018-06-22 17:50:10 +02:00 |
|
idris-modules
|
treewide: use appendToName where appropriate
|
2018-05-25 15:48:31 -05:00 |
|
interpreters
|
erlangR21: init at 21.0
|
2018-06-21 09:36:54 -05:00 |
|
java-modules
|
jogl: reflect recent changes in opengl (#41786)
|
2018-06-10 17:09:19 +02:00 |
|
libraries
|
Merge pull request #42256 from r-ryantm/auto-update/gsl
|
2018-06-21 15:21:48 +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
|
avrgcc: 7.3.0 -> 8.1.0
|
2018-05-07 05:59:21 -07:00 |
|
mobile
|
Merge pull request #41855 from obsidiansystems/gradle-app
|
2018-06-21 17:45:23 -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
|
python.pkgs.cython: fix tests
|
2018-06-20 00:05:12 +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
|
Merge pull request #42258 from r-ryantm/auto-update/godot
|
2018-06-20 23:24:51 +01:00 |
|
web
|
nodejs: 10.4.1 -> 10.5.0
|
2018-06-21 15:03:53 +02:00 |
