BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
26631 commits 1 branch 0 tags 3.8 GiB
Commit graph

4809 commits

Author SHA1 Message Date
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
Peter Simons
f61dcf8777 Merge pull request #472 from bjornfor/git 
git: fix gitweb.cgi runtime dependency on gzip
 2013-04-20 10:00:27 -07:00
Vladimír Čunát
7a25aa94cd gphoto*: update for changed libgphoto version 2013-04-20 12:44:05 +02:00
Vladimír Čunát
3da96b38cd Merge pull request #465 from bjornfor/eclipse 
eclipse: add Eclipse IDE for C/C++ Developers 4.2
 2013-04-20 01:38:39 -07:00
Bjørn Forsman
88f1e643e3 git: fix gitweb.cgi runtime dependency on gzip 
gitweb.cgi uses gzip for creating "snapshots". Without this patch it
doesn't work.
 2013-04-19 22:32:51 +02:00
Vladimír Čunát
5fce03c561 gnash: fix build via using pangox_compat 2013-04-18 11:28:03 +02:00
Vladimír Čunát
e8710f30e2 linphone: fix build via ignoring deprecations 2013-04-18 10:17:41 +02:00
Vladimír Čunát
ec736312d4 Merge branch 'master' into x-updates 
Conflicts:
	pkgs/development/compilers/vala/default.nix (it's different version)
	pkgs/development/libraries/cairo/default.nix (trivial)
 2013-04-17 18:26:28 +02:00
Lluís Batlle i Rossell
cce9e298b8 Changing the source of skype4pidgin 
This github fork works fine, while the previous (original) only segfaults.
 2013-04-16 14:53:59 +02:00
Lluís Batlle i Rossell
9216b0598c Adding skype4pidgin. It crashes. 2013-04-16 14:53:59 +02:00
Lluís Batlle i Rossell
e60cb1713f pidgin: update to 2.10.7 2013-04-15 22:02:35 +02:00
Lluís Batlle i Rossell
37b1937704 pidgin-otr: update to 4.0.0 2013-04-15 21:35:26 +02:00
Bjørn Forsman
07a71f7a1a eclipse: add Eclipse IDE for C/C++ Developers 4.2 
If you upgrade from 3.7 you might get errors like these:

In the Package Explorer:
 Could not create the view: org.eclipse.jdt.ui

And some other stuff in the Error Log; "Unable to resolve plug-in [...]"

The solution is to delete your eclipse workspace (or just the hidden
setting files in there, if you have important user data).
 2013-04-15 21:26:59 +02:00
Michael Raskin
2974309fbd Merge pull request #461 from orbitz/bitlbee-3.2 
Upgrade bitlbee to 3.2
 2013-04-14 23:02:39 -07:00
Peter Simons
0911fe7f3c haskell-github-backup: update to version 1.20130414 2013-04-14 23:06:17 +02:00
Peter Simons
7a69341994 git-annex: drop obsolete dependency on testpack 2013-04-14 21:19:09 +02:00
Lluís Batlle i Rossell
50f3625f70 irssi-otr: updating to a fork more up to date 2013-04-13 18:27:47 +02:00
Lluís Batlle i Rossell
5f2a1806e5 Adding irssi-otr. 2013-04-13 17:17:47 +02:00
Lluís Batlle i Rossell
4837874840 gnunet: update to 0.9.5a (minor bugfixes) 2013-04-13 17:17:16 +02:00
Lluís Batlle i Rossell
9069b8152b freenet: adding a missing jar in the classpath 
It was crashing while running, without it.
 2013-04-13 15:24:28 +02:00
Lluís Batlle i Rossell
49d4d308d4 Adding freenet 
I don't build freenet_ext or bcprov, I just take the jar.
Freenet irc people told me that freenet_ext barely changes and it's a hell to build.
 2013-04-13 15:01:46 +02:00
Vladimír Čunát
17ae1617dc Merge branch 'master' into x-updates 
Conflicts (systemd version is split on x-updates):
	pkgs/os-specific/linux/systemd/default.nix
 2013-04-13 12:21:31 +02:00
aszlig
a3fce096af
chromium: Update all channels to latest versions. 
stable:   26.0.1410.43              -> 26.0.1410.63 (builds fine, tested)
beta/dev: 27.0.1453.15/27.0.1453.12 -> 27.0.1453.47 (builds fine, tested)

This should bring beta and dev in par, as dev was older than the beta version.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2013-04-13 10:31:36 +02:00
aszlig
26431c19cb
virtualbox+guest: Update to new upstream v4.2.12. 
All patch files dropped because they're fixed in this release. For a full list
of fixes that come with this maintenance release, please refer to:

https://www.virtualbox.org/wiki/Changelog

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2013-04-13 10:31:36 +02:00
Lluís Batlle i Rossell
dc50bd550a Adding fish (blowfish over irc) for irssi. 2013-04-13 01:35:16 +02:00
Lluís Batlle i Rossell
7b6a4238b1 silc-client: the irssi plugin segfaults on join, with current irssi. 
I fix and make it build the standalone client.
 2013-04-13 00:24:55 +02:00
Peter Simons
0b4e664a24 git-annex: update to version 4.20130405 2013-04-13 00:13:22 +02:00
Lluís Batlle i Rossell
2080202a34 silc_client: more url problems 
It was harder to test, after nix-prefetch-url. Damn it.
 2013-04-12 23:48:29 +02:00
Lluís Batlle i Rossell
a0bbfe59dd silc_client: error in url 
I should test better before push.
 2013-04-12 23:44:29 +02:00
Lluís Batlle i Rossell
acf2979d9c silc_client: Missing file 2013-04-12 23:41:09 +02:00
Lluís Batlle i Rossell
aaf0a34f2a Adding silc-client as irssi plugin 
Alone, with its own irssi, doesn't build.
 2013-04-12 21:39:07 +02:00
Peter Simons
84ff838780 emacs-prolog-mode: update to version 1.25 2013-04-12 21:33:37 +02:00
Eelco Dolstra
4adad458e7 Remove the "proprietary" license 
We already had "unfree".
 2013-04-12 14:37:50 +02:00
Mathijs Kwik
ca392fb8a9 vlc: upgrade to 2.0.6 2013-04-12 11:40:33 +02:00
Malcolm Matalka
254b4a8a6c Upgrade bitlbee to 3.2 2013-04-12 07:39:58 +02:00
Vladimír Čunát
8249695b61 Merge branch 'master' into x-updates 
Needed that to fix the tarball.
 2013-04-11 23:31:33 +02:00
Shea Levy
1c2565a8ef Add hipchat messaging client 
Signed-off-by: Shea Levy <shea@shealevy.com>
 2013-04-11 14:42:32 -04:00
Vladimír Čunát
7c86a69b2a geany: fix build via a minor update 2013-04-11 19:28:21 +02:00
Lluís Batlle i Rossell
744a215a45 qemu: update to 1.4.0 2013-04-10 18:26:42 +02:00
Lluís Batlle i Rossell
57637d02da offrss: fixing crossbuilding, disabling podofo in that case 2013-04-10 18:26:42 +02:00
Lluís Batlle i Rossell
d8f98d1a85 Adding avxsynth. 
To add it, I also add ffms and log4cpp.
 2013-04-10 15:12:37 +02:00
Eelco Dolstra
bfa358c76e firefox: Update to 20.0 2013-04-09 18:00:26 +02:00
Rickard Nilsson
1f82083c20 darktable: Update to 1.2 2013-04-08 18:22:15 +02:00
Lluís Batlle i Rossell
e0249ffcd0 meld: update to 1.6.1 2013-04-08 12:14:26 +02:00
Lluís Batlle i Rossell
79d155f874 pinta: updating it. It works now. 2013-04-08 11:53:08 +02:00
aszlig
75e5cbde79
chromium: Update beta and dev channels. 
beta: 26.0.1410.43 -> 27.0.1453.15 (builds fine and tested)
dev:  27.0.1448.0  -> 27.0.1453.12 (builds fine and tested)

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2013-04-08 08:51:46 +02:00
aszlig
dcff78f580
taskwarrior: Update to version 2.2.0. 
This update roughly includes the following changes:

 * Spanish es-ES translation
 * New configuration option: print.empty.columns
 * Much improved Asian character support
 * More virtual tags
 * Improved bash completion
 * Task modification time
 * Stats show blocked and blocking tasks
 * New 'blocking' report
 * Additional color rules
 * New helper commands for third-party tools
 * 'columns' command searchable
 * New date shortcuts 'socm' and 'eocm'
 * Improved push/pull messages

For a full list of changes, please head over to:

http://taskwarrior.org/projects/taskwarrior/wiki/Changelog

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2013-04-08 08:51:46 +02:00
Mathijs Kwik
fd76305a9b vlc: enable support for the opus codec 2013-04-08 08:38:10 +02:00
Peter Simons
bd8ccc7c2d flac: update download URL for build fix patch 2013-04-07 23:33:19 +02:00
Cillian de Róiste
a3a3c9c502 Update DISTRHO: audio effects and plugins 2013-04-07 16:24:01 +02:00
Cillian de Róiste
509ea2888a PureData: Update to 0.44, add support for JACK and fix wrapper 2013-04-06 01:42:10 +02:00
Peter Simons
f8faea23f8 emacs-cedet: update to version 1.1 to fix the build 2013-04-06 01:24:46 +02:00
Lluís Batlle i Rossell
77b62dd985 skype-call-recorder: I forgot another patch. grmbl 2013-04-05 17:53:35 +02:00
Lluís Batlle i Rossell
ad5b5bcf0a skype-call-recorder: fix expression and improve conferences 
I missed a semicolon; I also add an upstream patch about
improving the hosted conferences support:
abd67f1d44
 2013-04-05 16:11:03 +02:00
Lluís Batlle i Rossell
d5a036d63d Adding Skype Call Recorder. 2013-04-05 16:03:25 +02:00
Shea Levy
05e5f5d515 Fix tarball 
libiconvOrLibc is null on ppc

Signed-off-by: Shea Levy <shea@shealevy.com>
 2013-04-05 06:59:16 -04:00
Lluís Batlle i Rossell
2187716c53 dwm: adding a patch I missed in a recent commit 2013-04-05 12:50:42 +02:00
Lluís Batlle i Rossell
48f534bce9 mplayer2: add reference to libXxf86vm 
Otherwise, playing h264 with vdpau complains about not able to sync to vsync.
 2013-04-05 10:45:03 +02:00
Rickard Nilsson
0013355b19 gmpc: Add meta.platforms 2013-04-05 09:37:02 +02:00
Peter Simons
47e93cd27e rcs: update to version 5.8.2 
It's profoundly satisfying to know that we have the very latest version of RCS.
RCS users, you see, live on the bleeding edge.
 2013-04-05 08:56:40 +02:00
Cillian de Róiste
742d198def Add mid2key: a tool which maps midi notes to keystrokes 2013-04-05 01:25:34 +02:00
Mathijs Kwik
ecc136b172 aangifte2012: preload library which seems needed 
The last step "gegevens verzenden" will segfault otherwise.
 2013-04-05 00:34:14 +02:00
Lluís Batlle i Rossell
5aacc33406 dwm: fix SDL games with fullscreen 
It worked quite bad when the game resolution was different than the
current.
 2013-04-04 23:32:53 +02:00
Lluís Batlle i Rossell
d0d4e66652 ffmpeg: update to 1.2 (and patching mplayer2) 
Simple patch required by mplayer2 to build with ffmpeg 1.2.
 2013-04-04 23:07:23 +02:00
Vladimír Čunát
eb2e46aab2 Merge branch 'master' into x-updates 
Conflicts:
	pkgs/applications/graphics/rawtherapee/default.nix
	pkgs/applications/misc/blender/default.nix
	pkgs/applications/networking/browsers/chromium/sources.nix
	pkgs/os-specific/linux/kernel/linux-3.9.nix
	pkgs/top-level/all-packages.nix
 2013-04-04 21:43:40 +02:00
Rickard Nilsson
e31ffe6fb0 gmpc 11.8.16: New package, a GTK MPD (Music Player Daemon) client 2013-04-04 17:42:17 +02:00
Rickard Nilsson
7dbec8267c normalize 0.7.7: New package, an audio file normalizer 2013-04-04 17:07:09 +02:00
Moritz Ulrich
f49becb7a6 Merge branch 'master' into dropbox-py 
Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>

Conflicts:
	pkgs/top-level/all-packages.nix
 2013-04-04 00:18:48 +02:00
Alexander Tsamutali
e42014eb5a conkeror: Update to 1.0pre-20130401. 2013-04-03 22:48:17 +04:00
Vladimír Čunát
a89ca06293 Merge pull request #439 from jcumming/recoll.130401 
recoll: add 1.18.1
 2013-04-03 08:22:33 -07:00
Rickard Nilsson
c544639554 darktable: Add 1.2-RC1 as darktable12 2013-04-02 15:53:57 +02:00
Rickard Nilsson
19deeadae0 mopidy: Update to 0.12.0 2013-04-02 15:53:57 +02:00
Lluís Batlle i Rossell
3bdb2ecea4 cinepaint: making it run (missing rpath) 2013-04-02 14:29:01 +02:00
Jack Cummings
ed6ae95e1a fix recoll filters, enable inotify support. 2013-04-01 22:59:22 -07:00
Michael Raskin
4fbd7b0abb Chromium: automatic update picked lite version; maybe non-lite will work 2013-04-02 09:01:54 +04:00
Jack Cummings
7bc828366f recoll-1.18.1 2013-04-01 15:42:41 -07:00
viric
7c56d001b2 Merge pull request #427 from mpashton/mpa 
Upgrade kicad to stable 20130325
 2013-04-01 11:05:51 -07:00
Peter Simons
f3a16d0dd5 update meta.maintainers section 2013-04-01 18:44:33 +02:00
Domen Kožar
e5d3d4712a Merge pull request #436 from bjornfor/tig 
tig: enable bash completion
 2013-04-01 09:42:51 -07:00
Bjørn Forsman
e21c53c211 tig: enable bash completion 
Copy the bash completion script that comes with tig to
$out/etc/bash_completion.d/.

Note: to enable bash completion in NixOS, set
environment.enableBashCompletion = true;
 2013-04-01 18:37:52 +02:00
Domen Kozar
16672fc8b1 xbmc: add pulse support, lame, avahi, libdvdcss 2013-04-01 17:13:00 +02:00
Moritz Ulrich
72a724c0d2 New: yeganesh, a small wrapper around dmenu. 
Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>
 2013-04-01 12:13:01 +02:00
Peter Simons
8b3fd09c00 Merge pull request #433 from jcumming/rawtherapee.130331 
rawtherapee-4.0.10
 2013-04-01 02:42:32 -07:00
Peter Simons
f7b0e161b0 Merge pull request #432 from jcumming/shntool.130322 
shntool-3.0.10
 2013-04-01 02:39:46 -07:00
Michael Raskin
d418a2aaac Chromium: automatic update to the latest 2013-04-01 10:08:11 +04:00
Jack Cummings
1993c18546 missing semicolon. 2013-03-31 22:09:17 -07:00
Jack Cummings
4a9c724377 shntool metadata: license, maintainer, platform 2013-03-31 21:45:40 -07:00
Jack Cummings
437419a124 rawtherapee-4.0.10 . Add a 'float' option to fftw, as this version of rawtherapee requires it. 2013-03-31 21:33:21 -07:00
Michael Ashton
7b01680d87 kicad: upgrade to stable version 20130325, libraries to r220 
- changed to require wxWidgets 2.9 -- seems to satisfy requirement for
libgtkprint, even with gtk2
 2013-03-31 19:17:02 -07:00
Lluís Batlle i Rossell
55f14cc7f3 lame: update from 3.98.4 to 3.99.5 2013-03-30 18:10:38 +01:00
Lluís Batlle i Rossell
a76a9f783e Adding omxplayer, for the raspberrypi. 2013-03-29 21:54:29 +01:00
Domen Kozar
eff57f3b9e ncmpcpp: set platforms 2013-03-29 18:38:12 +01:00
Rok Garbas
6c890824bd fixed typo from previous commit 2013-03-29 18:28:11 +01:00
Rok Garbas
a9c7252a3e i3status and i3lock should have same platform as i3wm 2013-03-29 17:38:59 +01:00
Peter Simons
c0904ba327 Merge pull request #420 from ocharles/lightdm 
lightdm: Add lightdm and lightdm-gtk-greeter
 2013-03-29 08:19:26 -07:00
Oliver Charles
255f402bdd lightdm: Add lightdm and lightdm-gtk-greeter 2013-03-29 15:37:28 +01:00
Domen Kozar
67ce79f5e4 set platforms for i3wm 2013-03-29 13:27:04 +01:00
Domen Kožar
c2b44a8da0 Merge pull request #418 from bjornfor/pitz 
pitz: new package
 2013-03-28 09:39:53 -07:00
Bjørn Forsman
4b1042cf02 pitz: new package 
pitz is a distributed bug tracker, inspired by ditz. Homepage:
http://pitz.tplus1.com/

pitz has a command line interface, pitz-<command>, and a webapp,
pitz-webapp.

TODO: pitz has a pitz-shell utility that depends on ipython, but when I
enabled it it raised an exception. I think it depends on an old IPython
version:

  from IPython.Shell import IPShellEmbed
  ImportError: No module named Shell

A broken pitz-shell doesn't affect the rest of the command line
interface nor the webapp, so it is not critical to have it working.

There are not many distributed bug trackers out there, so I hope that
adding pitz to nixpkgs may inspire people to support pitz (or similar
software).
 2013-03-28 17:25:42 +01:00
Domen Kozar
65057975c8 xbmc: bump to 12.1 2013-03-28 17:21:20 +01:00
Domen Kozar
229616de83 set platforms and correct license to synergy 2013-03-28 13:24:37 +01:00
Vladimír Čunát
7d7407f75f Merge pull request #408 from maggesi/hol_light_updates 
hol_light: update to rev 157
 2013-03-28 05:04:17 -07:00
Cillian de Róiste
0caed13c85 Merge: use Python 3.3 as the default version of Python3 2013-03-28 01:13:37 +01:00
Cillian de Róiste
49b23b29dd Blender: Tidy up, sort inputs, remove unused OPENJPEG option 2013-03-28 01:00:22 +01:00
Cillian de Róiste
ca2a39757c Blender: enable extra features in the Video Sequence Editor 
FFMPEG support allows a greater variety of export and import options.
SNDFILE support allows WAV and other sound file formats to be used.
JACK support allows blender to be used with XJadeo, Ardour or any other JACK away audio editor.
 2013-03-28 00:52:08 +01:00
Cillian de Róiste
043d21b69d Add OpenColorIO support to OpenImageIO and tidy up 2013-03-28 00:46:23 +01:00
Cillian de Róiste
67a1becfdc OpenImageIO Tidy Up: moved to applications/graphics 
oiio includes CLI tools for manipulating graphics
 2013-03-27 23:29:17 +01:00
Cillian de Róiste
64bc336f50 Blender 2.66 WIP 2013-03-27 22:25:33 +01:00
Moritz Ulrich
f071e856d3 Fix platform note in dropbox-cli 
Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>
 2013-03-27 20:56:46 +01:00
Moritz Ulrich
ff953e211e New package: dropbox-cli 
dropbox-cli, part of dropbox-nautilus is a small self-contained python
script to control the dropbox daemon.

Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>
 2013-03-27 20:12:58 +01:00
Rickard Nilsson
608fe14130 darktable: Update to 1.1.4 2013-03-27 16:16:58 +01:00
aszlig
d5c8419823
chromium: Update all channels to latest versions. 
stable: 25.0.1364.152 -> 26.0.1410.43 (builds fine, tested)
beta:   26.0.1410.28  -> 26.0.1410.43 (builds fine, tested)
dev:    26.0.1410.28  -> 27.0.1448.0  (build fixed and tested)

For version 27, this introduces a new dependency on libXtst and removes the
patch for siginfo_t and the pulseaudio array bounds error.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2013-03-27 00:26:56 +01:00
aszlig
432e0f869c
chromium: Remove patch for CLONE_DETACHED. 
This patch was introduced before (7e5109a) the stdenv-updates merge and is no
longer needed, as the current C library doesn't use this flag anymore.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2013-03-27 00:26:56 +01:00
aszlig
adfc5939a7
chromium: Fix updater for version 26 and newer. 
The updater was actually getting the -lite version, which our expression won't
build with, except if we switch some bundled dependencies to those in nixpkgs.

Of course the problem with fetching version 27 was me being stupid and using a
case statement in the updater, as if there won't be any version after 26 ;-)

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2013-03-27 00:26:55 +01:00
Sander van der Burg
d4642465ab dropbox: add x86 support 2013-03-26 16:39:03 +01:00
Lluís Batlle i Rossell
70ae131f62 gimp: update from 2.8.2 to 2.8.4 2013-03-26 15:39:37 +01:00
Cillian de Róiste
67a1c3df94 LinuxSampler: fix the build by disabling a check for a bug 
Without the --disable-nptl-bug-check configure option LinuxSampler
refuses to build. It seems to be a long standing bug. Despite this, I
have used LinuxSampler for over a week now and it seems OK.
 2013-03-25 21:52:38 +01:00
cillianderoiste
bc52258874 Merge pull request #410 from pcapriotti/bitcoin 
Update bitcoin-qt to 0.8.1
 2013-03-25 08:15:33 -07:00
Paolo Capriotti
1ff424afaf Update bitcoin-qt to 0.8.1 2013-03-25 13:50:32 +00:00
Peter Simons
ab98d72fad git: fix build on FreeBSD 
Our hard-linking code depended on md5sum, which FreeBSD doesn't have in its
system environment. To avoid that impure dependency, the hard-linking is now
done with the 'hardlink' utility from Nixpkgs.
 2013-03-25 12:47:39 +01:00
Peter Simons
b08ba87b36 rsync: add meta.license attribute 2013-03-25 12:44:22 +01:00
Peter Simons
58211c125a Merge pull request #407 from maggesi/proofgeneral_updates 
Update ProofGeneral to version 4.2
 2013-03-25 03:33:21 -07:00
Marco Maggesi
fa2d85fded Update HOL Light to rev 157 2013-03-25 10:56:57 +01:00
Florian Friesdorf
9f7aef51ea Revert "chromium-25.0.1364.172, 26.0.1410.40, 27.0.1448.0" 
This reverts commit 6617f5ca9e.

The old situation was definitely better. Sorry for waiting so long for
the revert.
 2013-03-25 07:17:20 +01:00
Jack Cummings
94a3a5e00a shntool-3.0.10 2013-03-24 22:08:09 -07:00
Marco Maggesi
7b35dcdc62 ProofGeneral: remove dead code (compatibility with emacs 23). 2013-03-24 23:43:18 +01:00
Florian Friesdorf
c93aebb87e get iptraf to compile 2013-03-24 14:44:10 +01:00
Shea Levy
4fa4ab3a6e Partially revert my recent kernelPackages changes 
First, pass in `self' again so that overriding works properly (thanks
for pointing that out, @edolstra)

Second, instead of having linuxPackages*.kernel mean something different
inside the set and out, add a new attribute linuxPackages*.kernelDev,
which for the generic kernel is simply linuxPackages*.kernel but for the
manual-config kernel is the `dev' output (which has the build tree,
source tree, etc.)

