Maxime Dénès 90d33e4eaa coqPackages.ssreflect: 1.6.1 -> 1.6.4

2017-11-07 13:26:13 +01:00

..

applications

Merge pull request #31137 from yegortimoshenko/rambox/build-from-source

2017-11-07 10:33:03 +00:00

build-support

Merge pull request #31271 from FRidh/fetchurl

2017-11-06 20:41:22 +01:00

common-updater

…

data

all-cabal-hashes: 2017-10-08T03:25:59Z -> 2017-11-04T17:56:01Z

2017-11-06 13:24:38 +08:00

desktops

Merge #30371: update misc. gnome3-related libraries

2017-11-06 13:00:15 +01:00

development

coqPackages.ssreflect: 1.6.1 -> 1.6.4

2017-11-07 13:26:13 +01:00

games

Merge pull request #30919 from adisbladis/pythonPackages-cleanup

2017-11-06 20:54:51 +01:00

misc

Merge pull request #31316 from Mic92/vim-plugins

2017-11-06 19:06:54 +01:00

os-specific

linux_rpi: 1.20170811 -> 1.20171029

2017-11-06 20:49:48 +02:00

servers

lcdproc: Disable parallel build

2017-11-07 00:17:31 +02:00

shells

nix-zsh-completions: 0.3.1 -> 0.3.2

2017-11-06 19:07:36 +01:00

stdenv

…

test

…

tools

nox: add license information: MIT

2017-11-07 13:50:23 +02:00

top-level

Merge pull request #31120 from peterhoeg/f/sqlite

2017-11-07 10:28:47 +08:00