3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

5240 commits

Author SHA1 Message Date
Song Wenwu 7ffb3a4ba5 add herbstluftwm 0.5.2 2013-07-18 00:02:53 +08:00
Gergely Risko 97b64665f5 Use fetchgit for vanitygen instead of fetchurl, github changed something 2013-07-17 12:16:47 +02:00
Baptist BENOIST 8db7ff9b83 virtualbox: Comply with the Personal Use and Evaluation License
The direct download was unfortunately not compliant with the VirtualBox
Extension Pack's Personal Use and Evaluation License (PUEL) which
stipulates that any end-user should fetch the binaries from the official
Downloads page.

See https://github.com/NixOS/nixpkgs/issues/672 and
http://www.virtualbox.org/wiki/VirtualBox_PUEL for more info.
2013-07-16 21:24:34 +02:00
Peter Simons f8d885344a haskell-xmonad-contrib: update to version 0.11.2 2013-07-16 15:41:33 +02:00
Domen Kožar ac1803f424 Merge pull request #747 from lovek323/vim-plugins-command-t
vim-plugins: add expression command-t
2013-07-14 23:04:33 -07:00
Russell O'Connor 3538f7c549 Update download link for ssreflect. 2013-07-14 23:41:55 -04:00
cillianderoiste 6eecf5bf67 Merge pull request #745 from lovek323/fluidsynth
fluidsynth: fix build on darwin
2013-07-14 03:34:18 -07:00
Evgeny Egorochkin fba8b902da fix packages to use mirror://xorg 2013-07-14 05:39:02 +03:00
Evgeny Egorochkin da4be371e9 make package use mirror:// for gnu, savannah and gnome repositories where possible 2013-07-14 05:23:06 +03:00
Jason "Don" O'Conal 1d7d0addcc vim-plugins: add expression command-t
* also fix build of vim on darwin
2013-07-14 11:24:45 +10:00
Evgeny Egorochkin b084b29d26 Even more mirror:// fixes 2013-07-14 04:17:07 +03:00
Evgeny Egorochkin cea107c07f More mirror:// URL fixes 2013-07-14 03:31:12 +03:00
Evgeny Egorochkin d0b4c8bfaa gktspell: version bump to 2.0.16 because the old one has disappeared 2013-07-14 03:09:34 +03:00
Evgeny Egorochkin 5ae43d2494 Change more packages from direct downloads to mirror://sourceforge 2013-07-14 02:48:32 +03:00
Evgeny Egorochkin aa85b80459 Change package urls to use mirror://sourceforge 2013-07-14 02:35:26 +03:00
Evgeny Egorochkin 22e62bc467 seg3d: fix version to match tarball 2013-07-14 02:08:55 +03:00
Evgeny Egorochkin d3f53cdde4 alchemy: fix version to match tarball 2013-07-14 02:08:55 +03:00
Evgeny Egorochkin 0f99aace03 ssreflect: fix url 2013-07-14 02:08:54 +03:00
Evgeny Egorochkin 1d07e3ef77 wmii: fix version to match tarball 2013-07-14 02:08:53 +03:00
Evgeny Egorochkin d614ae9959 sylpheed: fix version to match tarball 2013-07-14 02:08:53 +03:00
Evgeny Egorochkin b53f429c6c rapidvn: fix version to match tarball 2013-07-14 02:08:52 +03:00
Evgeny Egorochkin 64d5bf475c matchbox: fix version to match tarball 2013-07-14 02:08:50 +03:00
Evgeny Egorochkin 33dac78323 golly: fix version to match tarball 2013-07-14 02:08:49 +03:00
Jason "Don" O'Conal b4dbb8e498 fluidsynth: fix build on darwin
* remove unnecessary include
2013-07-14 07:35:03 +10:00
Benjamin Cahill ba1ed681b6 Add nvpy, a Simplenote syncing note-taking application 2013-07-12 18:09:53 -05:00
Jason \"Don\" O'Conal 8df4be3ee3 mpg123: fix darwin build (and upgrade to latest)
* disable alsaLib
* upgrade to 1.15.4
2013-07-12 16:26:46 +02:00
Jason \"Don\" O'Conal 8ac7701c4c fluidsynth: fix build on darwin
* disable pulseaudio
* disable alaLib
* disable jackaudio
* add CoreAudio headers
* link to CoreAudio framework
2013-07-12 16:26:44 +02:00
Domen Kožar 864339cf4d Merge pull request #740 from the-kenny/btsync
Update bittorrentSync to 1.1.27.
2013-07-12 04:19:55 -07:00
Moritz Ulrich 50e1a9a06e Update bittorrent-sync to 1.1.33.
Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>
2013-07-12 12:56:11 +02:00
Bjørn Forsman 49fccb03e9 slic3r: new package
Slic3r is a G-code generator for 3D printers.

- Math-Clipper and Boost-Geometry-Utils have been bumped to satisfy
  Slic3r.

- Slic3r has problems with perl 5.16 due to a locale issue (comma vs
  period in floating point numbers). So we use perl 5.14.

- The tests fail, so we skip them. According to the author of Slic3r,
  that should be safe:

    "Tests failed because of a typo when the 0.9.10b tag was applied.
    You can safely ignore the test results, Slic3r will work."

  See https://github.com/alexrj/Slic3r/issues/1303

  For reference, the errors look like this:

    Use of uninitialized value $deg in numeric eq (==) at /tmp/nix-build-perl-slic3r-0.9.10b.drv-0/git-export/t/../lib/Slic3r/TriangleMesh.pm line 328.
    # Looks like your test exited with 255 before it could output anything.
2013-07-11 01:35:00 +02:00
Peter Simons 70835adb28 haskell-git-annex: update to version 4.20130709 2013-07-10 10:29:22 +02:00
Peter Simons ea21636320 sane-backends: update saneBackendsGit to the latest version
For some reason, SANE suddenly stopped recognizing my scanner recently:

 | $ scanimage -L
 |
 | No scanners were identified. If you were expecting something different,
 | check that the scanner is plugged in, turned on and detected by the
 | sane-find-scanner tool (if appropriate). Please read the documentation
 | which came with this software (README, FAQ, manpages).

