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
Michael Raskin
ee731b9a4d
Updating veracity
...
svn path=/nixpkgs/trunk/; revision=23590
2010-09-01 10:12:56 +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
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
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