Vincent Laporte
58297aa1e7
Why3: build also the Coq tactic.
2015-01-29 08:43:15 +01:00
Edward O'Callaghan
67d0569b25
libraries/libbladeRF: Fix documentation build
...
Some of the documentation is built with pandoc using
some custom bash script. We need to fixup the shebang
for that script to correctly run. Other parts of the
documentation is built using help2man and doxygen.
We also make libtecla a dependency for interactive
help support.
There is an upstream bug that makes builds fail when
pandoc is in PATH. Most importantly however, the
man pages should now build and install correctly.
Signed-off-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
2015-01-29 16:50:41 +11:00
Ambroz Bizjak
6837efe3bb
gawk: Fix cross compiling.
...
Note that this does not trigger rebuild for native builds.
2015-01-29 00:19:57 +01:00
Peter Simons
78980ea300
hackage-packages: re-generate from Hackage 2015-01-28T23:33:14+0100
2015-01-28 23:40:48 +01:00
Arseniy Seroka
7e638e0809
lushtags: mark as broken
2015-01-29 01:33:24 +03:00
Domen Kožar
d639a42241
Merge pull request #6036 from ambrop72/cloog-cross
...
cloog-ppl: Move build inputs to nativeBuildInputs.
2015-01-28 22:43:38 +01:00
Domen Kožar
2d51fe4005
Merge pull request #6031 from offlinehacker/pkgs/influxdb-backup/add
...
Add influxdb-backup
2015-01-28 22:41:21 +01:00
Domen Kožar
1cb02a448a
Merge pull request #6000 from k0ral/moreutils
...
moreutils: 0.54 -> 0.55
2015-01-28 22:36:57 +01:00
Ambroz Bizjak
daa77cb0b2
cloog-ppl: Move build inputs to nativeBuildInputs.
...
This fixes cross-compilation since then we don't try to cross-compile Perl.
2015-01-28 22:30:53 +01:00
koral
3544c17df5
moreutils: 0.54 -> 0.55
2015-01-28 22:30:02 +01:00
Rob Vermaas
d8cba34bea
Update sysdig to 0.1.95
2015-01-28 21:37:09 +01:00
Rok Garbas
21db3eaa60
i3lock: it's cleaner to use $out/share/man in the first place.
...
it is true that $out/man is automatically moved to $out/share/man, but using
"share" folder is cleaner solutions suggested by @edolstra here #6014
2015-01-28 19:56:13 +01:00
lethalman
a15edc22e3
Merge pull request #5615 from nckx/freefall
...
Add freefall: hard drive protection on HP/Dell laptops
2015-01-28 18:52:46 +01:00
koral
3ed8c422a5
rmlint: 1.0.8 -> 2.0.0
2015-01-28 17:35:12 +01:00
Andrey Arapov
2695233823
Adds a new package: ent - A Pseudorandom Number Sequence Test Program
...
The program is useful for evaluating pseudorandom number generators
for encryption and statistical sampling applications, compression
algorithms, and other applications where the information density of a
file is of interest.
Official page http://www.fourmilab.ch/random/
2015-01-28 16:45:46 +01:00
Peter Simons
1ae5dd1457
all-packages.nix: remove broken 'libbluedevil-qt5' attribute to fix Nixpkgs evaluation
2015-01-28 16:40:05 +01:00
Peter Simons
768ad2c131
hackage-packages.nix: re-generate from Hackage 2015-01-28T11:46:01+0100
2015-01-28 16:36:22 +01:00
Eelco Dolstra
32183b2ea4
nspr: Update to 4.10.8
2015-01-28 16:28:42 +01:00
Jaka Hudoklin
9eb3b108e8
Add influxdb-backup
2015-01-28 16:28:31 +01:00
Eelco Dolstra
378006f0f2
Restrict the length of container names
2015-01-28 16:13:00 +01:00
Thomas Tuegel
0ee569694c
Merge pull request #6029 from ttuegel/plasma52
...
Plasma 5.2 preview
2015-01-28 09:08:28 -06:00
Jaka Hudoklin
c0eff1de61
Merge pull request #5939 from offlinehacker/nixos/containers/containers_in_containers
...
nixos/containers: make containers in containers possible
2015-01-28 16:07:17 +01:00
Jaka Hudoklin
2af3ff52c2
nixos/containers: make containers in containers possible
2015-01-28 16:06:44 +01:00
Tobias Geerinckx-Rice
ff5eae075a
Add freefall NixOS service module
2015-01-28 15:59:21 +01:00
Tobias Geerinckx-Rice
94a600772e
Add freefall: hard drive protection on HP/Dell laptops
2015-01-28 15:59:20 +01:00
Thomas Tuegel
aa308252ac
kf56, plasma52: use ordinary stdenv
2015-01-28 08:40:27 -06:00
Thomas Tuegel
41d5797478
kf56.kpackage: patch to allow external paths
2015-01-28 08:39:42 -06:00
Eelco Dolstra
b61d4ac6a5
ntpd: Fork into the background
...
With -n, ntpd will write log messages to both syslog and stderr, which
is ugly.
2015-01-28 15:34:42 +01:00
lethalman
2140080b08
Merge pull request #5750 from rycee/issue/5741
...
Wrap 'tig' command to add with git to PATH.
2015-01-28 14:52:45 +01:00
lethalman
057eac65d9
Merge pull request #5587 from nckx/keyfinder
...
Add libkeyfinder and keyfinder{,-cli} interfaces
2015-01-28 14:49:57 +01:00
lethalman
22244aba42
Merge pull request #5972 from nckx/update-exfat
...
Update fuse-exfat 1.0.1 -> 1.1.0
2015-01-28 14:44:43 +01:00
Damien Cassou
4e7bb192a7
Merge pull request #6026 from DamienCassou/vobject-not-for-python3
...
Fix pythonPackages.vobject not building in Python3
2015-01-28 13:05:13 +01:00
Raymond Gauthier
06068c7798
haskell-defaults.nix: "xhtml" is a core library in GHC 7.8.x
...
Fixes https://github.com/NixOS/nixpkgs/issues/6012 .
2015-01-28 12:43:46 +01:00
lethalman
8a12a2b71b
Merge pull request #6024 from paholg/xflux
...
add xflux
2015-01-28 12:42:44 +01:00
Wout Mertens
7e045d412a
pstree: fix direct reference to gcc
2015-01-28 12:35:54 +01:00
Paho Lurie-Gregg
f504d12b29
add xflux
2015-01-28 12:33:00 +01:00
Pascal Wittmann
609003f978
Merge pull request #6023 from k0ral/shelly
...
shelly: 1.5.6 -> 1.6.0
2015-01-28 12:19:05 +01:00
Pascal Wittmann
fcd3270737
Merge pull request #6011 from taku0/firefox-bin-35.0.1
...
Update firefox-bin to 35.0.1
2015-01-28 12:10:31 +01:00
Vincent Laporte
8e77300cc1
Adds ocp-index
...
ocp-index is a simple and light-weight documentation extractor for OCaml.
Homepage: http://typerex.ocamlpro.com/ocp-index.html
2015-01-28 12:03:25 +01:00
Vincent Laporte
a931de00b3
lambda-term: update from 1.6 to 1.8
2015-01-28 12:03:25 +01:00
Vincent Laporte
66e2f50416
cmdliner requires OCaml ≥ 4
2015-01-28 12:03:25 +01:00
Edward Tjörnhammar
da91fff493
Merge pull request #5959 from malyn/fix-rcm-paths
...
rcm: Use Nix store path for RCM_LIB
2015-01-28 11:36:25 +01:00
koral
758d8d9287
shelly: 1.5.6 -> 1.6.0
2015-01-28 11:30:19 +01:00
lethalman
b97ce8750f
Merge pull request #5847 from arno01/opendkim
...
Enable IPv6 in libmilter
2015-01-28 11:12:05 +01:00
lethalman
56f829e460
Merge pull request #5940 from badi/mendeley
...
new package: Mendeley
2015-01-28 10:57:11 +01:00
Damien Cassou
cda6c039d3
Fix pythonPackages.vobject not building in Python3
2015-01-28 10:48:28 +01:00
lethalman
79d5d95a53
Merge pull request #5973 from nckx/add-exfat-utils
...
Add exfat-utils 1.1.1: free exFAT file system utilities
2015-01-28 10:40:52 +01:00
lethalman
7be008e166
Merge pull request #5970 from nckx/add-clex
...
Add clex 4.6.patch6: full-screen terminal file manager
2015-01-28 10:30:01 +01:00
lethalman
136eea2c16
Merge pull request #6014 from malyn/fix-i3lock-man
...
i3lock: Make sure that man pages get installed
2015-01-28 10:25:06 +01:00
lethalman
2f395150eb
Merge pull request #6010 from svenkeidel/zeal
...
zeal: new package
2015-01-28 10:21:16 +01:00