The second change required trivial modifications in a bunch of
expressions, I verified that all of the linuxPackages* sets defined in
all-packages.nix have the same drv paths before and after the change.

Signed-off-by: Shea Levy <shea@shealevy.com>
 2013-03-24 07:45:00 -04:00
Florian Friesdorf
6617f5ca9e chromium-25.0.1364.172, 26.0.1410.40, 27.0.1448.0 
26.0.1410.28 was broken for me
 2013-03-23 18:20:38 +01:00
Peter Simons
6fc2cccfe6 Add myself as a maintainer to all Haskell packages (re-)generated by hackage4nix. 2013-03-23 15:58:14 +01:00
Lluís Batlle i Rossell
4144141c7b Fixing the teamviewer evaluation and builds. 
Now tested even the tarball, before committing.
 2013-03-22 16:16:37 +01:00
Rok Garbas
f7ddf2fc4a Merge pull request #398 from the-kenny/dunst 
dunst, a lightweight notification daemon
 2013-03-22 05:17:02 -07:00
Moritz Ulrich
c4ffd2cac9 dunst: Add meta.platforms. 
Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>
 2013-03-22 13:00:49 +01:00
Lluís Batlle i Rossell
fb7b910aa3 Fixing tarball (missed assertion) 2013-03-22 12:55:01 +01:00
Peter Simons
7df21af242 wxmaxima: don't try to build this package on FreeBSD 2013-03-22 12:53:07 +01:00
Lluís Batlle i Rossell
d716731cf4 teamviewer: adding a work-in-progress lowprio version 8. 
It requires root running a daemon, just to use the client. Suspicious.
 2013-03-22 12:41:16 +01:00
Lluís Batlle i Rossell
6f64c0c6d6 teamviewer: fixing broken wine reference 2013-03-22 12:17:05 +01:00
Lluís Batlle i Rossell
930ace150b Adding teamviewer client for linux (www.teamviewer.com) 
In fact it uses wine.
 2013-03-22 12:10:50 +01:00