Vincent Laporte
2027caa875
coq-flocq: 2.5.0 -> 2.5.1
2016-01-04 23:37:40 +01:00
Vincent Laporte
3553258b1d
Revert "coqPackages.flocq: 2.4.0 -> 2.5.0"
...
This reverts commit db9bc6875f
.
That reverted commit had introduced a wrong URL.
2016-01-04 23:37:40 +01:00
Vincent Laporte
7462d96a65
ssreflect, mathcomp: fix build
2016-01-04 23:37:40 +01:00
Eric Seidel
222f4b9e2b
gnustep-make: dont write to /Library/GNUstep
2016-01-04 14:07:17 -08:00
rnhmjoj
f22b28764c
hyp: init at 1.2.0
2016-01-04 22:58:03 +01:00
rnhmjoj
bb3cd0e461
pirate-get: update meta info
2016-01-04 22:55:49 +01:00
Eric Seidel
b9e4cc83fa
emacs-packages: remove custom derivations for auto-complete, async, and markdown-mode
2016-01-04 13:19:51 -08:00
Svein Ove Aas
f16594e18b
nixos/fail2ban: Enable jails by default
...
With jails defaulting to 'enabled = true', the sshd jail that NixOS
defines will now be enabled.
[Bjørn: tweak commit message]
2016-01-04 21:52:32 +01:00
Robert Helgesson
436fe952b0
josm: 9060 -> 9229
2016-01-04 21:48:54 +01:00
Tobias Geerinckx-Rice
bb288f43af
pingtcp: install README.md
2016-01-04 21:13:46 +01:00
Tobias Geerinckx-Rice
3a9c863150
pcapc: init at 2015-03-06
2016-01-04 21:13:05 +01:00
Tobias Geerinckx-Rice
286cd8378c
libvirt: apply patch to build 1.3.0 on BSD/Darwin
...
Upstream bug: https://bugzilla.redhat.com/show_bug.cgi?id=1293060
This patch is based on the one attached to that bug report, but
instead of patching the .x files (parsing of which apparently
fails as well) it modifies the pre-generated .c files directly.
This ought to fix #12139 .
2016-01-04 19:42:07 +01:00
Tobias Geerinckx-Rice
4b14ebc16d
androidsdk: re-inherit androidsdk_4_4 in all-packages
...
This was removed in f93e14fa76
but is still used by the `idea` expression.
2016-01-04 19:37:18 +01:00
Tobias Geerinckx-Rice
b4c0495435
pythonPackages.libvirt: 1.2.19 -> 1.3.0
...
This needs to be synchronised with the `libvirt` version.
2016-01-04 19:24:50 +01:00
Ragnar Dahlén
a25bfab690
boot: Update shell script version and remove makeWrapper usage
2016-01-04 17:23:45 +00:00
Vincent Laporte
fde89b6762
alt-ergo: also supported on Darwin
2016-01-04 17:17:44 +01:00
Pascal Wittmann
192fda79e0
Merge pull request #11832 from ktosiek/gupnp-tools-fixes
...
gupnp-tools: add required icons, rename from gupnptools
2016-01-04 17:16:41 +01:00
Eelco Dolstra
6d02d7e740
NixOS tests: Increase hung_task_timeout_secs
...
This hopefully fixes intermittent test failures like
http://hydra.nixos.org/build/29962437
router# [ 240.128835] INFO: task mke2fs:99 blocked for more than 120 seconds.
router# [ 240.130135] Not tainted 3.18.25 #1-NixOS
router# [ 240.131110] "echo 0 > /proc/sys/kernel/hung_task_timeout_secs" disables this message.
assuming that these are caused by high load on the host.
2016-01-04 16:53:42 +01:00
Tobias Geerinckx-Rice
517d8c8846
pingtcp: init at 0.0.3
2016-01-04 16:09:46 +01:00
Eelco Dolstra
f93e14fa76
Make androidsdk refer to a more recent version
2016-01-04 16:07:47 +01:00
Tobias Geerinckx-Rice
8f6ae032c0
ccache: cherry-pick a (backported upstream) bug-fix
2016-01-04 15:11:51 +01:00
Bjørn Forsman
d1cb42f297
system-config-printer: set meta.platforms
2016-01-04 14:21:43 +01:00
Vladimír Čunát
0e1fe66aad
kernel: do not load configs
module ( close #10912 )
...
... because we make it built-in by default.
I can't imagine anyone who wanted to purge this module from his/her system,
so let's keep it simple, at least for now.
2016-01-04 13:59:53 +01:00
Tobias Geerinckx-Rice
21c7a81d5b
Merge pull request #12051 from wido/libvirt-update
...
libvirt: Update from 1.2.19 to 1.3.0
2016-01-04 13:23:51 +01:00
Arseniy Seroka
c2dd20b561
vimPlugins: update 2016-01-04
2016-01-04 14:45:05 +03:00
Arseniy Seroka
e8b2b08c0d
Merge pull request #12130 from NixOS/revert-11946-rkt
...
Revert "rkt: align stage1 information with upstream source"
2016-01-04 14:39:44 +03:00
Arseniy Seroka
387b38e10b
Revert "rkt: align stage1 information with upstream source"
2016-01-04 14:39:34 +03:00
Arseniy Seroka
014ee32abd
Merge pull request #11946 from steveeJ/rkt
...
rkt: align stage1 information with upstream source
2016-01-04 14:39:05 +03:00
Arseniy Seroka
b5bbbd0fe3
f2fs-tools: 1.4.1 -> 1.5.0
2016-01-04 14:23:56 +03:00
Arseniy Seroka
03a842f44d
Merge pull request #12128 from michelk/cmark/init
...
cmark: init at 0.23.0
2016-01-04 14:16:53 +03:00
Rok Garbas
eea1e003dd
libreoffice: adding polish language
2016-01-04 12:07:30 +01:00
Michel Kuhlmann
6ed6d87afc
cmark: init at 0.23.0
2016-01-04 12:04:10 +01:00
Eelco Dolstra
104c252b61
Merge pull request #11279 from rickynils/nixos-rebuild-remote
...
nixos-rebuild: Add option for building and/or deploying on a remote host
2016-01-04 11:52:25 +01:00
Arseniy Seroka
c59277605b
Merge pull request #12121 from benley/psutil-darwin
...
psutil: fix Darwin build
2016-01-04 12:51:38 +03:00
Arseniy Seroka
f8dc12a249
Merge pull request #12115 from rasendubi/xxkb
...
xxkb: Init at 1.11.1
2016-01-04 12:51:09 +03:00
Vladimír Čunát
b559020e27
xorgReplacements: remove this ancient cruft
2016-01-04 10:31:58 +01:00
Domen Kožar
d47389473e
Merge pull request #12127 from FRidh/decorator
...
pythonPackages: fix tqdm and update decorator
2016-01-04 10:06:24 +01:00
Frederik Rietdijk
f3892a2c3e
pythonPackages.decorator: 4.0.4 -> 4.0.6
2016-01-04 09:57:55 +01:00
Frederik Rietdijk
84dc27bf43
pythonPackages.tqdm: fix failing test
2016-01-04 09:57:31 +01:00
Tomasz Kontusz
62d2a91b2b
gupnp-tools: add required icons, rename from gupnptools
2016-01-04 09:34:51 +01:00
Michel Kuhlmann
4c3d76d3c8
r-modules: regenerate CRAN packages
2016-01-04 09:19:24 +01:00
Tobias Geerinckx-Rice
f300b2861d
rawdog: add myself as a maintainer
2016-01-04 04:23:32 +01:00
Tobias Geerinckx-Rice
b2612d4a98
rawdog: 2.20 -> 2.21
2016-01-04 04:23:29 +01:00
Tobias Geerinckx-Rice
5606e8b043
uksmtools: add 1-line comment to clarify fetchgit
use...
2016-01-04 04:07:33 +01:00
Dan Peebles
0313b2e09c
stdenv-darwin: allow easier testing of bootstrap tools
...
This un-hardcodes the bootstrap tools passed into the Darwin stdenv and
thus allows us to quickly iterate on improving the design of the full
bootstrap process. We can easily change the contents of the bootstrap
tools and evaluate an entire bootstrap all the way up to real packages.
2016-01-03 21:47:09 -05:00
Dan Peebles
88c41e1f95
stdenv-darwin: rename folder and associated attribute
...
No point in calling it pure-darwin anymore. It's the only stdenv we have
2016-01-03 21:08:40 -05:00
Dan Peebles
01b0b3cec0
stdenv-darwin: kill old impure Darwin stdenv
...
I'll be moving the other one over it next commit (I split it into two to
improve git's rename detection)
2016-01-03 21:06:24 -05:00
Dan Peebles
e81ae8e5a0
native-darwin-cctools-wrapper: kill it
...
Nothing uses it anymore
2016-01-03 20:28:34 -05:00
Benjamin Staffin
2a469c4075
psutil: fix Darwin build
2016-01-03 15:53:53 -08:00
Tobias Geerinckx-Rice
52f2d9ffc8
Merge pull request #12118 from Radvendii/master
...
tldr: init at 1.0
2016-01-03 23:54:51 +01:00