I was able to remedy this issue by building SANE with the latest version
of the backends package from Git, by adding the following override to
~/.nixpkgs/config.nix:

 | {
 |   packageOverrides = pkgs:
 |   {
 |     saneBackends = pkgs.saneBackendsGit;
 |   };
 | }
2013-07-10 10:14:11 +02:00
aszlig 42c5584cb1
easytag: Update to version 2.1.8.
Easytag has moved to gnome.org and thus this commit also updates and cleans up a
few meta attributes. More information about the move can be found in the
announcement:

https://mail.gnome.org/archives/easytag-list/2012-November/msg00006.html

In order to get it to compile, we need to do a bit of patching, for example the
configure script tries to find libid3tag through pkg-config, but unfortunately
libid3tag doesn't have a *.pc script, so we're patching it out of the configure
script and use NIX_LDFLAGS to inject the library during linking (note the "-lz"
- it's a propagated dependency of libid3tag).

Also added for MP4 support: taglib.

Thanks to @devhell for the notification of the new upstream release.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-07-10 01:33:33 +02:00
Lluís Batlle i Rossell 9ba86ecd14 iptraf: update to 3.0.1 2013-07-09 19:38:55 +02:00
Lluís Batlle i Rossell ff330bc24e gnunet_svn update to 27775 2013-07-09 19:38:55 +02:00
Peter Simons 1f6fbcb176 ikiwiki: update to version 3.20130518 2013-07-09 16:08:42 +02:00
Mathijs Kwik f154735aef freerdp: upgrade to 1.0.2 2013-07-09 07:22:45 +02:00
aszlig 79b1f3069a
chromium: Unset -Werror in gypFlags.
Thanks to @jcumming for notifying me about this in #nixos:

03:47 < jack_c> aszlig: chromium builds with -Werror by default.
03:47 < jack_c> Putting: werror = "";
03:48 < jack_c> into gypFlags fixes that..
...
03:52 < jack_c> aszlig: agree -Werror is a good linting tool, but it should
                probably disabled for distribution.

So, I guess it makes sense in our case, especially because different GCC
versions will issue different warnings.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-07-08 14:27:44 +02:00
Peter Simons 40ad185891 git: update to version 1.8.3.2 2013-07-08 14:04:51 +02:00
Bjørn Forsman e3a67bbb99 diffuse: new package, close #731.
Diffuse is a graphical diff and merge tool.
http://diffuse.sourceforge.net/
2013-07-08 11:14:50 +02:00
Rok Garbas 6b6eaf3bf3 i3lock: updating to 2.5 2013-07-08 01:18:12 +02:00
Lluís Batlle i Rossell c979360b52 Adding a wrapper for sflphone-gnome (to find gtk3 schema files) 2013-07-06 14:34:15 +02:00
Vladimír Čunát 355092dcdc kile: minor update 2013-07-05 14:45:58 +02:00
Jason \"Don\" O'Conal 061462aef9 newsbeuter: fix perl shebang 2013-07-04 19:17:07 +02:00
Jason \"Don\" O'Conal f5a130b6b3 newsbeuter: add expression 2013-07-04 19:17:07 +02:00
Eelco Dolstra abc10b4715 qemu: Allow building only the x86 emulator 2013-07-04 18:27:26 +02:00
Eelco Dolstra b625a16068 qemu: Merge qemu-kvm dependencies 2013-07-04 18:27:26 +02:00
Eelco Dolstra d199fe766a qemu: Merge stuff from qemu-kvm 2013-07-04 18:27:26 +02:00
Eelco Dolstra 9da1586d75 qemu: Update to 1.5.1 2013-07-04 18:27:26 +02:00
Vladimír Čunát 4a0952d2fa fix bad "licence" names
Mostly what I merged from @lovek323.
Such errors can be easily checked by
  nix-env -f . -qa \* --meta --xml --drv-path --show-trace >/dev/null
2013-07-04 18:16:34 +02:00
Peter Simons 9185515611 R: add various features
* Ensure that R can link blas, liblapack, and libgfortran at run-time.
 * Ensure that R can run the Tcl/Tk interpreter.
 * Add Java support.
 * Install texinfo and PDF documentation.
2013-07-04 13:42:47 +02:00
Jason \"Don\" O'Conal 16bc5e12aa mopidy: update to latest version (0.14.2) 2013-07-04 13:02:51 +02:00
Vladimír Čunát 387a691f59 Merge pull request #694 from lovek323/subversion
subversion: fix build on darwin
2013-07-04 02:18:58 -07:00
Vladimír Čunát 01548459be Merge pull request #711 from lovek323/gnuplot
gnuplot and others: fix build on darwin
2013-07-04 02:17:35 -07:00
Jason "Don" O'Conal bd3c2c76c7 subversion: fix build on darwin
* remove useless -no-cpp-precomp flags
2013-07-04 19:10:41 +10:00
Vladimír Čunát 12fdf69849 Merge pull request #712 from lovek323/ncmpcpp
ncmpcpp: fix build on darwin
2013-07-04 01:56:15 -07:00
Jason "Don" O'Conal 7ccf7c1529 ncmpcpp: fix build on darwin
* add libiconvOrEmpty to build inputs
2013-07-04 09:12:39 +10:00
Peter Simons e533af98e4 git-annex: enable web-related features 2013-07-03 18:48:12 +02:00
Jason "Don" O'Conal 72a771b6e4 emacs24: fix build on darwin 2013-07-03 19:57:38 +10:00
Rickard Nilsson ac8eb2523b darktable: Update to 1.2.2 2013-07-02 18:38:56 +02:00
Eelco Dolstra e969c941b3 thunderbird: Update to 17.0.7 2013-07-01 19:55:33 +02:00
Peter Simons 4b75f5a2ae haskell-git-annex: update to version 4.20130627 2013-07-01 12:11:01 +02:00
Peter Simons 2eb36d2a7a Merge pull request #669 from iyzsong/kmplayer
kmplayer: update to 0.11.3d
2013-07-01 02:54:13 -07:00
Vladimír Čunát 9cf9b24dc4 kde4.rsibreak: fix broken download and homepage 2013-07-01 08:55:55 +02:00
Mathijs Kwik a1febc799a whitespace cleaning 2013-07-01 07:52:15 +02:00
Mathijs Kwik cbf48a8cd1 upgrade to texinfo5 for some packages 2013-07-01 07:52:14 +02:00
Mathijs Kwik 04cbaef102 keep lcms versioning in all-packages.nix 2013-07-01 07:52:13 +02:00
Mathijs Kwik 6937609391 clucene_core: upgrade some packages to clucene_core_2
on my systems, I can now override "clucene_core = clucene_core_2" globally in nixpkgs.
so perhaps we can soon drop v1?
2013-07-01 07:52:13 +02:00
Rob Vermaas f01588653c Update get_iplayer to 2.83, and fix the package. 2013-06-29 20:50:44 +02:00
Lluís Batlle i Rossell 169c8ce3f7 Linphone 3.6.1
Lots of updates and new/old libs to get the latest linphone

It segfaults on running.
2013-06-29 16:59:08 +02:00
Lluís Batlle i Rossell a6c1edf947 Updating pjsip to 2.1 2013-06-29 15:14:02 +02:00
Lluís Batlle i Rossell 748a0f607b Updating siproxd to 0.8.1, and libosip. 2013-06-29 15:14:02 +02:00
Shea Levy f3f447ac6f ledger3: Update
Signed-off-by: Shea Levy <shea@shealevy.com>
2013-06-28 20:16:39 -04:00
aszlig bf94beff42
chromium: Update dev channel to v29.0.1547.0.
Build tested and works on my machine.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-06-28 07:54:12 +02:00
Mathijs Kwik d51c01ac8e firefox 22: use system libpng 2013-06-27 21:35:22 +02:00
Mathijs Kwik 0b17251c06 libpng: keep versioning in all-packages.nix, not in individual expressions 2013-06-27 21:35:21 +02:00
Mathijs Kwik 7f413e4d5c whitespace cleaning 2013-06-27 21:35:21 +02:00
Vladimír Čunát 0689016e3e liferea: add -- A GTK-based news feed reader 2013-06-27 20:43:56 +02:00
Vladimír Čunát 38a59aa953 maintainers: change my attrname to be uniform 2013-06-27 20:43:56 +02:00
Eelco Dolstra 2d521d8404 google-talk-plugin: Enable screen sharing 2013-06-27 14:27:46 +02:00
Lluís Batlle i Rossell 5ff3d84137 Adding sflphone.
Merge branch 'sflphone'
2013-06-27 00:10:13 +02:00
Lluís Batlle i Rossell 538a1d3aa1 Making sflphone build, and its gnome client too. 2013-06-27 00:09:26 +02:00
Lluís Batlle i Rossell 53f38dcbd0 Adding partially sflphone (only daemon, maybe failing to build) 2013-06-26 23:48:55 +02:00
Eelco Dolstra 94d9f18e47 firefox: Update to 22.0 2013-06-25 20:58:25 +02:00
Eelco Dolstra 9da4ccaf3d firefox: Rename 21.0.nix to default.nix 2013-06-25 20:58:25 +02:00
Eelco Dolstra 1802152e93 Remove Firefox 20.0 2013-06-25 20:58:25 +02:00
Rickard Nilsson e382e34f51 qemu: Enable support for VDE networking 2013-06-25 19:47:17 +02:00
Eelco Dolstra acba9240cd nixos.org/tarballs -> tarballs.nixos.org
It's currently the same machine, but tarballs.nixos.org should become
an S3/CloudFront site eventually.
2013-06-25 14:12:16 +02:00
Rickard Nilsson 266da813a3 spotify: Update to 0.9.1.55 2013-06-25 12:20:11 +02:00
Rickard Nilsson 270da328b9 qemu: Enable virtfs
This makes it possible to share host directories to qemu guests
using 9P.
2013-06-25 12:20:10 +02:00
Rickard Nilsson 97bf9fbbc8 xbmc: Make it read /etc/zoneinfo 2013-06-25 12:20:10 +02:00
Song Wenwu f305fe1c02 kmplayer: minor fixes
Wrap mplayer into PATH
Remove unneeded dependency on gtk
2013-06-25 07:32:04 +08:00
Domen Kožar 2e212d5c58 Merge pull request #671 from bjornfor/virtualbox
virtualbox-guestadditions: fix xorg incompatibility
2013-06-23 08:10:33 -07:00
Vladimír Čunát 6c86398ff3 virtualbox: minor update, lock versions with guest-additions
I saw no reason to use requireFile, it seems normally downloadable.
2013-06-23 16:14:31 +02:00
Song Wenwu 4cad420d5c smplayer: add platform and set license to stdenv.lib.licenses.gpl3Plus 2013-06-23 21:26:43 +08:00
Vladimír Čunát 45f7b9c319 virtualbox: make guest additions use driver according to xserver version 2013-06-23 14:16:21 +02:00
Bjørn Forsman 43c9ab900b virtualbox-guestadditions: fix xorg incompatibility
A recent X update broke VirtualBox guest additions (vboxvideo driver version
mismatch, desktop won't start). This fixes it.

Here is the error log:

 (II) "glx" will be loaded by default.
 (II) LoadModule: "glx"
 (II) Loading /nix/store/kzvmnjlps51q4piqmwr7zbmxcg2z9vgk-xorg-server-1.13.4/lib/xorg/modules/extensions/libglx.so
 (II) Module glx: vendor="X.Org Foundation"
 	compiled for 1.13.4, module version = 1.0.0
 	ABI class: X.Org Server Extension, version 7.0
 (==) AIGLX enabled
 Loading extension GLX
 (II) LoadModule: "vboxvideo"
 (II) Loading /nix/store/4kbxi00h8xsmfgbws2qqh674lcfp03h6-VirtualBox-GuestAdditions-4.2.14-3.2.46/lib/xorg/modules/drivers/vboxvideo_drv.so
 (II) Module vboxvideo: vendor="Oracle Corporation"
 	compiled for 10.12.0, module version = 1.0.1
 	Module class: X.Org Video Driver
 	ABI class: X.Org Video Driver, version 12.0
 (EE) module ABI major version (12) doesn't match the server's version (13)
 (II) UnloadModule: "vboxvideo"
 (II) Unloading vboxvideo
 (EE) Failed to load module "vboxvideo" (module requirement mismatch, 0)
 (II) LoadModule: "vboxmouse"
 (WW) Warning, couldn't open module vboxmouse
 (II) UnloadModule: "vboxmouse"
 (II) Unloading vboxmouse
 (EE) Failed to load module "vboxmouse" (module does not exist, 0)
 (EE) No drivers available.

Fatal server error:
 no screens found
2013-06-23 13:06:03 +02:00
Song Wenwu 48e1e1cae6 add smplayer 0.8.5 2013-06-23 17:48:21 +08:00
Song Wenwu c74b3e26f7 kmplayer: update to 0.11.3d 2013-06-23 14:53:18 +08:00
Domen Kozar 2c8acd9cec oiio: 1.1.8 -> 1.1.12 2013-06-23 00:11:50 +02:00
Peter Simons 01bc9204e0 git-annex: fix installation of git-annex-shell 2013-06-22 15:41:37 +02:00
Peter Simons 819dbd2539 haskell-hledger-irr: add version 0.1.1.2 2013-06-22 15:41:37 +02:00
aszlig 467608f614
synergy: Only pass cryptopp on Linux platforms.
The second failure, and the last one I'm going to try today:

http://hydra.nixos.org/build/5404634

On the bright side there is at least the fact that version 1.4.10 has failed on
Darwin already, so I guess we don't have a lot of Mac users using Synergy.

Latest (failed) build of 1.4.10:

http://hydra.nixos.org/build/5359408

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-06-21 13:46:22 +02:00
aszlig cfd284443e
synergy: Use bundled crypto++ on non-Linux archs.
Seems that crypto++ in nixpkgs doesn't build on Darwin, so let's use bundled
crypto++ until the version in nixpkgs works well.

This refers to the following build:

http://hydra.nixos.org/build/5404516

Hopefully, this will fix it on Mac OS X, because I don't have a Darwin machine
for testing.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-06-21 13:21:43 +02:00
aszlig 467962b185
synergy: Take over maintenance.
I'm heavily using synergy for daily work, so I'm most probably going to watch
out for changes/improvements/bugs :-)

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-06-21 12:18:21 +02:00
aszlig b0601f6d6f
chromium: Update all channels to latest versions.
Chromium 28.0.1500.52 finally is stable, so the release channels are now:

stable: 28.0.1500.52 (builds fine, tested)
beta:   28.0.1500.52 (same as stable)
dev:    29.0.1541.2  (patch rebased, builds fine, tested)

The user namespace patch doesn't apply for version 29, so I had to rebase it
against the current trunk (revision 207742).

And as version 27 is outdated, we no longer need to distinguish versions for
patching the hardcoded gcc path in core/core.gypi.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-06-21 12:17:55 +02:00
aszlig 9a37a306b8
synergy: Enable unit tests.
Integration tests don't seem to work right now, so let's see if we can figure
out a way to enable them later. But at least running unit tests is better than
not running any tests :-)

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-06-21 12:17:54 +02:00
aszlig d9e0c355a0
synergy: Add support for Xinput2.
This is needed in order to support devices such as gamepads or tablets.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-06-21 12:17:53 +02:00
aszlig ea4afb73d8
synergy: Add support for XrandR.
Nowadays, multiple monitor setups are quite common, so I suppose we'd want
support for that. Especially because users might get confused if synergy is
unable to pick the right screen resolution and thus cause edges to be cut off
from the available pointing area.

