Peter Simons
c66aa309be
pkgs/applications/editors/emacs-modes/magit: updated to version 0.8.2
...
svn path=/nixpkgs/trunk/; revision=23697
2010-09-09 16:06:34 +00:00
Peter Simons
9b8a491a73
pkgs/applications/version-management/git-and-tools/git: updated to version 1.7.2.3
...
svn path=/nixpkgs/trunk/; revision=23695
2010-09-09 16:06:26 +00:00
Marco Maggesi
df21c86e08
Improve hol_light:
...
* Upgrade hol_light to the latest svn version on google code (r57).
* Improve and semplify the mechanism for the generation of checkpointed binaries.
* Make hol to work with camlp5 and thus with recent version of ocaml (>=3.10, <=3.11).
* Remove ocaml_with_sources which is not needed anymore.
svn path=/nixpkgs/trunk/; revision=23685
2010-09-08 13:07:45 +00:00
Lluís Batlle i Rossell
08a4373125
Bump awesome.
...
(patch by Carles Pagès)
svn path=/nixpkgs/trunk/; revision=23667
2010-09-07 12:52:30 +00:00
Sander van der Burg
8d1cc5fcc2
Upgraded VirtualBox guest additions to version 3.2.8 and fixed it to make it work with xorg-server-1.8.x again. The RandR support still doesn't work properly, however
...
svn path=/nixpkgs/trunk/; revision=23664
2010-09-07 12:08:24 +00:00
Evgeny Egorochkin
919ae70e01
Make hydra compile QGit
...
svn path=/nixpkgs/trunk/; revision=23662
2010-09-07 09:54:11 +00:00
Ludovic Courtès
78adb9fbf1
org-mode: Pass the full path to which'; use
callPackage'.
...
svn path=/nixpkgs/trunk/; revision=23657
2010-09-06 07:58:13 +00:00
Eelco Dolstra
b724075063
* Audacious 2.4.0.
...
svn path=/nixpkgs/trunk/; revision=23656
2010-09-06 07:29:18 +00:00
Lluís Batlle i Rossell
f01245ee4a
Improving a bit the configure options for mutt:
...
Enable debug
Fix a copy and paste error in --without-sasl
svn path=/nixpkgs/trunk/; revision=23654
2010-09-06 07:17:20 +00:00
Michael Raskin
29db2ca0c9
Adding Ekiga
...
svn path=/nixpkgs/trunk/; revision=23653
2010-09-05 23:37:54 +00:00
Michael Raskin
9090138f5e
Updating Gajim
...
svn path=/nixpkgs/trunk/; revision=23642
2010-09-05 12:29:44 +00:00
Lluís Batlle i Rossell
cf6f753176
Fixing the url for nvi (the older was not available anymore)
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23638
2010-09-05 05:59:27 +00:00
Michael Raskin
cc616fbada
Update Veraity nightly version
...
svn path=/nixpkgs/trunk/; revision=23633
2010-09-03 19:59:51 +00:00
Eelco Dolstra
9b22cac306
* Fix the nvi URL.
...
svn path=/nixpkgs/trunk/; revision=23621
2010-09-03 15:32:40 +00:00
Lluís Batlle i Rossell
0a50f8cc6a
Fixing the w3m build on non-mips (this may allow having the 'tarball' built)
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23604
2010-09-02 20:09:27 +00:00
Lluís Batlle i Rossell
488d9103a7
Updating icewm (so yes, gtk included gdk_pixbuf. Thank you niksnut!)
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23603
2010-09-02 19:30:20 +00:00
Michael Raskin
ee731b9a4d
Updating veracity
...
svn path=/nixpkgs/trunk/; revision=23590
2010-09-01 10:12:56 +00:00
Lluís Batlle i Rossell
d984e4bffd
New patch for firefox, to avoid a SIGBUS on mips.
...
r0bertz gave me the patch through irc:
http://www.gentoo-cn.org/gitweb/?p=loongson.git;a=blob;f=net-libs/xulrunner/files/xulrunner-1.9.2_beta4-mips-bus-error.patch;h=2bf51d77054796ffaf4f4d903dd8560bf96b7844;hb=HEAD
"some insns requires addr to be 8 bytes alignment, xulrunner can't guarantee that"
"instead it guarantees some addr will be sizeof(void *) aligned."
svn path=/nixpkgs/branches/stdenv-updates/; revision=23585
2010-09-01 08:37:42 +00:00
Lluís Batlle i Rossell
e2b1de78c2
Making firefox build on mips
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23584
2010-09-01 08:37:28 +00:00
Lluís Batlle i Rossell
82627f99bb
New patch for firefox for mips
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23583
2010-09-01 08:37:17 +00:00
Lluís Batlle i Rossell
c700d8c5ee
Patch that allows xulrunner (for firefox 3.6) build further.
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23582
2010-09-01 08:37:07 +00:00
Lluís Batlle i Rossell
cd8cd01bad
Updating icewm and trying to make it build on mips
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23581
2010-09-01 08:36:46 +00:00
Lluís Batlle i Rossell
a88f348d5b
Make mplayer build on the loongson2f
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23578
2010-09-01 08:36:09 +00:00
Andres Löh
fec5966932
Fix renamed argument problem.
...
svn path=/nixpkgs/trunk/; revision=23556
2010-08-31 10:40:28 +00:00
Lluís Batlle i Rossell
6acc186e0e
Fixing the catalan locale for kicad (it had the wrong encoding written)
...
svn path=/nixpkgs/trunk/; revision=23554
2010-08-31 09:24:49 +00:00
Lluís Batlle i Rossell
aa86a0c4a2
Fixing kicad so it not only builds, but it also runs and finds the library of components.
...
svn path=/nixpkgs/trunk/; revision=23552
2010-08-31 08:19:28 +00:00
Michael Raskin
d53af6407c
Fix changed patch hash (checked new page)
...
svn path=/nixpkgs/trunk/; revision=23522
2010-08-29 20:10:39 +00:00
Lluís Batlle i Rossell
5994279104
The main id3v2 default.nix! I forgot it.
...
svn path=/nixpkgs/trunk/; revision=23518
2010-08-29 19:27:44 +00:00
Michael Raskin
3a0bf4d42d
Update wireshark
...
svn path=/nixpkgs/trunk/; revision=23516
2010-08-29 19:17:00 +00:00
Lluís Batlle i Rossell
d570082ad7
Fixing id3v2 runtime error (allocation/free error)
...
svn path=/nixpkgs/trunk/; revision=23514
2010-08-29 15:56:11 +00:00
Lluís Batlle i Rossell
65e7754f51
Allowing abcde to make mp3. I had to add id3v2, and fix the id3lib build.
...
svn path=/nixpkgs/trunk/; revision=23513
2010-08-29 15:53:42 +00:00
Lluís Batlle i Rossell
cca1cae042
Updating from trunk. I had to do some changes to make it fit.
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23500
2010-08-29 11:09:23 +00:00
Lluís Batlle i Rossell
2ab5f25607
Updating 'tig' (for garbas@freenode)
...
svn path=/nixpkgs/trunk/; revision=23487
2010-08-28 14:10:49 +00:00
Eelco Dolstra
867707c07d
* Thunderbird 3.1.2.
...
svn path=/nixpkgs/trunk/; revision=23484
2010-08-27 14:32:58 +00:00
Peter Simons
62021d80dc
pkgs/applications/editors/emacs-modes/maude: the "official" maude mode is crap; use the one from sourceforge instead
...
svn path=/nixpkgs/trunk/; revision=23471
2010-08-26 19:03:52 +00:00
Peter Simons
687c9ddb3e
pkgs/applications/editors/emacs-modes/maude: updated to version 2
...
svn path=/nixpkgs/trunk/; revision=23468
2010-08-26 18:19:19 +00:00
Peter Simons
49c437a31e
pkgs/applications/science/math/maxima: use a correct license tag
...
Thanks, Ludovic.
svn path=/nixpkgs/trunk/; revision=23466
2010-08-26 17:57:14 +00:00
Marco Maggesi
b7a84503f3
Update fossil to version 2010-08-23 22:24:16
...
svn path=/nixpkgs/trunk/; revision=23455
2010-08-26 12:10:58 +00:00
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
Lluís Batlle i Rossell
b8298c9cdd
Adding a patch file I forgot for w3m, while the nix expression already refers to it.
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23340
2010-08-21 20:13:02 +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
Lluís Batlle i Rossell
7d3e0c542c
Making w3m build with a newer boehm-gc
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23318
2010-08-21 17:07:03 +00:00
Lluís Batlle i Rossell
e0b377fd81
Adding mpg123 (it even cross-builds fine for the nanonote)
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23313
2010-08-21 16:54:02 +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
Lluís Batlle i Rossell
f16353b6f2
Updated from trunk.
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23275
2010-08-20 13:41:12 +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
Lluís Batlle i Rossell
51f6aec764
Fixing the gcc-cross-wrapper; it failed after some changes related to breaking
...
dependencies with it. (I should never link ld.so with a NIX_LDFLAGS -rpath
forced)
I made vim, scummvm cross-build. I added prboom (that cross-builds).
Mplayer and elinks don't cross-build fine still, but are on the way.
The mplayer fails to build in a weird way; nix does not show either a gcc
error message or even the 'make' error message.
svn path=/nixpkgs/branches/stdenv-updates/; revision=23131
2010-08-11 20:14:25 +00:00
Lluís Batlle i Rossell
039b660b5b
Making lynx, yacas and alsa-lib crossbuild
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23130
2010-08-11 20:11:12 +00:00
Lluís Batlle i Rossell
3f05ed581f
Making fossil cross-build (it works for the nanonote).
...
Removing some perl scripts from the openssl cross-built derivation, to avoid depending on it.
svn path=/nixpkgs/branches/stdenv-updates/; revision=23128
2010-08-11 20:08:29 +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
f9692a7f40
Update from trunk
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23097
2010-08-10 17:20:15 +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
ff5d0fa448
Merging from trunk
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23072
2010-08-09 21:21:30 +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
Lluís Batlle i Rossell
46082f25f9
Updating from trunk
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23027
2010-08-07 20:14:04 +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