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

2156 commits

Author SHA1 Message Date
Peter Simons 098b763939 pkgs/applications/science/logic/prover9: fixed trivial syntax error 
svn path=/nixpkgs/trunk/; revision=23453
 2010-08-26 12:06:05 +00:00
Peter Simons 2c4c301c9b pkgs/applications/science/math/wxmaxima: updated to version 0.8.6 
svn path=/nixpkgs/trunk/; revision=23451
 2010-08-26 11:53:17 +00:00
Peter Simons 83ae38861e pkgs/applications/science/math/maxima: added license tag 
svn path=/nixpkgs/trunk/; revision=23450
 2010-08-26 11:51:10 +00:00
Peter Simons 88b126b9ca pkgs/applications/science/math/maxima: build this package on Unix'ish platforms, but not on Windows 
svn path=/nixpkgs/trunk/; revision=23449
 2010-08-26 11:49:54 +00:00
Peter Simons 24e71fa8fc pkgs/applications/science/math/maxima: updated to version 5.22.1 
svn path=/nixpkgs/trunk/; revision=23448
 2010-08-26 11:44:43 +00:00
Peter Simons 403938b004 pkgs/applications/science/logic/prover9: updated homepage and license 
svn path=/nixpkgs/trunk/; revision=23447
 2010-08-26 11:42:41 +00:00
Peter Simons 340d4a6ddd pkgs/applications/science/logic/prover9: initial version 
svn path=/nixpkgs/trunk/; revision=23446
 2010-08-26 11:37:05 +00:00
Michael Raskin 4f6c18925d Fix installation for updated E prover release 
svn path=/nixpkgs/trunk/; revision=23435
 2010-08-26 04:34:20 +00:00
Michael Raskin 05c7e81eaa Move E prover to applications/science/logic 
svn path=/nixpkgs/trunk/; revision=23434
 2010-08-25 22:38:11 +00:00
Peter Simons 970b3402e9 pkgs/applications/science/logic/hol: initial version 
svn path=/nixpkgs/trunk/; revision=23430
 2010-08-25 19:50:24 +00:00
Rob Vermaas 9fa88c5291 added libxpdf and pdf2xml 
svn path=/nixpkgs/trunk/; revision=23427
 2010-08-25 14:25:51 +00:00
Michael Raskin 90603fd593 Update Midori 
svn path=/nixpkgs/trunk/; revision=23397
 2010-08-24 13:58:57 +00:00
Lluís Batlle i Rossell 689b834242 Updating gtkwave 
svn path=/nixpkgs/trunk/; revision=23391
 2010-08-24 10:00:19 +00:00
Peter Simons 8b2437156b Correct the output directory adding missing prefix "share". 
svn path=/nixpkgs/trunk/; revision=23383
 2010-08-24 08:26:48 +00:00
Peter Simons 14760d869b Add Nix expression for Emacs mode htmlize. 
svn path=/nixpkgs/trunk/; revision=23382
 2010-08-24 08:25:51 +00:00
Michael Raskin 1d067af2ec Update StumpWM 
svn path=/nixpkgs/trunk/; revision=23374
 2010-08-23 19:31:28 +00:00
Ludovic Courtès 8d6af9d471 GNU Gnash 0.8.8. 
svn path=/nixpkgs/trunk/; revision=23365
 2010-08-23 14:52:48 +00:00
Lluís Batlle i Rossell 397a10aba2 Adding Kicad 
svn path=/nixpkgs/trunk/; revision=23352
 2010-08-22 12:09:47 +00:00
Lluís Batlle i Rossell 5c8b4043ee Adding espeak (and one of the libraries it needs, portaudio) 
svn path=/nixpkgs/trunk/; revision=23351
 2010-08-22 12:08:55 +00:00
Lluís Batlle i Rossell f093c8fb18 Making the navipowm store some files in it's $out/share, needed to make it work. 
Nevertheless it still looks for the ini file in the same directory as the executable.

svn path=/nixpkgs/trunk/; revision=23350
 2010-08-22 12:07:50 +00:00
Lluís Batlle i Rossell 9558cf93c4 Updating 'navit' to the latest svn version 
svn path=/nixpkgs/trunk/; revision=23349
 2010-08-22 12:07:03 +00:00