The postPatch hook is to force cmake into thinking that we have XRRNotifyEvent,
which we _do_ have with the xrandr version shipped in nixpkgs. Automatic
detection from CMakeLists.txt fails here because it tries to search for the
symbol within the libX11 store path.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-06-21 12:17:53 +02:00
aszlig 57dee2a27e
synergy: Update to new upstream version 1.4.12.
This brings in support for encryption and thus requires the crypto++ library as
an additional dependency. Unfortunately the upstream integration isn't quite the
way we'd like it to be, so we need to add a small patch to ignore the bundled
version and use the package from nixpkgs.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-06-21 12:17:53 +02:00
Lluís Batlle i Rossell 1b8548fc72 Updating umurmur to 0.2.13
Now opus works.
2013-06-21 12:16:15 +02:00
Lluís Batlle i Rossell 34cf9baaa6 Update mumble to 1.2.4
Now it should have opus. The source code of opus comes with mumble.
2013-06-21 11:10:41 +02:00
Domen Kožar 5a0902456e Merge pull request #648 from lovek323/vim
vim_configurable: fix python on darwin
2013-06-20 23:19:51 -07:00
Lluís Batlle i Rossell 3b67955fcf skype: update from 4.1.0.20 to 4.2.0.11 2013-06-20 17:13:46 +02:00
Vladimír Čunát 87fca9cf72 audacious: update 3.2.2 -> 3.3.4, now needs gtk3
Also build on Linux platforms.
Seems to work fine for me.
2013-06-20 14:24:19 +02:00
Peter Simons 513d717d47 Merge pull request #654 from lovek323/sup
sup: update to latest version
2013-06-20 03:09:46 -07:00
Jason "Don" O'Conal cf2b5daa15 sup: update to latest version 2013-06-20 10:09:15 +10:00
Jason "Don" O'Conal 657ef3959b irssi: fix build on darwin
* use `gccApple` (so we can cope with `-no-cpp-precompile`)
* add `libintlOrEmpty`
2013-06-20 09:25:54 +10:00
Lluís Batlle i Rossell 4c6a981070 Adding 'weka'. 2013-06-19 16:19:06 +02:00
Evgeny Egorochkin 6b4eaf71fe Merge pull request #636 from craff/glsurf
Glsurf (3D drawing of implicit surfaces and curves)
2013-06-18 22:34:08 -07:00
Christophe Raffalli 102216f8c9 Drop useless dependencies in glsurf 2013-06-19 05:03:42 +02:00
Evgeny Egorochkin e77a7d21dc Fix attr name to match version 2013-06-19 05:15:05 +03:00
Jason "Don" O'Conal 719b488b10 vim_configurable: fix python on darwin
* was not linking to the correct python library on darwin (using the OS
  X framework, which is not what we want)
