Commit Graph

64743 Commits

Author SHA1 Message Date
Vincent Laporte
01571ab2d7 coq-mathcomp: refactor 2015-06-19 18:11:33 +02:00
Vincent Laporte
524b7fe178 coq-ssreflect: refactor 2015-06-19 18:11:33 +02:00
Vincent Laporte
0f6b981fba coq-mathcomp: also build and install the documentation 2015-06-19 18:11:33 +02:00
Vincent Laporte
e6b29c024b coq-ssreflect: also build and install the documentation 2015-06-19 18:11:33 +02:00
Eelco Dolstra
8def3d69c7 rustc: Install docs in a separator output
This reduces rustc's size from 359 MiB to 186 MiB.

Maybe we should disable doc generation altogether, since it's very
slow and people who need docs will JFGI anyway. But for now I've left
it.
2015-06-19 18:01:43 +02:00
Mateusz Kowalczyk
8c29f2f948 Merge pull request #8396 from mbakke/rofi
Rofi updates
2015-06-19 15:25:07 +01:00
Mateusz Kowalczyk
fc26e89159 Merge pull request #8394 from mbakke/maim
Add maim and slop
2015-06-19 15:22:20 +01:00
Luca Bruno
6551af69eb add tk-8_5 and fix xconq (XHF) 2015-06-19 16:06:10 +02:00
Robin Gloster
45be5244a4 Wrap the python scripts in lxc 2015-06-19 14:34:09 +02:00
Eelco Dolstra
ffb70f9c51 Don't use camelCase in file names 2015-06-19 14:29:09 +02:00
Thomas Tuegel
a457d29def Merge pull request #8408 from bendlas/update-dropbox-unstable
dropbox: 3.4.6 -> 3.6.7
2015-06-19 07:24:03 -05:00
Luca Bruno
005837d85f remove duplicated gtk-vnc 2015-06-19 14:19:27 +02:00
Luca Bruno
d92ce0d552 guix: use libgcrypt_1_5, fix compilation but not tests (ZHF) 2015-06-19 14:16:07 +02:00
Eelco Dolstra
fef6141662 Revert "procps-ng: Refactor a bit"
This reverts commit dceff137e1. It was
described as a "refactoring", but actually made procps depend on
systemd (which is a heavy dependency) and changed the name of the
package.
2015-06-19 14:14:52 +02:00
Eelco Dolstra
d8c9fa5043 Remove meta.license hack 2015-06-19 14:14:52 +02:00
Damien Cassou
90912f8aa5 Merge pull request #8401 from DamienCassou/document-desktopManagerHandlesLidAndPower-in-systemd
Explanation to desktopManagerHandlesLidAndPower
2015-06-19 14:02:04 +02:00
Herwig Hochleitner
ab7c9e49c2 dropbox: 3.4.6 -> 3.6.7 2015-06-19 13:50:42 +02:00
Jaka Hudoklin
43c93b61ed Merge pull request #8405 from offlinehacker/pkgs/skydns/update
skydns: update to 2.5.0a
2015-06-19 13:46:29 +02:00
Jaka Hudoklin
ef1f827671 skydns: update to 2.5.0a 2015-06-19 13:35:32 +02:00
Jaka Hudoklin
f022c1d1fa Merge pull request #8404 from offlinehacker/pkgs/goPackages/fix-influxdb
goPackages: fix influxdb8 and related packages
2015-06-19 13:32:58 +02:00
Jaka Hudoklin
f1480c8296 goPackages: fix influxdb8 and related packages 2015-06-19 13:23:55 +02:00
Damien Cassou
26e424a4aa Explanation to desktopManagerHandlesLidAndPower
With this patch, systemd-inhibit outputs a descriptive message when
desktopManagerHandlesLidAndPower=true (the default).

Before the patch:

    $ systemd-inhibit
         Who: /nix/store/[...]-xsession [...] (UID 1000/cassou, PID 18561/systemd-inhibit)
        What: handle-power-key:handle-lid-switch
         Why: Unknown reason
        Mode: block