Lluís Batlle i Rossell 63eaf8dd0f Adding NaviPOWM (I don't know how to use it though) 
svn path=/nixpkgs/trunk/; revision=23348
 2010-08-22 12:04:03 +00:00
Lluís Batlle i Rossell 201d3ac791 Fixing the navit installation disabling the build of the sample map (so it does not have to 
download anything at build time)

svn path=/nixpkgs/trunk/; revision=23347
 2010-08-22 12:01:41 +00:00
Lluís Batlle i Rossell 86d5e94cda Adding 'navit' (it still does not build because it wants to download maps) 
svn path=/nixpkgs/trunk/; revision=23346
 2010-08-22 11:33:57 +00:00
Yury G. Kudryashov 3537d94672 Move yakuake to pkgs 
svn path=/nixpkgs/trunk/; revision=23331
 2010-08-21 19:30:15 +00:00
Yury G. Kudryashov 682e4ae09e Move konversation to pkgs 
svn path=/nixpkgs/trunk/; revision=23330
 2010-08-21 19:29:47 +00:00
Yury G. Kudryashov 62ddc0e6df Use tarball snapshot 
svn:externals cause problems with fetchsvn.

svn path=/nixpkgs/trunk/; revision=23292
 2010-08-20 21:36:11 +00:00
Yury G. Kudryashov 879baa7c58 MPlayer: various updates 
1. Add pulseaudio and xsreensaver support
2. Use default arguments instead of custom args in all-packages.nix.
3. Remove ? null. callPackage passes all these args anyway.
4. Add binary codecs for non-i686 platforms. Have no video to test.
5. Use fetchsvn instead of gentoo-made snapshot.

svn path=/nixpkgs/trunk/; revision=23285
 2010-08-20 20:09:22 +00:00
Rob Vermaas 544cb2a0c9 updated calibre to 0.7.14 
svn path=/nixpkgs/trunk/; revision=23268
 2010-08-20 09:07:35 +00:00
Ludovic Courtès b4f887b7fb GNU Zile 2.3.19. 
svn path=/nixpkgs/trunk/; revision=23254
 2010-08-19 16:53:28 +00:00
Armijn Hemel f194a8aa93 update to 2.7.3 
svn path=/nixpkgs/trunk/; revision=23215
 2010-08-17 20:28:40 +00:00
Eelco Dolstra 4cbec5ca20 * Latest Flash player. 
svn path=/nixpkgs/trunk/; revision=23204
 2010-08-17 13:13:34 +00:00
Yury G. Kudryashov 5422f21700 xscreensaver: move hacks to default location, use stdenv, more deps 
svn path=/nixpkgs/trunk/; revision=23161
 2010-08-13 14:06:23 +00:00
Michael Raskin 6c4b96434e Update BzrTools together with Bazaar 
svn path=/nixpkgs/trunk/; revision=23157
 2010-08-12 19:59:30 +00:00
Michael Raskin c4fb841955 An update for Bazaar was long overdue 
svn path=/nixpkgs/trunk/; revision=23156
 2010-08-12 19:53:38 +00:00
Lluís Batlle i Rossell 3a3867869a Adding tetgen 
svn path=/nixpkgs/trunk/; revision=23138
 2010-08-12 10:59:05 +00:00
David Guibert 829f6c2108 update chrome to available snapshots. 
svn path=/nixpkgs/trunk/; revision=23135
 2010-08-12 06:01:21 +00:00
Eelco Dolstra 21587bf10b * Use callPackage_i686 for i686-only packages. 
svn path=/nixpkgs/trunk/; revision=23113
 2010-08-11 13:25:30 +00:00
Lluís Batlle i Rossell 456d3f41ae Adding a yacas needed patch for it to build 
svn path=/nixpkgs/trunk/; revision=23077
 2010-08-09 22:42:48 +00:00
Lluís Batlle i Rossell a6aae3bc6d Adding the matchbox window manager 
svn path=/nixpkgs/trunk/; revision=23076
 2010-08-09 22:40:51 +00:00
Lluís Batlle i Rossell 9cba74c95a Adding 'yacas', a CAS implemented in C++. 
svn path=/nixpkgs/trunk/; revision=23074
 2010-08-09 21:58:21 +00:00
Lluís Batlle i Rossell 1b59ae0b83 Adding 'mupdf', a lightweight PDF 1.7 viewer 
As a side effect, I add openjpeg and jbig2dec.

svn path=/nixpkgs/trunk/; revision=23069
 2010-08-09 20:59:38 +00:00
David Guibert 3b6101cd7f msn-pecan: an alternative MSN plugin for pidgin 
svn path=/nixpkgs/trunk/; revision=23050
 2010-08-09 06:51:34 +00:00
Peter Simons 1a6039cb45 Enable parallel building of gcc, glibc, gmp, mpfr, ncurses, coreutils, perl, python, git, and qt4. 
If a build expressions has set "enableParallelBuilding = true", then the
generic builder may utilize more than one CPU core to build that particular
expression. This feature works out of the box for GNU Make. Expressions that
use other build drivers like Boost.Jam or SCons have to specify appropriate
flags such as "-j${NIX_BUILD_CORES}" themselves.

svn path=/nixpkgs/trunk/; revision=23042
 2010-08-08 18:51:42 +00:00
Michael Raskin 87cbef96ca Add Veracity distributed VCS (+ issue tracker) 
svn path=/nixpkgs/trunk/; revision=23031
 2010-08-07 22:44:25 +00:00
Eelco Dolstra a1e834e85a * Get rid of the ugly `useFromStdenv' hack in all-packages.nix. 
Instead, use the generic package override mechanism to use packages
  from earlier bootstrap phases.
* Don't rely on the existence of attributes such as
  `stdenv.coreutils'.

svn path=/nixpkgs/trunk/; revision=22991
 2010-08-06 10:34:34 +00:00
Marco Maggesi c0f343b752 Update Coq to version 8.2pl2 (patch by roconnor) 
svn path=/nixpkgs/trunk/; revision=22971
 2010-08-05 18:44:42 +00:00
Eelco Dolstra 5f8b8ae1d1 * Added weechat and updated xfce-terminal and vte. (From Graeme 
Caldwell <graemercaldwell@gmail.com>.)

svn path=/nixpkgs/trunk/; revision=22965
 2010-08-05 15:47:15 +00:00
Peter Simons dbef94575c pkgs/applications/version-management/git-and-tools/git: updated to version 1.7.2.1 
svn path=/nixpkgs/trunk/; revision=22960
 2010-08-05 11:25:02 +00:00
Eelco Dolstra b29496c4be * Adobe Reader: updated to 9.3.3. Make it installable on 
x86_64-linux.

svn path=/nixpkgs/trunk/; revision=22956
 2010-08-05 08:54:58 +00:00
Lluís Batlle i Rossell 7dfbad8c44 Updating awesome (tab completion did not work with the xorg server 1.8; let's see 
if it works now)

svn path=/nixpkgs/trunk/; revision=22951
 2010-08-04 15:48:05 +00:00
Michael Raskin 9456c0e43b Add patch to fix arrow display 
svn path=/nixpkgs/trunk/; revision=22934
 2010-08-03 17:43:10 +00:00
Yury G. Kudryashov a993d5190a Add quassel only on qt4.meta.platforms platforms 
qt4 somehow depends on libcap which is linux only

svn path=/nixpkgs/trunk/; revision=22932
 2010-08-03 14:17:55 +00:00
Michael Raskin 3386ce4c5d Update monotone-viz mtn-head 
svn path=/nixpkgs/trunk/; revision=22925
 2010-08-03 12:14:16 +00:00
Michael Raskin e8a33e0c82 Make configurable Vim build with most options 
svn path=/nixpkgs/trunk/; revision=22924
 2010-08-03 10:59:57 +00:00
Michael Raskin ef3606a0ae Update XNeur to 0.9.9 
svn path=/nixpkgs/trunk/; revision=22906
 2010-08-02 19:28:15 +00:00
Michael Raskin fb10fb0d19 Fix sed commands for xneur 0.8 build 
svn path=/nixpkgs/trunk/; revision=22905
 2010-08-02 19:24:59 +00:00
Yury G. Kudryashov dea41a12ea Add rsibreak 
svn path=/nixpkgs/trunk/; revision=22897
 2010-08-02 17:19:44 +00:00
Eelco Dolstra cc84ac9e84 svn path=/nixpkgs/trunk/; revision=22880 2010-08-02 16:01:55 +00:00
Yury G. Kudryashov 45fd5a9836 Upgrade rekonq 
svn path=/nixpkgs/trunk/; revision=22835
 2010-07-31 13:06:10 +00:00
Eelco Dolstra 4bf5b0d36b * Fix some more "args: with args". 
svn path=/nixpkgs/trunk/; revision=22828
 2010-07-30 14:47:23 +00:00
Marco Maggesi 7835419d8a Upgrade fossil to version 2010-07-03 
svn path=/nixpkgs/trunk/; revision=22827
 2010-07-30 14:03:51 +00:00
Eelco Dolstra 907bb1aac6 * ltrace: updated to 0.5.3. 
* libdbi / libdbi-drivers: updated to 0.8.3, and make it compile with
  SQLite.
* qemu-image: fix the URL.
* gdmap: make it build again (requires an older GTK+).
* rlwrap: updated to 0.37.
* smbfs-fuse -> fusesmb to match the upstream name.
* x11vnc: updated to 0.9.10.
* clearlyU: fix the URL.
* Various packages: follow the coding conventions.

svn path=/nixpkgs/trunk/; revision=22814
 2010-07-29 18:55:16 +00:00
Lluís Batlle i Rossell 5cf5a154db Updating hugin 
svn path=/nixpkgs/trunk/; revision=22810
 2010-07-29 14:38:46 +00:00
Eelco Dolstra ba498d4a43 * composedArgsAndFun -> makeOverridable for consistency. 
* Rename a few single-version packages to "default.nix".

svn path=/nixpkgs/trunk/; revision=22803
 2010-07-29 08:21:21 +00:00
Eelco Dolstra f1598a8941 * More cleanup. 
svn path=/nixpkgs/trunk/; revision=22798
 2010-07-28 18:01:17 +00:00
Eelco Dolstra 749b8607ca * More cleanup. 
svn path=/nixpkgs/trunk/; revision=22795
 2010-07-28 15:35:01 +00:00
Eelco Dolstra d81ed8201f * Turn vim/default.nix into a regular package. We don't need two 
configurable VIMs.

svn path=/nixpkgs/trunk/; revision=22784
 2010-07-28 12:52:54 +00:00
Eelco Dolstra 6609710409 * Get rid of many instances of "args: with args;", and other coding 
guidelines violations.
* Updated libsamplerate to 0.1.7.

svn path=/nixpkgs/trunk/; revision=22782
 2010-07-28 11:55:54 +00:00
Eelco Dolstra b4a3f99c78 * Remove orphaned/obsolete packages. 
svn path=/nixpkgs/trunk/; revision=22781
 2010-07-28 09:43:03 +00:00
Eelco Dolstra 42016ca6aa * Firefox 3.6.8. 
svn path=/nixpkgs/trunk/; revision=22747
 2010-07-27 11:35:31 +00:00
Eelco Dolstra 228c6e0c1f * Merged the x-updates branch (latest X server / libraries, GTK+, 
Fontconfig, etc.).

svn path=/nixpkgs/trunk/; revision=22735
 2010-07-26 13:59:12 +00:00
Peter Simons d137679f20 pkgs/applications/editors/emacs-modes/rudel: added rudel 0.2-4 
A collaborative editing environment for GNU Emacs.

svn path=/nixpkgs/trunk/; revision=22733
 2010-07-26 13:41:03 +00:00
Ludovic Courtès c0cafc5ec7 GNU IceCat 3.6.7. 
svn path=/nixpkgs/trunk/; revision=22732
 2010-07-25 14:16:09 +00:00
Armijn Hemel be0a49f551 update to 2.6.10, still haven't had time to dig into the gimpfu Python import problems 
svn path=/nixpkgs/trunk/; revision=22731
 2010-07-25 12:49:03 +00:00
Armijn Hemel 066bd72e6f update to 2.7.2 
svn path=/nixpkgs/trunk/; revision=22729
 2010-07-25 11:10:10 +00:00
Eelco Dolstra 9b87ffa522 * Make mutt build against OpenSSL 1.0.0. 
svn path=/nixpkgs/branches/x-updates/; revision=22724
 2010-07-24 08:50:30 +00:00
Andres Löh 6c90771ac6 * Updated darcs to 2.4.4. 
* Added Haskell Platform 2010.2.0.0.
* Added cairo package in preparation for adding a new gtk2hs.

svn path=/nixpkgs/trunk/; revision=22714
 2010-07-22 18:04:39 +00:00
Eelco Dolstra 0db478d40b * Sync with the trunk. 
svn path=/nixpkgs/branches/x-updates/; revision=22707
 2010-07-22 13:18:07 +00:00
Eelco Dolstra ea14f111dd * Chatzilla updated to 0.9.86. 
svn path=/nixpkgs/branches/x-updates/; revision=22706
 2010-07-22 12:59:12 +00:00
Ludovic Courtès 35cbabdab4 ViTE from SVN. 
svn path=/nixpkgs/trunk/; revision=22696
 2010-07-22 09:01:42 +00:00
Ludovic Courtès f497701642 Add upstream Org-Mode. 
svn path=/nixpkgs/trunk/; revision=22693
 2010-07-22 08:59:12 +00:00
David Guibert 3d6c9cfd7f firefox: should be sha1 
svn path=/nixpkgs/trunk/; revision=22686
 2010-07-21 11:55:33 +00:00
Eelco Dolstra 7f3838c16a * Firefox 3.6.7, Thunderbird 3.1.1. 
svn path=/nixpkgs/trunk/; revision=22682
 2010-07-21 08:15:52 +00:00
Peter Simons cc6c486560 pkgs/applications/editors/emacs-modes/haskell: updated to version 2.7.0 
svn path=/nixpkgs/trunk/; revision=22679
 2010-07-20 14:53:35 +00:00
Ludovic Courtès 3aee92f068 Geeqie: Use libchamplain. 
svn path=/nixpkgs/trunk/; revision=22650
 2010-07-18 22:47:23 +00:00
Lluís Batlle i Rossell ff9455f41a Updating homebank 
svn path=/nixpkgs/trunk/; revision=22625
 2010-07-18 09:19:16 +00:00
Ludovic Courtès 7da94088c8 Geeqie 1.0. 
svn path=/nixpkgs/trunk/; revision=22624
 2010-07-17 22:40:41 +00:00
Lluís Batlle i Rossell 41fc0fba17 Adding libupnp to vlc (I hope this will enable some DLNA things) 
svn path=/nixpkgs/trunk/; revision=22602
 2010-07-14 15:02:34 +00:00
David Guibert b6a84f5c50 update ikiwiki and fix its dependencies. 
- when installing perl.XML_LibXML:
  Cannot write to /nix/store/032pczp65kvry14ln8g8s244qlysrfi1-perl-XML-SAX-0.96/lib/perl5/site_perl/5.10.1/XML/SAX/ParserDetails.ini: Permission denied at /nix/store/032pczp65kvry14ln8g8s244qlysrfi1-perl-XML-SAX-0.96/lib/perl5/site_perl/5.10.1/XML/SAX.pm line 191.

SKIP_SAX_INSTALL=1 fixes this.

- RPC-XML hangs on during the check phase.
A temporary work around is to set doCheck as false.

svn path=/nixpkgs/trunk/; revision=22550
 2010-07-09 13:16:00 +00:00
Eelco Dolstra f2aa054357 * Revive gmime-2.2.x, because gmime-2.4.x is not backwards 
compatible.  For instance, Pan requires gmime-2.2.

svn path=/nixpkgs/trunk/; revision=22543
 2010-07-09 09:12:42 +00:00
Lluís Batlle i Rossell e2e5ae39f8 Updating meshlab (it was even not building fine from a long time ago) 
svn path=/nixpkgs/trunk/; revision=22515
 2010-07-07 15:10:05 +00:00
Rob Vermaas ac26c3bee1 new version of chrome with new deps 
svn path=/nixpkgs/trunk/; revision=22486
 2010-07-06 08:18:14 +00:00
Michael Raskin b1eb6c96a8 Update Tulip. Unicode support should be available now. 
svn path=/nixpkgs/trunk/; revision=22484
 2010-07-06 07:25:07 +00:00
Yury G. Kudryashov a10b45e604 Don't build djview3 by default, let hydra build djview4 
svn path=/nixpkgs/trunk/; revision=22474
 2010-07-05 11:09:38 +00:00
Ludovic Courtès 04082d00f3 GNU Zile 2.3.17. 
svn path=/nixpkgs/trunk/; revision=22456
 2010-07-04 21:10:27 +00:00
Lluís Batlle i Rossell 5b4e3a5b40 Adding Wings 3D (as a side effect, update erlang, and add esdl). 
svn path=/nixpkgs/trunk/; revision=22436
 2010-07-01 09:08:37 +00:00
David Guibert 362d1ba38f update firefox to 3.6.6 
svn path=/nixpkgs/trunk/; revision=22424
 2010-06-27 19:55:21 +00:00
Evgeny Egorochkin 9ffa12eb19 Added Bangarang media player 
svn path=/nixpkgs/trunk/; revision=22423
 2010-06-26 18:29:42 +00:00
David Guibert 9d4a13f798 thunderbird: 3.1 
svn path=/nixpkgs/trunk/; revision=22421
 2010-06-26 14:23:22 +00:00