philipp/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Activity
%!d() commits 3 branches 0 tags 1.4 GiB
Commit graph

4746 commits

Author SHA1 Message Date
Vladimír Čunát ec3965d8d0 Revert Merge x-updates into master due to mesa bloat 
See #490 discussion.

This reverts commit 1278859d31, reversing
changes made to 0c020c98f9.

Conflicts:
	pkgs/desktops/xfce/core/xfce4-session.nix (take master)
	pkgs/lib/misc.nix (auto)
 2013-05-09 14:03:35 +02:00
Michael Raskin 646868b2e6 Adding Otter theorem prover. The development is frozen, but because of that Otter is considered a very reliable prover from soundness point of view. 2013-05-09 12:23:27 +04:00
Lluís Batlle i Rossell e64b223c8b freicoin: update to 0.0.2 2013-05-08 22:51:39 +02:00
Evgeny Egorochkin 0223566f6e Calligra: bump to 2.5.5. Should be a bugfix release with no surprises. 2013-05-08 18:46:17 +03:00
Vladimír Čunát 1278859d31 Merge branch 'master' into x-updates 
Conflicts (just splitting version from name):
	pkgs/os-specific/linux/systemd/default.nix
 2013-05-08 13:46:46 +02:00
Evgeny Egorochkin d32fafc9e4 Calligra: fix build with KDE 4.10 2013-05-07 17:23:46 +03:00
Lluís Batlle i Rossell ce7c7dece5 kdenlive: update to 0.9.6 2013-05-07 12:19:38 +02:00
Evgeny Egorochkin b0ad529987 K3b: fix to make it build for KDE4.10. 2013-05-07 11:26:37 +03:00
Evgeny Egorochkin 083637896d Removing konq-plugins, since they have been included in kdebase in all KDE versions we have currently 
packaged.
 2013-05-07 10:18:35 +03:00
Evgeny Egorochkin eb4c9efb50 KOffice: superceded by Calligra long time ago. Removing. 2013-05-07 09:27:23 +03:00
Phreedom 008308168f Merge pull request #507 from bjornfor/spyder 
Spyder: add dependencies to make it more featured and make a desktop item
 2013-05-06 13:30:25 -07:00
Bjørn Forsman 36c6a05fd9 spyder: create desktop menu item 2013-05-06 20:52:58 +02:00
Bjørn Forsman 78169ec020 spyder: add recommended and optional dependencies 
Spyder says about itself that it has

  ...the support of IPython (enhanced interactive Python interpreter) and
  popular Python libraries such as NumPy (linear algebra), SciPy (signal
  and image processing) or matplotlib (interactive 2D/3D plotting).

So I think having those available as default is a the right thing to to.
(We can easily make a stripped down spyder expression if needed later.)

I've added the list of recommended and optional dependencies as
described here:

  http://pythonhosted.org/spyder/installation.html#dependencies
 2013-05-06 20:36:17 +02:00
Rickard Nilsson 34347052a6 mopidy: Update to 0.14.1 2013-05-06 11:27:52 +02:00
Peter Simons 15716e3659 haskell-xmobar: update to version 0.17 2013-05-05 23:11:23 +02:00
modulistic 185d102b66 pstree: version bump from 2.33 to 2.36 2013-05-05 21:45:06 +02:00
Phreedom b0f52e08dc Merge pull request #485 from maggesi/proofgeneral_updates 
ProofGeneral: Workaround for bug #458
 2013-05-05 07:18:05 -07:00
Phreedom b06c46e676 Merge pull request #498 from the-kenny/fix-spotify 
Update spotify to 0.9.0.133
 2013-05-05 05:53:46 -07:00
Bjørn Forsman 8095d76a73 spyder: new package 
Spyder (previously known as Pydee) is a powerful interactive development
environment for the Python language with advanced editing, interactive
testing, debugging and introspection features.

The name Spyder comes from Scientific PYthon Development EnviRonment.
 2013-05-05 13:13:45 +02:00
Moritz Ulrich 6d406bd945 Update spotify to 0.9.0.133. 
Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>
 2013-05-05 12:25:21 +02:00
Phreedom 5603d11da8 Merge pull request #482 from coroa/notmuch-gpg2 
notmuch: patch source to use full path of gpg2
 2013-05-03 11:34:29 -07:00
Peter Simons 7b868bbff4 git-annex: update to version 4.20130501 2013-05-03 11:38:58 +02:00
Peter Simons ddbcefd927 haskell-hledger-interest: update to version 1.4.3 2013-05-03 11:38:52 +02:00
Eelco Dolstra b17ba0fbb2 subversion: Update to 1.7.9 
CVE-2013-1845, CVE-2013-1846, CVE-2013-1847, CVE-2013-1849,
CVE-2013-1884.
 2013-05-01 13:15:05 +02:00
