nixpkgs/pkgs
Pascal Wittmann ff837f9288 Merge pull request #12443 from gebner/lean-ninja
lean: update and add wrapper for linja
2016-01-17 20:00:16 +01:00
..
applications Merge pull request #12443 from gebner/lean-ninja 2016-01-17 20:00:16 +01:00
build-support requireFile: remove colon from the url for easier copy/paste 2016-01-16 21:58:40 +01:00
data Merge pull request #12394 from rasendubi/terminess 2016-01-15 22:45:34 +03:00
desktops cinnamon: remove dead packages 2016-01-14 23:55:47 +01:00
development Merge pull request #12329 from luke-clifton/gsasl-krb5 2016-01-17 17:38:50 +00:00
games Merge pull request #12421 from otwieracz/0ad_0.18_to_0.19 2016-01-17 16:55:24 +01:00
misc vimPlugins.youcompleteme: patch default python path 2016-01-16 20:21:47 +01:00
os-specific conky: 1.10.0 -> 1.10.1 2016-01-17 11:22:10 +01:00
servers Merge pull request #12419 from avnik/rmilter+rspamd 2016-01-17 12:57:51 +01:00
shells fish: fix merge conflict 2016-01-05 23:32:29 +01:00
stdenv stdenv-darwin: add parent attribute to bootstrap 2016-01-16 14:54:11 -05:00
test
tools mates: remove package 2016-01-17 18:11:08 +00:00
top-level pygraphviz: init at 1.3 2016-01-17 18:11:37 +00:00