JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
60,291 Commits 2 Branches 0 Tags 13 GiB
06f3a686e0
Commit Graph

60291 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
Peter Simons
e42e1ea6de hackage-packages.nix: re-generate from Hackage 2015-03-29T03:47:46+0200 2015-03-30 16:43:55 +02:00