Commit Graph

8896 Commits

Author SHA1 Message Date
shak-mar
46103aa853 rxvt_unicode_with-plugins: add wrapper for urxvtd 2015-04-01 14:32:47 +02:00
Eelco Dolstra
4c8f0e8d1c firefox: Update to 37.0 2015-04-01 14:04:19 +02:00
Eelco Dolstra
b8ccb390b3 blender: Update to 2.74 2015-04-01 13:31:05 +02:00
Domen Kožar
06a810659c Merge pull request #7102 from oxij/fix-fixed-notmuch
pythonPackages: notmuch: revert 6258728, move sourceRoot setting to top-level
2015-04-01 07:14:25 +02:00
lethalman
1670a75285 Merge pull request #6982 from obadz/monodevelop
Monodevelop + Mono upgrade
2015-03-31 16:30:42 +02:00
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
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
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
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
cde096f440 xkblayout-state: fix name 2015-03-31 03:18:42 +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
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
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
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
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
Arseniy Seroka
63f442a590 Merge pull request #7070 from oxij/more-cleanups
More cleanups
2015-03-30 17:35:38 +03:00
lethalman
468876b3f0 Merge pull request #7033 from gebner/jabref
Add jabref, an open source bibliography manager.
2015-03-30 16:08:02 +02:00
lethalman
7ed5918b6c Merge pull request #7048 from joachifm/electrum-2.0.4
Electrum: 2.0.3 -> 2.0.4
2015-03-30 11:15:07 +02:00
William Casarin
497eba7bcb add obs-studio
Open Broadcaster Software is free and open source software for video recording
and live streaming

https://obsproject.com/
2015-03-30 00:56:21 -07:00
Michael Raskin
70a1e3c837 propagate many inputs in imagemagick: otherwise dependent builds fail 2015-03-30 08:46:16 +03:00
William A. Kennington III
b058f829d2 ImageMagick: Disable HDRI for now 2015-03-29 19:37:53 -07:00
William A. Kennington III
f518b88371 xterm: 312 -> 317 2015-03-29 19:02:29 -07:00
Joachim Fasting
522a9c5cb0 Electrum: 2.0.3 -> 2.0.4
Version 2.0.4 contains UI improvements.

Also, change postPatch to preInstall, remove a redundant attribute,
and cleanup meta.
2015-03-30 01:41:39 +02:00
Jan Malakhovski
6ac68a4c59 sylpheed: cleanup 2015-03-29 23:21:04 +00:00
Eric Seidel
7e0bde1e7b Merge pull request #7022 from spwhitt/soxr
soxr: Fix Darwin build
2015-03-29 13:43:30 -07:00
Andreas Baldeau
f079de2dbf Added WebStorm IDE 2015-03-29 16:27:37 +02:00
Aristid Breitkreuz
69874c27ec awesome manpage is broken in chroot builds, disable for now 2015-03-29 11:08:11 +00:00
Nikolay Amiantov
c2a99c0e8c Merge pull request #7062 from abbradar/package-updates
Package updates
2015-03-29 13:20:21 +03:00
Edward Tjörnhammar
d98e037774 kodi: 14.1 -> 14.2 2015-03-29 12:05:53 +02:00
Nikolay Amiantov
5d7847f233 bomi: update 2015-03-29 13:01:47 +03:00
Nikolay Amiantov
dd359e6ef7 urxvt-perls: update 2015-03-29 13:01:47 +03:00
Nikolay Amiantov
cdba27ae9b urxvt-perls: update 2015-03-29 13:01:47 +03:00
Nikolay Amiantov
c7a0925ac2 yEd: update 2015-03-29 13:01:47 +03:00
William A. Kennington III
ae42047bcd lightdm: 1.13.1 -> 1.14.0 2015-03-28 02:26:42 -07:00
Austin Seipp
a6813ca62d nixpkgs: add lean-20150328, a theorem prover.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-03-28 01:47:39 -05:00
Austin Seipp
75ab87edc8 nixpkgs: z3 is now MIT licensed.
It's also been moved to GitHub, meaning we can avoid some of the
hackiness in the original expression. This updates the Git revision, but
only so that it contains the proper license (it's otherwise equivalent
to Z3 v4.3.2)

Also, make sure the python API .py files exist besides the .pyc files.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-03-28 01:04:06 -05:00
William A. Kennington III
49e980fa32 imagemagick: More cleanups 2015-03-27 15:46:08 -07:00
William A. Kennington III
1f632813e4 imagemagick: Refactor 2015-03-27 15:36:26 -07:00
William A. Kennington III
e632b7a0c9 djvulibre: Refactor 2015-03-27 15:36:26 -07:00
William A. Kennington III
5d2fd00457 imagemagick: 6.9.0 -> 6.9.1 2015-03-27 15:36:25 -07:00