Commit graph

4751 commits

Author SHA1 Message Date
Evgeny Egorochkin
f2f439a44b Eclipse: replace disappeared mirrors 2013-05-10 23:38:59 +03:00
Evgeny Egorochkin
f948351946 Calligra: update to 2.5.5 this time for real 2013-05-10 16:36:12 +03:00
Evgeny Egorochkin
c3767704f4 KWebKitPart: new package 2013-05-10 05:03:54 +03:00
Evgeny Egorochkin
1e2b208314 Amarok: fix build against KDE 4.10 2013-05-10 04:13:31 +03:00
Michael Raskin
9d92fe013e Adding E-KRHyper theorem prover 2013-05-09 17:47:58 +04:00
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