Vladimír Čunát 13eca6f79a Merge #11067: SmartOS updates ...

I amended some commits slightly.

2015-11-23 14:45:44 +01:00

..

applications

Merge #11067: SmartOS updates

2015-11-23 14:45:44 +01:00

build-support

Merge #11067: SmartOS updates

2015-11-23 14:45:44 +01:00

data

hack-font 2.017 -> 2.018

2015-11-19 23:23:35 +01:00

desktops

gnome-maps: mark 3.16 as broken

2015-11-20 11:24:01 +01:00

development

Merge #11067: SmartOS updates

2015-11-23 14:45:44 +01:00

games

crawl: 0.16.2 -> 0.17.0

2015-11-19 14:48:36 +01:00

misc

hplip: remove duplicate platform definitions

2015-11-21 01:35:34 +01:00

os-specific

use per-derivation sandbox profiles

2015-11-19 11:31:06 -08:00

servers

Merge remote-tracking branch 'origin/master' into staging

2015-11-21 07:46:55 -05:00

shells

pash: init at git-2015-11-06

2015-11-19 23:00:56 +06:00

stdenv

allow networking by default and remove it from derivations

2015-11-19 11:31:06 -08:00

test

…

tools

Merge #11067: SmartOS updates

2015-11-23 14:45:44 +01:00

top-level

Merge #11067: SmartOS updates

2015-11-23 14:45:44 +01:00