vbgl
087ded3133
Merge pull request #8044 from vbgl/coqdoc
...
Ssreflect: install the documentation
2015-06-19 18:30:43 +02:00
Vincent Laporte
cd3a7d5be6
ssreflect, mathcomp: better package names
2015-06-19 18:11:33 +02:00
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
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
