Vincent Laporte db75b5d052 merlin: update from 2.1 to 2.1.1

2015-01-29 08:43:15 +01: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

merlin: update from 2.1 to 2.1.1

2015-01-29 08:43:15 +01: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

Merge pull request #6000 from k0ral/moreutils

2015-01-28 22:36:57 +01:00

top-level

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

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