2013-06-19 12:06:55 +10:00
Vladimír Čunát f0417726d1 Merge pull request #533 from MarcWeber/submit/eclipses
eclipse: add latest stable eclipse (sdk), fix 3.7 urls, introducing more...
2013-06-18 14:20:10 -07:00
Domen Kozar 1a23f715f4 tig: built for linux 2013-06-18 22:42:12 +02:00
Vladimír Čunát 2058d95eb4 non-Linux platforms: extend to some important pkgs 2013-06-18 22:03:35 +02:00
Peter Simons d815e5eba2 gnucash: fix build (by removing the obsolete potfiles patch) 2013-06-18 13:11:03 +02:00
Peter Simons e006c2fd49 celestia: fix compilation and linking after x-updates merge 2013-06-18 13:11:03 +02:00
Domen Kozar cd1b531867 gnucash: add me as maintainer 2013-06-18 13:04:05 +02:00
Peter Simons efac6d8e73 celestia: help the package find the gtk related libraries 2013-06-18 12:44:24 +02:00
Peter Simons 3e241c3f83 celestia: add patch to support libpng 1.6 2013-06-18 12:44:24 +02:00
Peter Simons e6c48a73f8 celestia: update hashes for the downloaded patches 2013-06-18 12:44:23 +02:00
Evgeny Egorochkin 88eff1efac Merge pull request #619 from lovek323/sdcv
sdcv: add expression
2013-06-17 16:29:53 -07:00
Vladimír Čunát 6bcf790d05 Merge branch 'master' into x-updates 2013-06-17 22:08:16 +02:00
Domen Kožar 25777d2aca Merge pull request #637 from the-kenny/fix-dropbox-cli
Fix dropbox cli
2013-06-17 08:54:40 -07:00
Jaka Hudoklin 4d76f87c13 Add cgminer: gpu, fpga and asic crypto currencies mining application 2013-06-16 21:51:27 +00:00
Moritz Ulrich edaca7bdf0 Add myself as a maintainer of dropbox-cli.
Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>
2013-06-16 23:40:43 +02:00
Moritz Ulrich 1570336325 Fix dropbox-cli.
Dropbox doesn't version the CLI. This broke the download. This patch
also fixes the `dropbox-cli start' command.

Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>
2013-06-16 23:38:33 +02:00
Christophe Raffalli cb980d97d7 added glsurf package 2013-06-16 22:33:47 +02:00
Vladimír Čunát c72ed04892 Merge 'master' and 'stdenv-fixes' into x-updates
Final stabilization phase before merging into master.

Conflicts (glibc-2.13):
	pkgs/top-level/all-packages.nix
2013-06-16 10:13:51 +02:00
Domen Kožar 0d15be335c Merge pull request #629 from lovek323/vim_configurable
vim_configurable: improvements
2013-06-15 10:36:51 -07:00
Peter Simons 38d22b4851 ess: add Emacs Speaks Statistics mode 2013-06-15 17:13:37 +02:00
Michael Raskin 81b7f5fe63 Merge remote-tracking branch 'upstream/master' into x-updates 2013-06-15 17:15:32 +04:00
Jason "Don" O'Conal d166efdff5 sup: add missing dependencies
* rubygems `locale` and `text` were missing from the sup expression
2013-06-15 21:03:01 +10:00
Jason "Don" O'Conal b7b98f04a2 vim_configurable: improvements
* add ruby interpreter (may have been accidentally removed, or may never
  have existed)
* allow selection of GUI options by setting `config.vim.gui`
2013-06-15 20:48:20 +10:00
Peter Simons fc165c0db9 Merge pull request #626 from lovek323/sup
sup: add required gems and separate dependencies
2013-06-15 03:26:10 -07:00
Peter Simons e049b5b972 gnucash: update to version 2.4.13 2013-06-15 11:53:13 +02:00
Russell O'Connor 74d7c12e3a Merge branch 'master' of github.com:NixOS/nixpkgs 2013-06-14 12:18:27 -04:00
Russell O'Connor c9f5959285 Update Coq to version 8.4pl2. 2013-06-14 12:16:52 -04:00
aszlig cfb697b013
chromium: Update beta and dev release channels.
The following new versions were introduced:

beta: 28.0.1500.45 - builds fine and tested
dev:  29.0.1521.3  - builds fine and tested

Although the version from the dev release channel isn't the latest found on
omahaproxy but it's the latest one, that actually has tarballs available.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-06-14 17:50:37 +02:00
aszlig 777351bce4
chromium/updater: Avoid downgrading versions.
Previously we have just checked for equality. When going back in history, that
way if the history is somewhat out-of-sync, we could end up "updating" to an
older version, which we definitely don't want.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-06-14 17:50:36 +02:00
aszlig 872fb3e2ff
chromium/updater: Fetch more previous versions.
Omahaproxy has an URL which lists a history of the published versions, which
allows to not only go back one versions, but several. Now it is ensured, that we
always have the latest _available_ version in sources.nix.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-06-14 17:50:36 +02:00
aszlig 5a6242a401
chromium/updater: Fall back to previous version.
This is especially annoying for the dev channel, as it happens quite frequently
that tarballs are unavailable. So if fetching the latest version doesn't work,
try the second latest version.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-06-14 17:50:36 +02:00
aszlig 8cf68e5645
chromium/updater: Remove workaround for <= v26.
We no longer need the tar.bz2 archives, so let's remove the switch.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-06-14 17:50:35 +02:00
Jason "Don" O'Conal d0d9470519 sup: add required gems and separate dependencies 2013-06-14 18:06:14 +10:00
Michael Raskin 19530856ed Merge remote-tracking branch 'upstream/master' into x-updates
Conflicts:
	pkgs/development/libraries/cairo/default.nix
	pkgs/development/libraries/gdk-pixbuf/default.nix
	pkgs/development/libraries/gtk+/2.x.nix
	pkgs/misc/ghostscript/default.nix
	pkgs/top-level/all-packages.nix
2013-06-13 17:12:43 +04:00
Michael Raskin ed51d54610 Merge pull request #606 from fignuts/master
Add keepass password manager and update mono DLLMap.
2013-06-13 05:42:53 -07:00
Michael Raskin c7536d2fa6 Merge pull request #617 from lovek323/vim_configurable
Get vim_configurable compiling on darwin
2013-06-13 05:41:12 -07:00
Jason "Don" O'Conal 2956b5db46 sdcv: add expression 2013-06-13 22:33:52 +10:00
Jason "Don" O'Conal 6baad4d4d6 vim_configurable: fix compilation on darwin
* compile with gccApple
* enable darwinSupport by default
* do not use patchelf
2013-06-13 22:20:54 +10:00
Mathijs Kwik 0813e7b748 firefox-21: make "use system cairo" optional, defaulting to false 2013-06-13 10:21:47 +02:00
Peter Simons 71439b3e96 Merge pull request #610 from lovek323/sup
Add sup expression
2013-06-12 23:33:19 -07:00
Jason "Don" O'Conal 6f50a9d4f0 sup: use libiconvOrEmpty instead of plain old libiconv 2013-06-13 14:21:20 +10:00
Jason "Don" O'Conal a5e65e66b1 sup: separate dependencies
create separate expressions for gems requiring native extensions to be
built:

* gpgme
* ncursesw_sup
* xapian_full_alaveteli
2013-06-13 10:45:51 +10:00
Jason "Don" O'Conal ee00c7aa4e Add gpgme build input for sup 2013-06-13 10:45:42 +10:00
Jason "Don" O'Conal 4fe22e28cb Add sup expression 2013-06-13 10:42:30 +10:00
Lluís Batlle i Rossell ce9f40f5a7 gnunet-svn: updating to latest 2013-06-12 22:55:58 +02:00
Lluís Batlle i Rossell f2256276af irssi_otr: update to latest master 2013-06-12 22:55:57 +02:00
Eelco Dolstra 6dbb6f78bb subversion: Update to 1.7.10
CVE-2013-1968, CVE-2013-2088, CVE-2013-2112.
2013-06-12 15:56:40 +02:00
Lluís Batlle i Rossell ceea8a18fc weechat: update to 0.4.1 2013-06-12 14:19:00 +02:00
Domen Kozar 808cadd390 tesseract: simplify 2013-06-12 00:50:52 +02:00
Domen Kozar 1b64fc9360 tesseract: upgrade to 3.02.02 and add some languages 2013-06-11 19:22:30 +02:00
Vladimír Čunát 6b433019fa libvpx: update
Also set the shared-vpx for firefox, just to be sure.
Firefox, Chromium, and other seem to work fine.
2013-06-11 18:03:48 +02:00
Vladimír Čunát f724a5314b flac: update, enable tests
Fix includes in VLC.
Tried a few other programs using it, seems fine.
2013-06-11 15:48:42 +02:00
Mathijs Kwik c1bec6fb5b firefox-21: use more system libraries
Conflicts:
	pkgs/applications/networking/browsers/firefox/21.0.nix
2013-06-11 14:05:15 +02:00
Michael Raskin 1a45886454 Merge branch 'master' into x-updates 2013-06-11 15:46:10 +04:00
Mathijs Kwik 1fb979b4f5 firefox-21: fix search box not working when built on xulrunner 2013-06-11 09:32:39 +02:00
Mathijs Kwik ad5970b680 firefox-21: fix building with system cairo 2013-06-11 09:32:38 +02:00
Michael Raskin 46cd2d0d68 Merge pull request #568 from MarcWeber/submit/vim-multiple-version-and-plugins
vim: supporting multiple sources & complicated plugins
2013-06-10 23:06:56 -07:00
Mathijs Kwik 9aa7f55017 firefox: use system jpeg library 2013-06-10 09:04:07 +02:00
Mathijs Kwik 5fb93bd27e firefox: enable the (enabled by default) elf hack
It's supposed to speed things up but had some troubles in the past
that seem to have been fixed
2013-06-10 08:58:54 +02:00
Michael Raskin 8271de6727 Merge remote-tracking branch 'upstream/master' into x-updates
Conflicts:
	pkgs/misc/emulators/wine/default.nix
2013-06-10 10:04:46 +04:00
Andrew Morsillo e1bd332758 Added keepass password manager. Updated mono DLLMap to allow mono to run WinForms applications (keepass). 2013-06-09 23:17:09 +02:00
Evgeny Egorochkin c96c105c5c Merge pull request #600 from bencahill/master
Add pianobar, a command-line Pandora client
2013-06-08 14:36:39 -07:00
Peter Simons 3c05bb799f Merge pull request #603 from craff/emacs-mode/tuareg+update
Added tuareg emacs mode and fixed some other emacs mode.
2013-06-08 14:21:44 -07:00
Benjamin Cahill 9350c1d5ce pianobar: Change license and clean up code
The license was set to unfree so that Hydra doesn't build it; this is
for potential problems arising from the Pandora TOS.
2013-06-08 14:13:36 -05:00
Vladimír Čunát 7db886fdb9 Merge remote-tracking branch 'hydra/master' into x-updates
Conflicts (taken from @7c6f434c):
	pkgs/development/libraries/libgphoto2/default.nix
2013-06-08 15:41:39 +00:00
Jack Cummings bbbf625b7d Cherry-picking gphoto update by Jack Cummings, too 2013-06-08 19:32:52 +04:00
Christophe Raffalli a69cd62f71 Added tuareg emacs mode and fixed some other emacs mode.
ecb emacs mode is commented out because it's dependency appears not to compile.
2013-06-08 12:42:46 +02:00
Benjamin Cahill 00e720471b Add pianobar, a command-line Pandora client 2013-06-07 20:52:34 -05:00
Jack Cummings b0cef0b6b8 gphoto2-2.5.2 and libgphoto2-2.5.2 2013-06-07 10:58:39 -07:00
aszlig 62176d3b4e
chromium: Update stable and beta channels.
These new versions are introduced with this commit:

stable: 26.0.1410.63 -> 27.0.1453.93 (builds fine, tested)
beta:   27.0.1453.81 -> 28.0.1500.20 (builds fine, tested)

Unfortunately the tarball for the dev version 29.0.1530.2 isn't available at the
moment, so we're going to update it later.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-06-07 14:39:00 +02:00
Evgeny Egorochkin 9c6f7cc9c1 Add package versions to some of the packages or fix existing ones to conform to nixpkgs conventions. 2013-06-07 03:15:45 +03:00
Lluís Batlle i Rossell fad6bc90b3 Adding ZNC, irc bouncer. 2013-06-06 23:08:59 +02:00
Eelco Dolstra ebe6b96698 firefox: Update to 21.0
Only problem was that the chrome resources were not in the right place
(and you only see that by running with the -jsconsole flag).
2013-06-06 13:07:54 +02:00
Eelco Dolstra 34dbf4face Remove Firefox 19 2013-06-06 11:59:05 +02:00
Christophe Raffalli a7b8017583 Added imapfilter 2013-06-06 10:48:57 +02:00
Mathijs Kwik a479aafb75 Revert "Fixing LibreOffice configure for now"
This reverts commit 9e4bee5270.
2013-06-05 22:51:21 +02:00
Vladimír Čunát 7af694700c Merge branch 'master' into x-updates
Silently merged badly the firefox 20/21 things. I got that, hopefully
there aren't more (my nixos-rebuild dry-run finds no more errors).
2013-06-05 12:59:47 +02:00
Peter Simons 14ecb17f61 haskell-xmobar: update to version 0.18 2013-06-05 12:17:35 +02:00
Vladimír Čunát 341aadaba1 kdenlive+mlt: enabling some subcomponents, parallel builds 2013-06-05 00:30:44 +02:00
Michael Raskin 9e4bee5270 Fixing LibreOffice configure for now 2013-06-04 20:00:13 +04:00
Vladimír Čunát 7cfdfda910 audacity: minor update, prefer system-wide libs
- Using system-wide libs where we have them (except for portaudio, which
  I couldn't make work).
- Add the soxr library (now the preferred way of audio resampling).
2013-06-04 11:37:43 +02:00
Evgeny Egorochkin 8d167adaf4 Merge pull request #551 from MarcWeber/submit/alchemy
adding alchemy painting application
2013-06-03 15:45:12 -07:00
Peter Simons 7b21e19a82 git-annex: generate build instructions with cabal2nix 2013-06-03 22:09:34 +02:00
Peter Simons 823765e305 haskell-mode: update to current version from git 2013-06-03 10:51:27 +02:00
Evgeny Egorochkin 6609df220b Merge pull request #584 from bjornfor/cgit
cgit: new package
2013-06-02 14:13:05 -07:00
Bjørn Forsman 4ecd9cdb14 cgit: new package
cgit is a web frontend for git repositories - it is a CGI program to use
with your favourite webserver. Add the latest version, 0.9.2.
2013-06-02 18:25:54 +02:00
Peter Simons de100cb899 Merge pull request #575 from errge/master
Add vanitygen
2013-06-01 03:11:14 -07:00
Lluís Batlle i Rossell 2e6c1ebf42 Revert "firefox update to 21.0"
This reverts commit 971337a119.
2013-05-31 20:45:10 +02:00
Lluís Batlle i Rossell 94d83c8953 digikam 3.2: fixing url 2013-05-30 18:46:30 +02:00
Rob Vermaas 298f8fc459 Added bro 2.1 2013-05-30 18:13:50 +02:00
Lluís Batlle i Rossell 71229f8eb9 digikam: updating (2.9 for kde 4.7/8, 3.2 for kde 4.10) 2013-05-30 15:13:53 +02:00
Rob Vermaas 7c3c250a2c Add snort-2.9.4.6 2013-05-30 15:05:39 +02:00
Domen Kozar 03d4faa703 bittorrentSync: fix hash 2013-05-30 13:30:43 +02:00
Gergely Risko 02c1dd624f Add vanitygen 2013-05-30 12:41:29 +02:00
Peter Simons 6fadcc2d69 git-annex: disable building of the web application to fix the build in the presence of yesod 1.2 2013-05-30 12:33:40 +02:00
Peter Simons e7975c0d33 git-annex: update to version 4.20130521 2013-05-30 12:33:40 +02:00
Lluís Batlle i Rossell 2599ec692b gnunet-svn: slight update
For not any special reason
2013-05-30 09:56:30 +02:00
Lluís Batlle i Rossell 14cd1be498 freecad: update to stable from February, 0.13.1830 2013-05-30 09:56:30 +02:00
Marc Weber 67d41e4424 gpl fix 2013-05-30 01:30:48 +02:00
Vladimír Čunát 25471803e4 Merge master into x-updates 2013-05-29 23:25:26 +02:00
Vladimír Čunát b770365574 ReRevert Merge x-updates into master
This reverts commit ec3965d8d0.

Conflicts (taken x-updates):
	pkgs/development/libraries/libgcrypt/default.nix
	pkgs/development/libraries/libgpg-error/default.nix
	pkgs/development/libraries/poppler/default.nix
2013-05-29 23:25:02 +02:00
Lluís Batlle i Rossell 971337a119 firefox update to 21.0 2013-05-29 21:50:02 +02:00
Lluís Batlle i Rossell 4d682cc112 digikam: enable parallel building 2013-05-29 21:50:02 +02:00
Peter Simons 93d7adcba3 Merge pull request #561 from offlinehacker/st
st: Update to 0.4.1 and add support for custom config
2013-05-29 02:16:56 -07:00
Lluís Batlle i Rossell 2e3f53ed27 mumble: making hydra build it 2013-05-28 08:50:44 +02:00
Moritz Ulrich 2f1ab6b21b Update bittorrent-sync to 1.0.134 2013-05-28 00:50:05 +02:00
Lluís Batlle i Rossell bb66651d68 gnunet: removing 0.8
I don't think anyone uses it. Feel free to revert, otherwise.
2013-05-27 23:35:35 +02:00
Lluís Batlle i Rossell 42701dece8 Adding gnunet-svn and libgcrypt-git.
gnunet-svn can't interoperate with gnunet.
2013-05-27 23:35:34 +02:00
Marc Weber 71628d6e35 vim: supporting multiple sources:
- vim-nox: client-server implementation without X
- latest:  latest mercurial sources (still very stable)
- default: latest release

vim-plugins: Introduce an area to put vim plugins which are worth adding to nix
because they need more effort than just "unpacking". Document that
2013-05-27 22:26:29 +02:00
aszlig 2ad7c40a66
gajim: Optional support for notifications.
Actually, Gajim can use notifications through dbus if notification-daemon is
available. Otherwise it falls back to notify-python, which is why I disabled it
by default, especially because upstream support of that Python library isn't
especially awesome ;-)

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-05-27 10:18:01 +02:00
aszlig f273e7629e
gajim: Add support for LaTeX markup.
This needed a bit of patching the paths to the latex and dvipng executables.

In addition, we also address a small bug by using sed:

tmpfd, tmppng = mkstemp(prefix='gajim_tex', suffix='.png')
tmpfd.close()

This obviously won't work, because mkstemp() actually returns a file descriptor
_number_ and not a Python file object.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-05-27 10:18:00 +02:00
aszlig bdedaae691
gajim: Enable SRV support using drill from ldns.
Use a patch from Arch Linux to use drill instead of nslookup. The primary reason
for this is because nslookup is in bind, and we don't want to depend on the
whole bind package just for the sake of supporting SRV lookups.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-05-27 10:18:00 +02:00
aszlig f966e5268f
chromium: Update all channels to latest versions.
This brings in Chromium 27 as the new stable version.

Specific versions of the updated channels:

stable: 26.0.1410.63 -> 27.0.1453.93 (builds fine, tested)
beta:   27.0.1453.81 -> 28.0.1500.20 (builds fine, tested)
dev:    28.0.1500.11 -> 29.0.1516.3  (builds fine, tested)

We now can finally drop the following patches:

 * glibc-2.16-use-siginfo_t.patch
 * pulseaudio_array_bounds.patch

These were for version 26 only and thus are no longer needed.

In addition, we no longer have to use the pre/post attributes, as there is just
_one_ place that uses version specific stuff (path to webcore.gyp).

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-05-27 10:18:00 +02:00
aszlig e7a57971c1
chromium: Switch build system to ninja.
Wanted to do this a long time ago, but never had a reason to do it. But with
Chromium 29 having no make target for chrome_sandbox, we now use ninja as well
as the official build and most other distributions.

The whole build/make flags cruft is now integrated into one buildPhase override
and we just call ninja there by exporting the specific variables.

And this also makes enableParallelBuilding obsolete, as we use NIX_BUILD_CORES
directly now.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-05-27 10:17:59 +02:00
aszlig bdeee9bcc4
chromium: Fix installing logo images.
Actually a "*[0-9]" wildcard isn't enough for some unrelated icons to slip into
the derivation output, so let's explicitely check again within the for loop.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-05-27 10:17:59 +02:00
aszlig d7380bcdc7
gajim: Update gajim to version 0.15.4.
This fixes the following bugs:

 * traceback on decryption of OpenPGP-encrypted messages
 * remote_control: use GED in send_chat_message
 * gajim-0.15.3 can't connect to server without StartTLS support
 * "make check" fails with complaining on src/command_system/mapping.py
 * Account Wizard: Make text selectable
 * Gajim crashes in connect.py

Overview and details:

https://trac.gajim.org/query?status=closed&milestone=0.15.4

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-05-27 10:17:59 +02:00
aszlig 4535c0bbfe
gajim: Clean up and rewrite package expression.
This should clean up the package expression significantly by actually using
explicit input attributes and setting PYTHONPATH and GST_PLUGIN_PATH from
environment variables in the builder.

In addition, this adds a small patch from the upstream Mercurial repository to
add an index.theme to the icons, so Gajim is able to load them correctly from
the store.

With this change, I'm adding myself to the maintainers list as well, because I'm
switching over from TKabber to Gajim.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-05-27 10:17:58 +02:00
Domen Kozar afe180f74c xbmc: 12.1 -> 12.2 2013-05-26 20:53:20 +02:00
Jaka Hudoklin 431fc8b250 st: Update to 0.4.1 and add support for custom config 2013-05-26 12:18:45 +00:00
Domen Kožar e6878aae7b Merge pull request #560 from bjornfor/eagle
eagle: new package
2013-05-26 03:03:10 -07:00
Bjørn Forsman a31ba7ed65 eagle: new package
Eagle is a schematic capture and PCB layout program from CadSoft. This
is proprietary software; CadSoft provide a self-extracting shell script
with embedded tarball of the prebuilt application.

Add the latest Eagle version, 6.4.0.

I've added a small LD_PRELOAD library that redirects operations on the
license file from <eagle_install_path>/bin/eagle.key to
$HOME/.eagle.key. Without this Eagle will never get past the license
dialog (because you cannot write to the nix store).

Eagle also has issues copying its example projects to other locations;
it seems that it wants to preserve the read-only permissions from the
source over to the destination. Because of this it cannot complete the
copy operation because it cannot write the project files into to the
(read-only) project directory it just created. So wrap chmod by OR'ing
in the write-by-owner bit.
2013-05-25 21:12:47 +02:00
aszlig f94d623ba8
gajim: Update to version 0.15.3.
Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-05-25 19:01:44 +02:00
aszlig 25b4b5aeb4
chromium: Update dev channel to v28.0.1500.11.
Build and tests successful on my machine.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-05-25 19:01:44 +02:00
aszlig b08d6a39f8
mplayer(2): Add support and library for bs2b.
This also adds a new package "libbs2b", which is needed in order to support
Bauer stereophonic-to-binaural DSP as an audio filter.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2013-05-25 19:01:43 +02:00
Song Wenwu 325f7a6bb8 add sxiv-1.1 2013-05-24 16:21:34 +08:00
Michael Raskin 4d9e7b2923 Fix NS plugin wrapper build 2013-05-23 17:32:04 +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