lethalman
b4824ffc5d
Merge pull request #7103 from gebner/verit
...
Add veriT, an SMT solver.
2015-03-31 12:31:26 +02:00
lethalman
9151983435
Merge pull request #7100 from bcdarwin/fix-twelf
...
twelf: fix by actually including the Twelf SML heap image in the package...
2015-03-31 12:24:12 +02:00
Kevin Marsh
7f573ee2c6
Add nameparser python package
2015-03-31 10:52:32 +01:00
Karn Kallio
3fe7f80ef2
symbola: advance to version 7.21, correcting hash error
2015-03-31 11:09:06 +02:00
lethalman
b6c7eba554
Merge pull request #7097 from prikhi/update-pencil
...
pencil: v2.0.5 -> v2.0.8
2015-03-31 10:10:23 +02:00
Gabriel Ebner
20428cd90f
Add veriT.
2015-03-31 09:14:38 +02:00
Jan Malakhovski
d711528c8b
pythonPackages: notmuch: revert 6258728
, move sourceRoot setting to top-level notmuch
...
Looks like this is the only way to do what 6258728318
was expected to do that doesn't break things and doesn't look like a complete hack.
The problem is that different `fetch`ers generate very different results (from
archive files to plain source trees) and allowing overriding `src` in top-level
derivation when there is a derived python package is no trivial matter.
2015-03-31 05:36:28 +00:00
Spencer Whitt
4012535571
Fix impurity in OpenEXR + IlmBase
2015-03-31 01:27:36 -04:00
Ben Darwin
54dab782be
twelf: fix by actually including the Twelf SML heap image in the package and referencing the SML interpreter so the smlnj package won't be gc'd
2015-03-31 01:11:57 -04:00
Eric Seidel
9fc4c55620
Merge pull request #6815 from giogadi/add-darwin-swt
...
Add Darwin case for java.swt
2015-03-30 21:45:05 -07:00
Eric Seidel
454b8b25aa
Merge pull request #7002 from spwhitt/libmad
...
libmad: build on Darwin
2015-03-30 20:35:44 -07:00
Spencer Whitt
a6303c724f
libmad: build on Darwin
2015-03-30 23:29:19 -04:00
Pavan Rikhi
f67ce9160d
pencil: v2.0.5 -> v2.0.8
...
Switch to actively developed fork.
2015-03-30 22:59:04 -04:00
Arseniy Seroka
7facba28be
Merge pull request #7075 from oxij/x11support-gcc
...
gcc 4.8: add x11Support option so that it would stop evaluating gtk by default
2015-03-31 03:20:40 +03:00
Arseniy Seroka
cde096f440
xkblayout-state: fix name
2015-03-31 03:18:42 +03:00
Arseniy Seroka
62ad004862
apulse: update
2015-03-31 03:17:43 +03:00
aszlig
6a4370f1ba
qca2: Update to new upstream version 2.1.0.
...
This also removes qca2_ossl, because it's now bundled with the main QCA
package and we can now drop all those patches and build system fixes,
because they have switched from autotools to cmake.
Tested against a few builds like PSI and Tomahawk.
Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2015-03-31 02:13:06 +02:00
Tobias Geerinckx-Rice
ee7c9bd86a
Add simple-scan 3.16.0.1
2015-03-31 00:51:47 +02:00
Tobias Geerinckx-Rice
c7362b6b03
netsniff-ng: 0.5.9-rc4-{49-g6f54288 -> 53-gdd5d906}
...
Fixes a bug that prevented mz from working at all.
2015-03-31 00:51:47 +02:00
obadz
be7f104502
sg: add setuid wrapper. (newgrp is a symlink to sg and was already setuid).
...
sudo: add ability for wheel users to change group (as well as user)
2015-03-30 23:50:45 +01:00
obadz
1129f6b0db
mono 3.8.0 -> 3.12.1
...
monodevelop 5.1.4.0 -> 5.7.0.660
2015-03-30 23:48:25 +01:00
Sven Keidel
fc3a714053
gnu-smalltalk: new package
2015-03-31 00:30:49 +02:00
Christian Theune
b15078b579
Provide a basic package for sensu.
...
The server currently starts without error messages (on OS X) if you also
install redis and rabbitmq-server and start their processes without any
further configuration:
$ redis-server
$ rabbitmq-server
$ sensu-server
Haven't tried much more yet, but will in a bit.
(Amended: fix whitespace and string literal formatting issues, and
superfluous dependencies created by the generator script.
Thanks the-kenny!)
2015-03-30 23:56:15 +02:00
Arseniy Seroka
cb9f2f8503
merging ssd-guru: fix conflicts
2015-03-30 23:35:14 +03:00
Shea Levy
df50903da8
Merge branch 'submit/enable-syncthing-osx' of git://github.com/ctheune/nixpkgs
...
Enable syncthing for Mac OS X.
2015-03-30 16:17:53 -04:00
Christian Theune
6daa2462c6
Enable syncthing for Mac OS X.
...
Also requires enabling iana-etc. I'm shooting for "unix" platforms which
seems reasonable. Not sure why this was restricted to linux originally --
the history doesn't tell.
2015-03-30 22:07:02 +02:00
Nikolay Amiantov
7c03829024
Merge pull request #7060 from abbradar/nm-l2tp
...
Support L2TP in NetworkManager
2015-03-30 23:05:42 +03:00
Shea Levy
b77aec818a
Merge branch 'master' of git://github.com/ctheune/nixpkgs
...
bump syncthing version to 0.10.30
2015-03-30 16:03:04 -04:00
Christian Theune
703e43949d
bump syncthing version to 0.10.30
2015-03-30 21:55:51 +02:00
Edward Tjörnhammar
1092b9da48
Merge pull request #7066 from edwtjo/xbmc-pruning
...
Remove XBMC expressions in favor of the Kodi ones
2015-03-30 21:46:29 +02:00
Edward Tjörnhammar
1345a65765
Remove XBMC expressions in favor of the Kodi ones
2015-03-30 21:43:32 +02:00
Philipp Hausmann
a2b584ba5f
haskell-uhc: New version, disable broken platforms.
2015-03-30 18:47:38 +02:00
John Wiegley
f2df60e2fb
Merge pull request #7047 from codyopel/ffmpeg-darwin
...
ffmpeg: improve cross platform support & fix licensing issues, resolves #7013
2015-03-30 11:47:03 -05:00
lethalman
9c6e5527b2
Merge pull request #7028 from kevinmarsh/enum34
...
Update python package enum34 1.0 -> 1.0.4
2015-03-30 18:09:34 +02:00
lethalman
f72b0c43f6
Merge pull request #6762 from lethalman/nixos-install
...
nixos-install: support -j, --cores and --option. Closes #6755
2015-03-30 18:06:53 +02:00
lethalman
fed2cf85ec
Merge pull request #7065 from pmahoney/skarnet-2015-03-28
...
update s6, execline, other skarnet.org
2015-03-30 17:57:41 +02:00
lethalman
dc560b5b02
Merge pull request #7031 from cwoac/mediatomb
...
Add MediaTomb service
2015-03-30 17:49:46 +02:00
lethalman
33fb8e2d52
Merge pull request #7084 from risicle/celery
...
add packages for python-celery and its dependencies
2015-03-30 17:39:33 +02:00
Luca Bruno
dee2a5dda3
obs-studio: fix derivation name
2015-03-30 17:37:24 +02:00
lethalman
ed46e81417
Merge pull request #7079 from jb55/obs-studio
...
add obs-studio
2015-03-30 17:37:02 +02:00
lethalman
f2bb0bf964
Merge pull request #6913 from bdimcheff/add-packages-brasero-soundjuicer
...
Add packages brasero and soundjuicer
2015-03-30 17:31:09 +02:00
lethalman
9bbeb44517
Merge pull request #6950 from joelmo/master
...
searx: update 0.3.0 -> 0.7.0 + fetchgit -> fetchurl
2015-03-30 17:24:00 +02:00
lethalman
9f3153b162
Merge pull request #6958 from lancelotsix/add_basemap_python_module
...
Add python basemap package
2015-03-30 17:22:24 +02:00
Peter Simons
aba61babe3
haskell-pandoc: disable test suite to fix the build
...
The errors look harmless. Reported upstream at https://github.com/jgm/pandoc/issues/2036 .
2015-03-30 16:43:56 +02:00
Peter Simons
179f1b788f
hackage-packages.nix: downgrade blaze-html and haddock-library to fix Pandoc build
2015-03-30 16:43:56 +02:00
Peter Simons
e568408367
Nomyx has been fixed upstream.
2015-03-30 16:43:55 +02:00
Peter Simons
6306f9a761
hackage-packages.nix: re-generate with recent hackage2nix
2015-03-30 16:43:55 +02:00
Peter Simons
d75bcc16f7
haskell-stringsearch no longer needs patching for GHC 7.10.x.
2015-03-30 16:43:55 +02:00
Peter Simons
b9dd22f1cb
haskell-haddock-library fails its test suite.
2015-03-30 16:43:55 +02:00
Peter Simons
d619392bdc
hackage-packages.nix: don't update default version of 'primitive' yet
2015-03-30 16:43:55 +02:00