After the patch:

    $ systemd-inhibit
         Who: /nix/store/[...]-xsession [...] (UID 1000/cassou, PID 18561/systemd-inhibit)
        What: handle-power-key:handle-lid-switch
         Why: See NixOS configuration option 'services.xserver.displayManager.desktopManagerHandlesLidAndPower' for more information.
        Mode: block
2015-06-19 11:16:32 +02:00
William A. Kennington III
6f4fbcc981 dnsmasq: Fix build 2015-06-19 00:54:41 -07:00
William A. Kennington III
be9a0a8943 logrotate: 3.8.9 -> 3.9.1 2015-06-18 23:52:33 -07:00
William A. Kennington III
ad9081411c kmod: 20 -> 21 2015-06-18 23:51:12 -07:00
William A. Kennington III
fe03404ade Merge pull request #8382 from DamienCassou/update-pinentry-0.9.4
pinentry: 0.9.1 -> 0.9.4
2015-06-18 23:36:33 -07:00
William A. Kennington III
0952b37177 lightdm-gtk-greeter: 2.0.0 -> 2.0.1 2015-06-18 23:04:56 -07:00
William A. Kennington III
588d20ea39 opensc: 0.14.0 -> 0.15.0 2015-06-18 22:59:38 -07:00
William A. Kennington III
dbed487998 rabbitmq-c: 0.6.0 -> 0.7.0 2015-06-18 22:55:12 -07:00
William A. Kennington III
b8f3c4c659 ttylog: 0.25 -> 0.26 2015-06-18 22:52:44 -07:00
William A. Kennington III
a41a8cee03 tevent: 0.9.24 -> 0.9.25 2015-06-18 22:48:43 -07:00
William A. Kennington III
66c6b8543a tdb: 1.3.4 -> 1.3.6 2015-06-18 22:46:11 -07:00
William A. Kennington III
c64747c44a mumble: 1.2.8 -> 1.2.9 2015-06-18 22:34:55 -07:00
William A. Kennington III
8b7d3127b5 efibootmgr: 0.11.0 -> 0.12 2015-06-18 22:34:43 -07:00
William A. Kennington III
5668e3911c efivar: Fix linking against libdl 2015-06-18 22:34:29 -07:00
William A. Kennington III
a8d04d9d1b libraw: 0.16.0 -> 0.16.1 2015-06-18 22:20:22 -07:00
William A. Kennington III
549eb64bc3 libinput: 0.15.0 -> 0.17.0 2015-06-18 22:19:59 -07:00
William A. Kennington III
99dea2b61a libssh2: 1.5.0 -> 1.6.0 2015-06-18 22:13:56 -07:00
William A. Kennington III
81636c4e60 dosfstools: 3.0.26 -> 3.0.28 2015-06-18 22:06:59 -07:00
William A. Kennington III
0b9419f4a9 efivar: 0.15 -> 0.20 2015-06-18 22:03:00 -07:00
William A. Kennington III
bdeac100db dnsmasq: 2.72 -> 2.73 2015-06-18 21:56:18 -07:00
William A. Kennington III
2f63137a44 lvm2: 2.02.118 -> 2.02.120 2015-06-18 21:50:53 -07:00
William A. Kennington III
af178cbc4e bluez: 5.30 -> 5.31 2015-06-18 21:50:39 -07:00
William A. Kennington III
d5e841765e mbedtls: 1.3.10 -> 1.3.11 2015-06-18 21:50:29 -07:00
William A. Kennington III
1bb39e282d nvidia-x11: 346 -> 352.21 2015-06-18 21:45:51 -07:00
William A. Kennington III
7aa425e541 lftp: 4.6.1 -> 4.6.3a 2015-06-18 21:39:39 -07:00
William A. Kennington III
14792f12d6 mongodb: 3.0.3 -> 3.0.4 2015-06-18 21:35:12 -07:00
William A. Kennington III
6c4dad1692 wiredtiger: 2.6.0 -> 2.6.1 2015-06-18 21:34:46 -07:00
William A. Kennington III
7fd80890c7 git: 2.4.2 -> 2.4.4 2015-06-18 21:24:46 -07:00
William A. Kennington III
4468d52cbb libndp: 1.4 -> 1.5 2015-06-18 21:19:33 -07:00