Vladimír Čunát 8fc5fb6ecc Merge branch 'master' into x-updates 2013-05-01 08:14:15 +02:00
Vladimír Čunát 42f70220ef firefox20Pkgs: use system jpeg now 
I was using this for a few days without a problem.
 2013-05-01 07:48:35 +02:00
Mathijs Kwik 2f036a21d7 mkvtoolnix: upgrade to 6.2.0 2013-04-30 09:27:02 +02:00
Domen Kozar 197ca4d677 add bittorrent sync 2013-04-27 18:43:43 +02:00
Peter Simons 00101b66fe filezilla: strip trailing whitespace 2013-04-26 22:40:40 +02:00
Peter Simons 41dc6930cd filezilla: cosmetic changes to meta section 2013-04-26 22:40:29 +02:00
Peter Simons 2451e405c2 filezilla: update build to latest version of sqlite 2013-04-26 22:39:20 +02:00
Peter Simons d2b9e65019 Merge pull request #491 from ierton/zathura-fix-file 
zathura: fix missing [/bin/]file issue
 2013-04-26 10:14:07 -07:00
Sergey Mironov 492645a347 zathura: fix missing [/bin/]file issue 2013-04-26 15:24:16 +04:00
aszlig e7b1dfdc39
chromium: Update beta and dev channels to latest. 
This updates the channels to the following new versions:

beta: 27.0.1453.47 -> 27.0.1453.65 (builds fine, tested)
dev:  27.0.1453.47 -> 28.0.1485.0  (builds fine, tested)

As we now don't have any version below 26, this update drops all references to
all older versions as well.

In addition to that, the /usr/bin/gcc reference from:

third_party/WebKit/Source/core/core.gyp/core.gyp

Can now - starting at version 28 - be found in:

third_party/WebKit/Source/WebCore/WebCore.gyp/WebCore.gyp

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2013-04-26 08:10:45 +02:00
aszlig 47a14e3d36
google-talk-plugin: Update to version 3.17.0.0. 
Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2013-04-26 08:10:44 +02:00
viric c278f25c18 Merge pull request #489 from bjornfor/openscad 
openscad: version bump + small fixes
 2013-04-25 00:05:20 -07:00
Bjørn Forsman 7c3c839fb6 openscad: compile the correct version number 
The default version info that is compiled into openscad is the build
date(!). Force the version to the actual release version instead.
 2013-04-25 08:41:46 +02:00
Bjørn Forsman 9f04208116 openscad: add longDescription and license 
longDescription is taken from openscad homepage.
 2013-04-25 08:20:49 +02:00
Bjørn Forsman ee322d440c openscad: bump to 2013.01 
Bump to latest release. Use tarball instead of git.
 2013-04-25 08:19:55 +02:00
Vladimír Čunát bde20f3e88 Merge branch 'master' into x-updates 
Conflicts (just taken x-updates):
	pkgs/servers/x11/xorg/overrides.nix
 2013-04-24 06:29:09 +00:00
Marco Maggesi d9aa18843b ProofGeneral: Workaround for bug #458 
"ProofGeneral 4.2 byte-compilation fails with Emacs 24.2.90"
http://proofgeneral.inf.ed.ac.uk/trac/ticket/458
 2013-04-23 14:09:10 +02:00
Cillian de Róiste 43dfc290ea Distrho: fix build: pin premake to version 3 2013-04-22 23:40:06 +02:00
Mathijs Kwik 40502b492d magit: fix download url 2013-04-22 21:44:04 +02:00
Lluís Batlle i Rossell 078ddf4746 Adding doodle. 2013-04-22 20:57:14 +04:00
Eelco Dolstra f2aaed44aa git: Properly use symlinks instead of hard links 
Git's Makefile has a NO_INSTALL_HARDLINKS flag to produce symlinks
instead of hard links.  However, it still produces hard links between
$out/bin and $out/libexec, hence the patch.

Also, update Git to 1.8.2.1.
 2013-04-22 15:55:01 +02:00
Eelco Dolstra 6ee8bca8ee Revert "git: fix build on FreeBSD" 
This reverts commit ab98d72fad, which
caused the size of the Git package in the store to increase from 18
MiB to 190 MiB.
 2013-04-22 15:26:26 +02:00
Jonas Hoersch 089404358d notmuch: patch source to use full path of gpg2 
gets rid of the dependency on the old gnupg1. and enables decryption
even if the gpg binary is not in the users environment.

warning: i don't know whether the switch from gnupg1 to gnupg
introduces any incompatibilities. this is a works for me patch.
 2013-04-22 10:39:48 +02:00
Peter Simons c9182f112a ledger: update 3.x version to the latest Git snapshot 2013-04-21 20:37:53 +02:00
Michael Raskin e7b491a7e1 Update E prover 2013-04-21 16:30:40 +04:00
Lluís Batlle i Rossell 9d818bebd8 Fixing the startup script of freenet; I forgot the shebang 2013-04-21 10:59:20 +04:00