Vincent Laporte e6b29c024b coq-ssreflect: also build and install the documentation

2015-06-19 18:11:33 +02:00

..

applications

Merge pull request #8396 from mbakke/rofi

2015-06-19 15:25:07 +01:00

build-support

makeDesktopItem: don't generated a deprecated key

2015-06-18 10:31:48 +02:00

data

geolite-legacy -> 2015-06-15

2015-06-15 19:58:20 +02:00

desktops

remove duplicated gtk-vnc

2015-06-19 14:19:27 +02:00

development

coq-ssreflect: also build and install the documentation

2015-06-19 18:11:33 +02:00

games

add pkgs: zandronum, zandronum-{server,bin}, closes #8338

2015-06-18 11:29:03 +02:00

misc

add pkg: vbam, closes #8339

2015-06-18 11:35:43 +02:00

os-specific

Revert "procps-ng: Refactor a bit"

2015-06-19 14:14:52 +02:00

servers

skydns: update to 2.5.0a

2015-06-19 13:35:32 +02:00

shells

zsh: update from 5.0.7 to 5.0.8

2015-06-08 12:55:38 +02:00

stdenv

Revert "curl: Modernize build"

2015-06-04 14:54:52 +02:00

test

…

tools

Merge pull request #8394 from mbakke/maim

2015-06-19 15:22:20 +01:00

top-level

Merge pull request #8394 from mbakke/maim

2015-06-19 15:22:20 +01:00