Fedor Pakhomov 4e926e50da Stylistical changes for ddccontrol

2015-02-20 16:26:29 +03:00

..

applications

Why3: build also the Coq tactic.

2015-01-29 08:43:15 +01:00

build-support

Remove executable bits from non-executable files

2015-01-27 18:54:38 +01:00

data

zeal: new package

2015-01-28 00:02:50 +01:00

desktops

kf56, plasma52: use ordinary stdenv

2015-01-28 08:40:27 -06:00

development

added ddccontrol package

2015-02-20 00:49:31 +03:00

games

Remove executable bits from non-executable files

2015-01-27 18:54:38 +01:00

misc

orion: add GTK3 theme

2015-01-26 20:59:51 -06:00

os-specific

Update sysdig to 0.1.95

2015-01-28 21:37:09 +01:00

servers

Merge pull request #6031 from offlinehacker/pkgs/influxdb-backup/add

2015-01-28 22:41:21 +01:00

shells

MKSH (version R50d): New Package

2015-01-25 22:09:44 -02:00

stdenv

Add (optional) license white/blacklisting

2015-01-24 17:28:50 +01:00

test

…

tools

Stylistical changes for ddccontrol

2015-02-20 16:26:29 +03:00

top-level

added ddccontrol package

2015-02-20 00:49:31 +03:00