Marco Maggesi c28eb6c2ba Update HOL Light to version 2016-07-23.

2016-07-28 15:56:20 +02:00

..

applications

Update HOL Light to version 2016-07-23.

2016-07-28 15:56:20 +02:00

build-support

antBuild: run default hooks

2016-07-26 02:02:42 +03:00

data

hasklig: 0.4 -> 0.9 (#17257)

2016-07-25 20:18:09 +01:00

desktops

kde5.systemsettings: include missing qtquickcontrols dependency

2016-07-28 07:38:30 -05:00

development

php: 5.5.37 -> 5.5.38, 5.6.23 -> 5.6.24 (security)

2016-07-28 06:22:23 +02:00

games

chessx: 1.3.2 -> 1.4.0 (#17270)

2016-07-27 21:02:45 +02:00

misc

vimPlugins.vim-auto-save: init and also vimPlugins updated

2016-07-27 13:23:30 +02:00

os-specific

rewritefs: 2016-02-08 -> 2016-07-27

2016-07-27 03:51:08 +02:00

servers

mariadb: 10.1.9 -> 10.1.16 (security)

2016-07-28 06:56:14 +02:00

shells

xonsh: 0.4.1 -> 0.4.3

2016-07-21 01:01:57 +02:00

stdenv

stdenv: ARM bootstrap: Update bootstrap tarballs to hydra-built ones

2016-07-20 18:51:09 +03:00

test

…

tools

sct: Updated sha256 in default.nix (#17163)

2016-07-28 09:21:21 +02:00

top-level

Merge pull request #17338 from matthiasbeyer/update-rtv

2016-07-28 15:01:31 +02:00