nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-13 09:13:17 +00:00
Code Issues Packages Projects Releases Wiki Activity
26,255 Commits 199 Branches 125 Tags 8.8 GiB
ccc11345c9
Commit Graph

26255 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Michael Raskin
ccc11345c9 Adding jq JSON processor 2013-05-23 14:41:29 +04:00
Michael Raskin
a453e49511 Adding E-KRHyper theorem prover 2013-05-23 14:41:12 +04:00
Michael Raskin
c82d9b6169 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-23 14:40:07 +04:00
Vladimír Čunát
16b2e1b46f mesa WIP: preferLocalBuild, hopefully work around 2013-05-17 17:54:12 +02:00
Vladimír Čunát
92da417fa4 mesa WIP: adding salt to restart hydra 
Hydra seems to have a problem with multiple-output derivations.
 2013-05-17 09:19:04 +02:00
Vladimír Čunát
6e1fa81568 mesa WIP: patch bad rounding (was OK on my HW, but not on hydra) 2013-05-16 20:35:04 +02:00
Vladimír Čunát
d45b50ce6f llvm: add forgotten patch, WIP 2013-05-16 18:49:47 +02:00
Vladimír Čunát
70882b980c WARNING: history from now is going to change (mesa+llvm) 
Current WIP, only tested nouveau (3D works very well).
 2013-05-16 17:16:02 +02:00
Vladimír Čunát
10b79927ba gtk2/3: bugfix updates 2013-05-16 17:07:06 +02:00
Vladimír Čunát
9594a4f6fb xfce: minor updates for several components 
Now tumbler doesn't segfault for me
(at least not as soon as it used to).
 2013-05-08 13:48:51 +02:00
Vladimír Čunát
80e4a64740 xfce4session: bugfix update, superseding the patches 2013-05-08 13:48:51 +02: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
Michael Raskin
0c020c98f9 Updates: Wine, SBCL, XBoard 2013-05-08 10:52:47 +04:00
Michael Raskin
14d87f3a9e Update Linux versions 2013-05-08 10:52:46 +04:00
Phreedom
53799435a2 Merge pull request #509 from coroa/elpy-pkg 
Add python-elpy-1.0.1: Backend for the elpy Emacs mode
 2013-05-07 16:45:29 -07:00
Vladimír Čunát
f58d12c31d libgphoto2: fix build on i686 via a minor update 2013-05-07 17:37:38 +02:00
Eelco Dolstra
cd6da089a6 nginx: Update to 1.2.8 2013-05-07 17:33:51 +02:00
Evgeny Egorochkin
b7bc27cfff KDE 4.10: propagate nepomuk_core along with kdepimlibs. 2013-05-07 17:23:46 +03:00
Evgeny Egorochkin
d32fafc9e4 Calligra: fix build with KDE 4.10 2013-05-07 17:23:46 +03:00
Eelco Dolstra
2e77679b0b systemd: Start ctrl-alt-del.target irreversibly 
This fixes hangs during EC2 reboots (which are implemented by sending
a ctrl-alt-del to the instance).
 2013-05-07 14:34:48 +02:00
Eelco Dolstra
0dfb9ecc35 systemd: Update to 203 2013-05-07 14:34:48 +02:00
Eelco Dolstra
d4561be1cb fontconfig: Use /etc/fonts by default again 
This removes the need to set $FONTCONFIG_FILE, which is especially
important when using Nixpkgs binaries on non-NixOS systems.

See also 9301524c50.  This is a
regression caused by a change in fontconfig's configure switches.
 2013-05-07 13:03:25 +02:00
Jonas Hoersch
17be4b85a3 Add python-elpy-1.0.1: Backend for the elpy Emacs mode 2013-05-07 12:27:10 +02:00
Lluís Batlle i Rossell
ce7c7dece5 kdenlive: update to 0.9.6 2013-05-07 12:19:38 +02:00
Lluís Batlle i Rossell
e087ce095e filegive: update to 0.5.2 
(fixing miniupnpd support)
 2013-05-07 12:19:38 +02:00
Eelco Dolstra
e7480d9cb7 Add Debian 7.0 2013-05-07 11:19:46 +02:00
Eelco Dolstra
abf2d36773 Revert "Revert "Revert "overrideDerivation: Simplify""" 
This reverts commit c2b1ca0296.

It still breaks VM builds: http://hydra.nixos.org/build/4858140
 2013-05-07 10:49:22 +02:00
Eelco Dolstra
18df66f466 Revert "overrideDerivation: Re-attatch passthru and meta to all outputs" 
This reverts commit 6b0e94a516.

It still breaks VM builds: http://hydra.nixos.org/build/4858140
 2013-05-07 10:48:53 +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
4ad55db0ad Adding myself as a maintainer of Qt and KDE 2013-05-07 09:57:10 +03:00
Evgeny Egorochkin
026b9971f5 Remove KBluetooth. BlueDevil should be used instead. 2013-05-07 09:37:53 +03:00
Evgeny Egorochkin
12be8c30a6 Improve bluedevil meta. 2013-05-07 09:36:46 +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
Evgeny Egorochkin
0256e55934 Fix KDE 4.8 and 4.7 build against new SIP 2013-05-06 22:15:07 +03:00
Evgeny Egorochkin
f8ee077afc KDE4.10 dolphin-plugins-*: fix the build. 
Patch contributed by Karn Kallio.
 2013-05-06 22:15:07 +03:00
Evgeny Egorochkin
b2f6770208 KDE4.10 kioslave-{svn,perldoc}: Fix build. 
Patch contributed by Karn Kallio.
 2013-05-06 22:15:07 +03:00
Evgeny Egorochkin
6e406edf0a KDE4.10: Kate: Add experimental python support. 2013-05-06 22:15:06 +03:00
Evgeny Egorochkin
ee4a7cbbf4 KDE4.10 print-manager: Fix build. 
Patch contributed by Karn Kallio.
 2013-05-06 22:15:06 +03:00
Evgeny Egorochkin
a1924fca12 KDE4.10: Fix PyKDE4 build I accidentally left in a broken state. Remove notice from kajongg because it 
compiles fine now.
 2013-05-06 22:15:06 +03:00
Evgeny Egorochkin
a08fba4fce PyQt4: Advance version to 4.10.1. Note: needed for KDE4.10 to build. 
Patch contributed by Karn Kallio.
 2013-05-06 22:15:06 +03:00
Evgeny Egorochkin
7280f5a44f python sip: Advance to version 4.14.6. Note: Needed for KDE4.10 to build. 
Patch contributed by Karn Kallio.
 2013-05-06 22:15:06 +03:00
Evgeny Egorochkin
9f0d9a3b01 KDE 4.10: kdesdk-thumbnailers: Patch the build system to fix build failure. 
Patch contributed by Karn Kallio.
 2013-05-06 22:15:05 +03:00
Evgeny Egorochkin
a2359c02cd KRDC: it builds now, so remove the notice 2013-05-06 22:15:05 +03:00
Evgeny Egorochkin
9097d35321 libvncserver: Advance to version 0.9.9. Note: Fixes KDE4.10 build. 
Patch contributed by Karn Kallio.
 2013-05-06 22:15:05 +03:00
Evgeny Egorochkin
ccbea23039 KStars: forgot to remove the notice that it doesn't build. 2013-05-06 22:15:05 +03:00
Evgeny Egorochkin
e90c15355c indilib: Advance to version 0.9.6. Note: this fixes the build of kstars from KDE4.10. 
Patch contributed by Karn Kallio.
 2013-05-06 22:15:05 +03: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