Commit Graph

3237 Commits

Author SHA1 Message Date
Eelco Dolstra
f4d88c2197 * Thunderbird 7.0.1.
svn path=/nixpkgs/trunk/; revision=29697
2011-10-06 13:21:05 +00:00
Eelco Dolstra
bcf053ed23 * Firefox 7.0.1.
svn path=/nixpkgs/trunk/; revision=29687
2011-10-06 10:47:09 +00:00
Yury G. Kudryashov
9f1347ae7e virtualbox-4.1.2
svn path=/nixpkgs/trunk/; revision=29677
2011-10-05 19:54:44 +00:00
Yury G. Kudryashov
1b87ef25db calibre-0.8.21
The old version failed to build on hydra, so I've upgraded

svn path=/nixpkgs/trunk/; revision=29637
2011-10-04 15:20:17 +00:00
Yury G. Kudryashov
dd19f22e7e Add kde4.kile
svn path=/nixpkgs/trunk/; revision=29622
2011-10-04 11:12:11 +00:00
Yury G. Kudryashov
371cd8bc51 kde3: use meta.platforms
svn path=/nixpkgs/trunk/; revision=29596
2011-10-02 21:15:36 +00:00
Michael Raskin
a8a3ede5e9 Adding Firefox 8.0beta1
svn path=/nixpkgs/trunk/; revision=29549
2011-09-30 15:44:22 +00:00
Michael Raskin
8e02768459 Firefox 7.0 release
svn path=/nixpkgs/trunk/; revision=29544
2011-09-30 07:10:47 +00:00
Yury G. Kudryashov
e2c4af0946 Update opera to the latest version
Also add missing dependencies (KDE, cups, gstreamer)

svn path=/nixpkgs/trunk/; revision=29527
2011-09-28 15:23:28 +00:00
Shea Levy
790d78fb6f FreeRDP-unstable: Bump
svn path=/nixpkgs/trunk/; revision=29522
2011-09-28 14:23:47 +00:00
Peter Simons
01022a1502 lxc: moved package into the "applications/virtualization" category
svn path=/nixpkgs/trunk/; revision=29491
2011-09-26 08:12:14 +00:00
Eelco Dolstra
f607e23168 * Spotify needs OpenSSL now.
svn path=/nixpkgs/trunk/; revision=29456
2011-09-23 15:37:15 +00:00
Shea Levy
65898538b5 Bump spotify... Sure wish they kept around old versions
svn path=/nixpkgs/trunk/; revision=29454
2011-09-23 15:23:30 +00:00
Michael Raskin
8e6bbd66aa Update LinuxDC++. Does not eliminate some of the strange segfaults
svn path=/nixpkgs/trunk/; revision=29449
2011-09-23 06:52:10 +00:00
Karn Kallio
48dbddd831 Advance mysqlworkbench version to 5.2.35; fix failing build.
svn path=/nixpkgs/trunk/; revision=29446
2011-09-23 00:03:21 +00:00
Lluís Batlle i Rossell
1175e3e46b Adding etherape, although it wants those gconf things I think.
svn path=/nixpkgs/trunk/; revision=29437
2011-09-22 09:19:33 +00:00
Lluís Batlle i Rossell
d7d6755654 Updating gnunet 0.9 svn version, although it brings little or nothing new I had noticed.
svn path=/nixpkgs/trunk/; revision=29436
2011-09-22 09:15:48 +00:00
Shea Levy
514e07ba96 Update freerdpUnstable
svn path=/nixpkgs/trunk/; revision=29432
2011-09-22 02:07:49 +00:00
Florian Friesdorf
12a38dd5c6 notmuch-0.8 all tests pass
svn path=/nixpkgs/trunk/; revision=29427
2011-09-21 20:04:43 +00:00
Lluís Batlle i Rossell
c289ea7c4f Making rsync cross build.
svn path=/nixpkgs/trunk/; revision=29408
2011-09-21 07:04:22 +00:00
Yury G. Kudryashov
9ee5230537 Move qt3/qt4 choice to .nix expressions
svn path=/nixpkgs/trunk/; revision=29404
2011-09-20 22:49:13 +00:00
Eelco Dolstra
267e123508 * Latest Tribler.
svn path=/nixpkgs/trunk/; revision=29396
2011-09-20 11:20:15 +00:00
Yury G. Kudryashov
87b968e858 Use fetchurl_gnome in dia
+small style changes (though almost all string changed)

svn path=/nixpkgs/trunk/; revision=29389
2011-09-20 06:31:37 +00:00
Piotr Pietraszkiewicz
e0111c4232 kadu-0.10.0 (forgotten commit)
svn path=/nixpkgs/trunk/; revision=29371
2011-09-19 22:05:06 +00:00
Piotr Pietraszkiewicz
a1680bc96b kadu-0.10.0
svn path=/nixpkgs/trunk/; revision=29370
2011-09-19 22:04:03 +00:00
Peter Simons
1be8f5f076 haskell-xmobar: re-generated expression with the latest version of cabal2nix
svn path=/nixpkgs/trunk/; revision=29355
2011-09-19 16:51:11 +00:00
Yury G. Kudryashov
d6c9400fbc s/popplerData/poppler_data/ in xournal
svn path=/nixpkgs/trunk/; revision=29344
2011-09-19 10:03:25 +00:00
Yury G. Kudryashov
fa506acf29 comical: build with wxGTK28
svn path=/nixpkgs/trunk/; revision=29339
2011-09-19 05:16:32 +00:00
Alexander Tsamutali
3251b876be applications/misc/xmobar: Enabled freetype fonts support.
svn path=/nixpkgs/trunk/; revision=29334
2011-09-18 22:48:08 +00:00
Peter Simons
19769280f6 git-subtree: updated to version 0.4-2-g2793ee6
svn path=/nixpkgs/trunk/; revision=29333
2011-09-18 14:56:46 +00:00
Peter Simons
7b8f4ec540 git-annex: updated to version 3.20110915
svn path=/nixpkgs/trunk/; revision=29331
2011-09-18 08:28:29 +00:00
Alexander Tsamutali
4cfef74977 applications/misc/sakura: Updated to 2.4.2.
svn path=/nixpkgs/trunk/; revision=29330
2011-09-17 20:24:54 +00:00
Alexander Tsamutali
ebe4a3501c applications/networking/browsers/conkeror: Updated to 1.0pre-20110917.
svn path=/nixpkgs/trunk/; revision=29329
2011-09-17 20:05:03 +00:00
Alexander Tsamutali
820e9ee753 applications/networking/browsers/firefox/6.0.nix: Fix building on Linux 3.x.
svn path=/nixpkgs/trunk/; revision=29328
2011-09-17 19:19:45 +00:00
Lluís Batlle i Rossell
98f6452a70 Adding the gnunet 0.9 (svn), which works incompatible with the latest gnunet released.
I updated some libs to get it built.


svn path=/nixpkgs/trunk/; revision=29313
2011-09-16 20:50:24 +00:00
Peter Simons
8d0794f5e2 stgit: disable the test suite for the time being
There are failures, but it's unclear whether those are caused by assumptions
about the build environment or whether they signify real problems in the
software.

svn path=/nixpkgs/trunk/; revision=29295
2011-09-15 12:47:49 +00:00
Peter Simons
cd3e9099e9 stgit: updated to version 0.15
svn path=/nixpkgs/trunk/; revision=29294
2011-09-15 11:04:00 +00:00
Eelco Dolstra
6cec6f29db * Use the -O flag.
svn path=/nixpkgs/trunk/; revision=29288
2011-09-14 22:54:35 +00:00
Piotr Pietraszkiewicz
44a7252405 made myself a maintainer of kadu
svn path=/nixpkgs/trunk/; revision=29259
2011-09-13 20:54:02 +00:00
Piotr Pietraszkiewicz
4d611bf817 bibletime-2.8.1 + made myself a maintainer
svn path=/nixpkgs/trunk/; revision=29258
2011-09-13 20:52:25 +00:00
Eelco Dolstra
6a73467eac * Chromium updated to the latest version. Because Chromium now used
Gold, this requires a new patchelf.
* Changed the package name from ‘chrome’ to ‘chromium’.

svn path=/nixpkgs/trunk/; revision=29197
2011-09-11 20:48:02 +00:00
Michael Raskin
90d89bfe68 Fixing some of Veracity tests
svn path=/nixpkgs/trunk/; revision=29187
2011-09-11 16:46:17 +00:00
Yury G. Kudryashov
fcec1593b8 git doesn't need subversion server
svn path=/nixpkgs/trunk/; revision=29102
2011-09-07 22:52:52 +00:00
Eelco Dolstra
a2b2ad5782 * Firefox 6.0.2.
svn path=/nixpkgs/trunk/; revision=29079
2011-09-07 15:13:00 +00:00
Shea Levy
5c8d585216 Argh, the hash given by nix-prefetch-git is unusable in fetchgit
svn path=/nixpkgs/trunk/; revision=29074
2011-09-07 04:11:33 +00:00
Shea Levy
53b10cac36 FreeRDP just migrated their github servers. Also, bump revs while we're at it
svn path=/nixpkgs/trunk/; revision=29073
2011-09-07 03:55:09 +00:00
Shea Levy
c3dff03d1a freerdp: Add meta information
svn path=/nixpkgs/trunk/; revision=29071
2011-09-07 03:42:23 +00:00
Shea Levy
93be0770d7 Add unstable version of freerdp
svn path=/nixpkgs/trunk/; revision=29070
2011-09-07 03:41:18 +00:00
Shea Levy
84e3e287c3 Add freerdp
svn path=/nixpkgs/trunk/; revision=29068
2011-09-06 23:32:01 +00:00
Shea Levy
eba95e013b viewmtn: Update to new url
svn path=/nixpkgs/trunk/; revision=29063
2011-09-06 17:09:41 +00:00
Peter Simons
9d1bee3245 haskell-xmonad-extras: updated build expression
svn path=/nixpkgs/trunk/; revision=29034
2011-09-05 18:25:59 +00:00
Nicolas Pierron
51ccaadce3 Thunderbird 5.x: Add Linux as a build platform.
svn path=/nixpkgs/trunk/; revision=29019
2011-09-05 08:33:07 +00:00
Lluís Batlle i Rossell
05f95c69c5 Updating meld
svn path=/nixpkgs/trunk/; revision=29016
2011-09-05 08:31:49 +00:00
Ludovic Courtès
2af4615ea8 GNU TeXmacs 1.0.7.11.
svn path=/nixpkgs/trunk/; revision=29012
2011-09-04 23:05:57 +00:00
Ludovic Courtès
db867607cb Add GimpLensfun.
svn path=/nixpkgs/trunk/; revision=28997
2011-09-03 17:31:10 +00:00
Peter Simons
2c0eddaeaa git-annex: updated to version 3.20110902
svn path=/nixpkgs/trunk/; revision=28996
2011-09-03 13:17:36 +00:00
Michael Raskin
238625aa76 Attempting to fix tests a bit..
svn path=/nixpkgs/trunk/; revision=28993
2011-09-03 10:21:55 +00:00
Russell O'Connor
c128803d11 upgrading 32-bit flashplayer to version 10.3.183.7
svn path=/nixpkgs/trunk/; revision=28987
2011-09-02 19:25:46 +00:00
Peter Simons
6942491296 haskell-hledger-interest: updated to version 1.3
svn path=/nixpkgs/trunk/; revision=28982
2011-09-02 18:12:31 +00:00
Eelco Dolstra
c084ef2f61 * The latest and greatest Tribler.
svn path=/nixpkgs/trunk/; revision=28971
2011-09-02 11:11:48 +00:00
Lluís Batlle i Rossell
833eea6157 Updating fossil to 1.19. I can't still add readline as build input, because its
new configuration code fails to cope with nix gcc detecting readline.


svn path=/nixpkgs/trunk/; revision=28968
2011-09-01 21:03:18 +00:00
Michael Raskin
8fa5d91e51 adding VUE mindmapper
svn path=/nixpkgs/trunk/; revision=28957
2011-09-01 13:41:42 +00:00
Michael Raskin
cd68b91a4f Update Vacuum
svn path=/nixpkgs/trunk/; revision=28948
2011-09-01 06:15:12 +00:00
Peter Simons
614551f9b4 antiword: patch source code so that the tool can find it's data files
svn path=/nixpkgs/trunk/; revision=28939
2011-08-31 12:06:27 +00:00
Peter Simons
577ddef0be antiword: added version 0.37
svn path=/nixpkgs/trunk/; revision=28938
2011-08-31 11:55:51 +00:00
Eelco Dolstra
a4993d3b23 * Firefox 6.0.1, 3.6.21.
svn path=/nixpkgs/trunk/; revision=28937
2011-08-31 09:12:56 +00:00
Rob Vermaas
c508b4cf04 add get_iplayer 2.80
svn path=/nixpkgs/trunk/; revision=28912
2011-08-30 00:14:16 +00:00
Yury G. Kudryashov
94c6bb3ed4 Add kmymoney
svn path=/nixpkgs/trunk/; revision=28910
2011-08-29 22:43:11 +00:00
Nicolas Pierron
6e9492d7fd Fix mozilla urls.
svn path=/nixpkgs/trunk/; revision=28850
2011-08-27 15:29:13 +00:00
Eelco Dolstra
f823626fd8 * Get Firefox 6.0 to build with an upstream patch for building Firefox
separately from Xulrunner
  (https://bugzilla.mozilla.org/show_bug.cgi?id=639554).

svn path=/nixpkgs/trunk/; revision=28846
2011-08-27 13:44:36 +00:00
Yury G. Kudryashov
597412252a Wrap kde-related packages in kdePackagesFor
This lets hydra build kde packages for all available KDE releases.
Will commit NixOS-fix in a few minutes.

svn path=/nixpkgs/trunk/; revision=28833
2011-08-26 13:49:23 +00:00
Michael Raskin
9c87acf5ab Update Google Talk source. I wonder if there is a way to get it with a fixed version..
svn path=/nixpkgs/trunk/; revision=28830
2011-08-26 11:21:56 +00:00
Peter Simons
c0fb177ce9 git-annex: pass an older version of QuickCheck to fix build failure of the test suite
svn path=/nixpkgs/trunk/; revision=28829
2011-08-26 10:51:47 +00:00
Peter Simons
1972e6f6dc git-annex: updated to version 3.20110819
svn path=/nixpkgs/trunk/; revision=28771
2011-08-23 08:52:06 +00:00
Peter Simons
1c79ecc5af git2cl: added meta data for the package and updated the build to take
advantage of stdenv features such as automatic updating of the shebang
path to perl, etc.

svn path=/nixpkgs/trunk/; revision=28768
2011-08-23 08:44:59 +00:00
David Guibert
19b376cc41 git-subtree: 0.3 -> 0.4
svn path=/nixpkgs/trunk/; revision=28760
2011-08-22 20:26:15 +00:00
David Guibert
c716ac66e0 add jbrout, a photo manager using IPTC keywords/EXIF
svn path=/nixpkgs/trunk/; revision=28759
2011-08-22 20:26:11 +00:00
Peter Simons
d81cab0003 haskell-hledger-interest: updated to version 1.2
svn path=/nixpkgs/trunk/; revision=28737
2011-08-22 11:54:23 +00:00
Michael Raskin
b23809b118 Adding Firefox 7.0beta1 - with a hack for Linux 3.0 build, but unlike 6.0 it does work afterwards
svn path=/nixpkgs/trunk/; revision=28732
2011-08-22 06:54:03 +00:00
Peter Simons
c67ce898cf pkgs/applications/office/hledger-interest: initial version 1.0
svn path=/nixpkgs/trunk/; revision=28724
2011-08-21 18:01:13 +00:00
Nicolas Pierron
2defa3e715 Follow Mozilla homepages migrations. (.com -> .org)
svn path=/nixpkgs/trunk/; revision=28722
2011-08-21 15:44:53 +00:00
Michael Raskin
27dc494095 Fix typo
svn path=/nixpkgs/trunk/; revision=28719
2011-08-21 10:29:01 +00:00
Marco Maggesi
a9d2f34301 Update HOL Light to release 102
svn path=/nixpkgs/trunk/; revision=28718
2011-08-21 08:41:22 +00:00
Cillian de Roiste
d99e939015 Upgrading Kdenlive to 0.8
svn path=/nixpkgs/trunk/; revision=28715
2011-08-20 23:26:59 +00:00
Nicolas Pierron
bb2716d232 Fix Thunderbird 5.0: Add missing patch of the build system.
svn path=/nixpkgs/trunk/; revision=28713
2011-08-20 14:47:24 +00:00
Nicolas Pierron
1738fca385 Add Thunderbird 5.0.
svn path=/nixpkgs/trunk/; revision=28710
2011-08-20 14:30:09 +00:00
David Guibert
93874e90b6 surf: build only on linux platforms
svn path=/nixpkgs/trunk/; revision=28703
2011-08-20 05:24:19 +00:00
Yury G. Kudryashov
d67ed200d2 Upgrade kipi-plugins to 1.9.0
svn path=/nixpkgs/trunk/; revision=28674
2011-08-19 09:27:44 +00:00
Michael Raskin
d518c0e630 OK, OK, --prefix for evince
svn path=/nixpkgs/trunk/; revision=28662
2011-08-18 13:05:24 +00:00
Yury G. Kudryashov
0b669505c2 linphone-3.4.3
svn path=/nixpkgs/trunk/; revision=28655
2011-08-18 12:52:41 +00:00
Michael Raskin
e33a0c0a85 fix evince
svn path=/nixpkgs/trunk/; revision=28651
2011-08-18 09:07:31 +00:00
Michael Raskin
a3a46ada24 Adding Firefox 6.0. Mozilla says it is seamless upgrade from 5.0, so I am trying not to change anything...
svn path=/nixpkgs/trunk/; revision=28625
2011-08-16 21:53:43 +00:00
Eelco Dolstra
822dd05d1d * Update 32-bit Flash Player.
svn path=/nixpkgs/trunk/; revision=28624
2011-08-16 21:32:48 +00:00
David Guibert
11e9d58bcf eclipse 3.7 (java and cpp)
svn path=/nixpkgs/trunk/; revision=28619
2011-08-16 18:17:31 +00:00
David Guibert
364a74843a update paraview to 3.10.1
<patch description>

Signed-off-by: David Guibert <david.guibert@gmail.com>

svn path=/nixpkgs/trunk/; revision=28618
2011-08-16 18:17:26 +00:00
Yury G. Kudryashov
93633e9d0f amarok-2.4.3
svn path=/nixpkgs/trunk/; revision=28605
2011-08-15 23:39:27 +00:00
Yury G. Kudryashov
31ab846d05 Upgrade kdevelop and kdevplatform
svn path=/nixpkgs/trunk/; revision=28604
2011-08-15 23:39:20 +00:00
Yury G. Kudryashov
a660093a4d Fix typo in URL
svn path=/nixpkgs/trunk/; revision=28603
2011-08-15 23:39:11 +00:00
Yury G. Kudryashov
fdd58b2de4 rekonq-0.7.0, remove unused source.nix
svn path=/nixpkgs/trunk/; revision=28602
2011-08-15 23:39:05 +00:00
Yury G. Kudryashov
0962beade0 Add avogadro
svn path=/nixpkgs/trunk/; revision=28596
2011-08-15 18:05:39 +00:00
Peter Simons
21b26aef25 Updated Haskell package meta sections.
svn path=/nixpkgs/trunk/; revision=28583
2011-08-15 11:27:02 +00:00
Peter Simons
3e10ee5c92 Updated Haskell expressions with the latest version of cabal2nix.
* haskell-dataenc: updated to version 0.14.0.2
 * haskell-fclabels: updated to version 1.0.1

svn path=/nixpkgs/trunk/; revision=28574
2011-08-14 22:52:05 +00:00
Peter Simons
91cad6a639 pkgs/applications/misc/xmobar: added missing meta.platforms attribute
svn path=/nixpkgs/trunk/; revision=28559
2011-08-14 10:44:23 +00:00
Shea Levy
20e64a52b9 Add trayer
svn path=/nixpkgs/trunk/; revision=28558
2011-08-14 05:03:54 +00:00
Peter Simons
78b6188054 haskell-xmobar: updated to version 0.13
svn path=/nixpkgs/trunk/; revision=28554
2011-08-13 23:38:44 +00:00
Peter Simons
d3c1b35861 ikiwiki: updated to version 3.20110715
svn path=/nixpkgs/trunk/; revision=28546
2011-08-13 15:09:04 +00:00
Eelco Dolstra
529a3a31f9 * Removed Firefox 4 (obsolete).
svn path=/nixpkgs/trunk/; revision=28531
2011-08-13 12:20:49 +00:00
Eelco Dolstra
fa1433ec8b * Fix SSL support in Chrome. It dynamically tries to open
libnssckbi.so (which contains the root certificates), so that
  library has to be in LD_LIBRARY_PATH.

svn path=/nixpkgs/trunk/; revision=28519
2011-08-12 16:45:17 +00:00
Marco Maggesi
b7190d1e86 VirtualBox Guest Additions: install modules for Xorg version 1.9.x
svn path=/nixpkgs/trunk/; revision=28518
2011-08-12 14:27:28 +00:00
Peter Simons
493e36669c haskell-leksah: updated build expression for recent versions of cabal.nix
svn path=/nixpkgs/trunk/; revision=28512
2011-08-12 11:02:44 +00:00
Lluís Batlle i Rossell
5a177910ad Fixing a bug in 'giv'. Reported upstream already.
svn path=/nixpkgs/trunk/; revision=28504
2011-08-12 08:31:48 +00:00
Peter Simons
4fad68a33e Renamed darcs-2.nix to default.nix for sake of consistency. No functional change.
svn path=/nixpkgs/trunk/; revision=28503
2011-08-12 08:31:19 +00:00
Peter Simons
468c5dbc5c The 'random' library is no longer a core library in GHC 7.2.1. For older
versions of the compiler, haskell-packages.nix provides a null attribute.

svn path=/nixpkgs/trunk/; revision=28500
2011-08-12 00:18:56 +00:00
David Guibert
d3995fdb38 surf: version 0.4.1
svn path=/nixpkgs/trunk/; revision=28496
2011-08-11 16:33:41 +00:00
Yury G. Kudryashov
b7c6bd30cf qgis-1.6.0, compiles
Don't know whether it works: it fails to start on my computer because it loads
KDE gui_platform plugin from incompatible Qt version.

svn path=/nixpkgs/trunk/; revision=28483
2011-08-11 09:35:17 +00:00
Yury G. Kudryashov
ceb301c31b Remove unused sonic-visualizer/ subdir, rename.
Also move "qt=qt4" to default.nix

svn path=/nixpkgs/trunk/; revision=28474
2011-08-10 22:39:53 +00:00
Michael Raskin
5996c749aa Adding vifm file manager
svn path=/nixpkgs/trunk/; revision=28466
2011-08-10 19:16:27 +00:00
Peter Simons
70f794471f esniper: updated to version 2.26.0
svn path=/nixpkgs/trunk/; revision=28452
2011-08-10 08:12:58 +00:00
David Guibert
71f08e8543 dmenu: 4.1.1 -> 4.4
svn path=/nixpkgs/trunk/; revision=28451
2011-08-10 08:01:51 +00:00
Peter Simons
b1ef3e6e36 Last batch of Haskell expression updates.
* haskell-mkcabal: updated to version 1.0.0
 * haskell-ghc-syb-utils: updated to version 0.2.1.0
 * haskell-darcs: updated to version 2.5.2

svn path=/nixpkgs/trunk/; revision=28449
2011-08-10 00:35:08 +00:00
David Guibert
065c0213cf gnome-mplayer, gnome-mediamplayer updated to 1.0.4
svn path=/nixpkgs/trunk/; revision=28445
2011-08-09 20:39:43 +00:00
Yury G. Kudryashov
a9daa0c0cb mutt-1.5.21; enable pop, imap and gpgme
openssl.patch is already merged in this version

svn path=/nixpkgs/trunk/; revision=28441
2011-08-09 20:21:05 +00:00
Yury G. Kudryashov
48f1cd549f pari-gp-2.5.0
svn path=/nixpkgs/trunk/; revision=28440
2011-08-09 20:20:58 +00:00
David Guibert
7de614fdf3 pidgin 2.9.0
svn path=/nixpkgs/trunk/; revision=28425
2011-08-09 12:35:55 +00:00
Peter Simons
c13f967ed5 Replaced the obsolete 'haskellPlatforms' attribute with the platforms exported by GHC.
svn path=/nixpkgs/trunk/; revision=28418
2011-08-09 09:54:50 +00:00
David Guibert
0ce8c08099 fix the compilation of virtualboxGuestaddition
svn path=/nixpkgs/trunk/; revision=28415
2011-08-09 09:07:29 +00:00
Peter Simons
d0e60c7130 leksah: disable Darwin builds
The expression needs more attention before it can be built on platforms
other than Linux:

  at `haskellPackages.leksahServer' [system = "i686-darwin"]:
  assertion failed at `/nix/store/jbcbv6lf44wiy5afsk99sv3vzd1zhg9f-nixpkgs-r28407/pkgs/os-specific/linux/kernel-headers/2.6.32.nix:3:1'

  at `haskellPackages.leksah' [system = "i686-darwin"]:
  assertion failed at `/nix/store/jbcbv6lf44wiy5afsk99sv3vzd1zhg9f-nixpkgs-r28407/pkgs/os-specific/linux/kernel-headers/2.6.32.nix:3:1'

svn path=/nixpkgs/trunk/; revision=28412
2011-08-09 07:49:41 +00:00
David Guibert
850748a6f3 update virtualbox guestadditions 4.1.0
svn path=/nixpkgs/trunk/; revision=28380
2011-08-08 12:11:57 +00:00
David Guibert
2a06c97e90 abiword: add libjpeg to fix the compilation
svn path=/nixpkgs/trunk/; revision=28379
2011-08-08 12:11:46 +00:00
Andres Löh
ce5ccbb0ea Updating leksah.
svn path=/nixpkgs/trunk/; revision=28376
2011-08-08 07:41:45 +00:00
Karn Kallio
cda8010b96 Get krename to build with kde45 and kde47.
svn path=/nixpkgs/trunk/; revision=28219
2011-08-07 02:36:31 +00:00
Karn Kallio
f74cc3c8d6 Get semnotes to build with kde45 and kde47.
svn path=/nixpkgs/trunk/; revision=28218
2011-08-07 02:09:46 +00:00
Karn Kallio
a233ebf891 Switch to forward compatibility of kde45 on kde_baseapps.
svn path=/nixpkgs/trunk/; revision=28217
2011-08-07 01:45:26 +00:00
Shea Levy
be1bd9e6bf virtualbox: Bump to 4.1.0
svn path=/nixpkgs/trunk/; revision=28207
2011-08-06 20:52:11 +00:00
Eelco Dolstra
18509c88b3 * KTorrent updated to 4.1.1.
svn path=/nixpkgs/trunk/; revision=28193
2011-08-06 14:28:15 +00:00
Michael Raskin
946cd2431f Update LEO-II
svn path=/nixpkgs/trunk/; revision=28180
2011-08-05 18:22:40 +00:00
Michael Raskin
b799e4e6ff Update Evince - and make it build again
svn path=/nixpkgs/trunk/; revision=28171
2011-08-05 17:45:49 +00:00
Karn Kallio
514407c726 Repair kadu to get it building again.
svn path=/nixpkgs/trunk/; revision=28160
2011-08-04 21:04:19 +00:00
Michael Raskin
e3a809a9bb Fix Veracity build
svn path=/nixpkgs/trunk/; revision=28157
2011-08-04 16:01:50 +00:00
Michael Raskin
3e8a39ea61 Updating Maxima
svn path=/nixpkgs/trunk/; revision=28152
2011-08-04 15:13:15 +00:00
Eelco Dolstra
fcce78c0f4 * Sync with the trunk.
svn path=/nixpkgs/branches/kde-4.7/; revision=28144
2011-08-03 22:00:49 +00:00
Piotr Pietraszkiewicz
8d546fbdb8 upgraded kadu to v0.9.2 + fixed typos in description
svn path=/nixpkgs/trunk/; revision=28143
2011-08-03 18:36:56 +00:00
Lluís Batlle i Rossell
8ec17cf0a0 Updating dwm.
svn path=/nixpkgs/trunk/; revision=28137
2011-08-03 09:46:56 +00:00
Michael Raskin
58c022ab56 Update Veracity
svn path=/nixpkgs/trunk/; revision=28127
2011-08-02 18:58:59 +00:00
Eelco Dolstra
23e9cfac65 * Build Skype with PulseAudio support. This is needed on 64-bit
NixOS because it doesn't provide a 32-bit ALSA/Pulse module.

svn path=/nixpkgs/trunk/; revision=28123
2011-08-02 15:55:55 +00:00
Shea Levy
7233051b2c rdesktop: Bump to 1.7.0
svn path=/nixpkgs/trunk/; revision=28119
2011-08-02 00:19:29 +00:00
Eelco Dolstra
4e321d8bd8 * Zathura updated to 0.0.8.4 (to fix http://hydra.nixos.org/build/1191958).
svn path=/nixpkgs/branches/kde-4.7/; revision=28108
2011-08-01 11:58:11 +00:00
Eelco Dolstra
0cb6cfb7a1 * Update vlc to 1.1.11.
svn path=/nixpkgs/branches/kde-4.7/; revision=28104
2011-08-01 09:23:10 +00:00
Eelco Dolstra
1b427fe052 * Sync with the trunc.
* Fixed the hash in PulseAudio: I updated the name/version, but forgot
  to update the hash.  So secretly it was still building the old
  version.  Also, now that we've realised that the PulseAudio server
  and library don't need to be the same build, disable some
  dependencies by default (avahi and bluez).

svn path=/nixpkgs/branches/kde-4.7/; revision=28023
2011-07-31 19:44:58 +00:00
Cillian de Roiste
5e6506c4d0 Updating the development ardour3 revision, also renaming so that ardour2 and ardour3 can peacefully co-exist
svn path=/nixpkgs/trunk/; revision=28020
2011-07-31 14:52:42 +00:00
Cillian de Roiste
5231ba050f Updating qtractor to the latest release: 0.5.0
svn path=/nixpkgs/trunk/; revision=28019
2011-07-31 14:04:45 +00:00
Cillian de Roiste
1d22700866 Removing exif patch, no longer needed
svn path=/nixpkgs/trunk/; revision=28017
2011-07-31 10:50:06 +00:00
Cillian de Roiste
53b9044b19 Updating darktable to 0.9.1
svn path=/nixpkgs/trunk/; revision=28016
2011-07-31 10:49:19 +00:00
Cillian de Roiste
e1c2108085 Add dbus support to qjackctl so that it can use jackdbus
svn path=/nixpkgs/trunk/; revision=28011
2011-07-30 21:06:45 +00:00
Eelco Dolstra
8099c514f9 * Xscreensaver updated to 5.14.
svn path=/nixpkgs/branches/kde-4.7/; revision=28003
2011-07-29 16:04:44 +00:00
Ludovic Courtès
e7349f4329 BitlBee 3.0.3.
svn path=/nixpkgs/trunk/; revision=27985
2011-07-28 12:08:08 +00:00
Lluís Batlle i Rossell
22135b319b Updating skype. It runs fine (start, see the friends list) for me.
svn path=/nixpkgs/trunk/; revision=27973
2011-07-27 16:07:20 +00:00
Eelco Dolstra
6b302190a4 * Spotify: drop PulseAudio from the library path, as Spotify seems to
have it statically linked anyway.

svn path=/nixpkgs/trunk/; revision=27972
2011-07-27 14:01:47 +00:00
Eelco Dolstra
7eb1afad49 * Spotify: use PulseAudio if available.
svn path=/nixpkgs/trunk/; revision=27971
2011-07-26 22:24:02 +00:00
Eelco Dolstra
3fac08a565 * Audacious updated to 3.0.
svn path=/nixpkgs/branches/kde-4.7/; revision=27959
2011-07-26 02:14:19 +00:00
Eelco Dolstra
0daba72245 * Updated cdparanoia to 10.2.
svn path=/nixpkgs/branches/kde-4.7/; revision=27938
2011-07-25 13:52:36 +00:00
Peter Simons
7e9676bab5 jbidwatcher: generalized java support so that the package can be built on Darwin, too
svn path=/nixpkgs/trunk/; revision=27923
2011-07-24 20:26:28 +00:00
Shea Levy
5869748e70 Update Spotify
Only tested x86_64

svn path=/nixpkgs/trunk/; revision=27914
2011-07-24 01:39:11 +00:00
Lluís Batlle i Rossell
1d3c534625 Updating unison.
svn path=/nixpkgs/trunk/; revision=27893
2011-07-21 21:46:06 +00:00
Lluís Batlle i Rossell
2758c07f1e Updating mldonkey. I remove the patch needed for mips, as they put it upstream already.
svn path=/nixpkgs/trunk/; revision=27885
2011-07-21 18:34:41 +00:00
Peter Simons
3815442cf4 all-packages.nix: added jbidwatcher, a tool to monitor and snipe ebay auctions
svn path=/nixpkgs/trunk/; revision=27881
2011-07-21 17:01:31 +00:00
Lluís Batlle i Rossell
f5609042c0 I broke fossil in a commit where I did not mean even to touch it.
svn path=/nixpkgs/trunk/; revision=27880
2011-07-21 14:58:13 +00:00
Lluís Batlle i Rossell
57f59594db Updating the linux 2.6.39 to 2.6.39.3
svn path=/nixpkgs/trunk/; revision=27878
2011-07-21 13:56:25 +00:00
Lluís Batlle i Rossell
bda0f3bfd0 Updating fossil.
svn path=/nixpkgs/trunk/; revision=27865
2011-07-21 06:58:14 +00:00
Peter Simons
99a9a4b8bc all-packages.nix: added ledger 3.0 via Git
svn path=/nixpkgs/trunk/; revision=27861
2011-07-20 22:56:39 +00:00
Peter Simons
efe5ab73b1 git: fixed impure path to perl in git-am and git-submodule
svn path=/nixpkgs/trunk/; revision=27859
2011-07-20 22:56:31 +00:00
Peter Simons
5b96eac910 ledger: build this package only on Linux, all other platforms fail
svn path=/nixpkgs/trunk/; revision=27857
2011-07-20 18:41:25 +00:00
Peter Simons
ff91dbdb35 git-annex: the latest version depends on the monad-control package
svn path=/nixpkgs/trunk/; revision=27839
2011-07-20 12:13:07 +00:00
Peter Simons
f61f66f46d git-annex: updated to version 3.20110719
svn path=/nixpkgs/trunk/; revision=27836
2011-07-20 10:16:35 +00:00
Eelco Dolstra
2e5d962f72 * Spotify updated to 0.5.1.151.
svn path=/nixpkgs/trunk/; revision=27831
2011-07-18 22:34:57 +00:00
Eelco Dolstra
1352c90c8a * MPlayer: don't build the OSS backend.
svn path=/nixpkgs/branches/kde-4.7/; revision=27829
2011-07-18 16:08:15 +00:00
Eelco Dolstra
b70a14f88c * Added the Google Talk plugin. Doesn't work yet (says ‘ABORT:
X_GLXCreateContext: BadValue’).

svn path=/nixpkgs/trunk/; revision=27825
2011-07-18 14:44:28 +00:00
Peter Simons
356928aad9 fetchmail: updated to version 6.3.20
svn path=/nixpkgs/trunk/; revision=27822
2011-07-18 14:06:35 +00:00
Peter Simons
f80ef6645b magit: fixed download url
svn path=/nixpkgs/trunk/; revision=27821
2011-07-18 13:45:47 +00:00
Sander van der Burg
5693872dc1 Bumped feh to version 1.14.2 as the previous one does not exist anymore
svn path=/nixpkgs/trunk/; revision=27800
2011-07-15 15:10:22 +00:00
Peter Simons
c58754b390 stellarium: build this package on Linux only
Stellarium is supposed to compile on mesaPlatforms, but unfortunately our qt47
expression doesn't support platforms other than Linux.

svn path=/nixpkgs/trunk/; revision=27798
2011-07-15 12:47:20 +00:00
Eelco Dolstra
f4ac1126ff * Sync with the trunk.
svn path=/nixpkgs/branches/kde-4.7/; revision=27796
2011-07-15 10:02:22 +00:00
Peter Simons
ffe01e880d git-annex: build only on platforms that support Haskell
svn path=/nixpkgs/trunk/; revision=27792
2011-07-14 21:54:53 +00:00
Peter Simons
fa99abdc89 gravit, stellarium: build software that depends on mesa only on mesa platforms
svn path=/nixpkgs/trunk/; revision=27790
2011-07-14 20:53:30 +00:00
Peter Simons
68957344fa git-annex: updated to version 3.20110707
svn path=/nixpkgs/trunk/; revision=27775
2011-07-14 12:22:26 +00:00
Eelco Dolstra
c7669210d1 * Whitespace.
svn path=/nixpkgs/branches/kde-4.7/; revision=27757
2011-07-13 12:31:43 +00:00
Peter Simons
4e5cc9b965 git: removed 'lowPri' wrapper around gitFull
Packages that need git as build-time or run-time dependency typically refer to
the attribute 'git', which is the expression with the least possible set of
features.

Users, however, who run "nix-env -i git", don't want that version, because it
lacks support for SVN, for sending e-mail, and it doesn't include the GUI. In
other words, users want gitFull by default, which is what this change
accomplishes.

svn path=/nixpkgs/trunk/; revision=27748
2011-07-13 10:46:17 +00:00
Peter Simons
9edc2574dd git-annex: the build system uses 'which' to determine whether ikiwiki is installed
svn path=/nixpkgs/trunk/; revision=27747
2011-07-13 10:41:10 +00:00
Peter Simons
d6f364ca8c ikiwiki: removed unconditional dependencies on monotone and git
Both build inputs 'monotone' and 'git' are non-null in nixpkgs, so their
respective store paths were always included in the generated wrapper
script -- even if 'monotoneSupport' and 'gitSupport' were false.

svn path=/nixpkgs/trunk/; revision=27746
2011-07-13 10:41:05 +00:00
Peter Simons
7c8871512d wxmaxima: ensure that wxMaxima will find Maxima even if it's not in $PATH
svn path=/nixpkgs/trunk/; revision=27745
2011-07-13 09:56:58 +00:00
Peter Simons
bcaaba6ea7 gnucash: improved comments
svn path=/nixpkgs/trunk/; revision=27744
2011-07-13 09:56:54 +00:00
Peter Simons
3cd02cd43d maxima: switch from clisp to sbcl, enable tk gui, and fix various impurities
* Build maxima with sbcl for better performance.

 * Enable the regression test suite.

 * Configure $PATH at start-up so that maxima knows how to find sbcl,
   wish, rlwrap, and gnuplot.

 * Move installed documentation and Emacs lisp modules into standard
   locations.

 * Enable parallel building.

svn path=/nixpkgs/trunk/; revision=27743
2011-07-13 09:13:32 +00:00
Peter Simons
9485e2392b monotone: strip trailing whitespace
svn path=/nixpkgs/trunk/; revision=27742
2011-07-13 09:13:28 +00:00
Peter Simons
b1b274558a monotone: don't build this package on Cygwin
The expression can't build on Cygwin because it wants to know the version of
Perl that is being used. On Cygwin, however, we don't know that because we're
using sysPerl.

svn path=/nixpkgs/trunk/; revision=27741
2011-07-13 09:13:22 +00:00
Eelco Dolstra
7bef513d8a * Update Flashplayer on i686-linux.
svn path=/nixpkgs/trunk/; revision=27738
2011-07-12 13:44:56 +00:00
Eelco Dolstra
43e046af45 * Firefox 5.0.1.
svn path=/nixpkgs/trunk/; revision=27731
2011-07-12 06:34:27 +00:00
Peter Simons
a9d4dfb994 gnucash: polished the expression, enabled OFX support, and documented the GConf setup procedure on NixOS
svn path=/nixpkgs/trunk/; revision=27730
2011-07-11 20:12:02 +00:00
Peter Simons
2685bfc32b gnucash: fix update-gnucash-gconf script so that it works on NixOS
Current versions of gconftool-2 don't support the --config-source option
anymore -- that path must be passed in $GCONF_CONFIG_SOURCE instead.

svn path=/nixpkgs/trunk/; revision=27729
2011-07-11 16:38:07 +00:00
Eelco Dolstra
dce69134d0 * Added Okular (which is a separate package now).
svn path=/nixpkgs/branches/kde-4.7/; revision=27723
2011-07-11 14:29:27 +00:00
Peter Simons
8223f67929 Added stellarium 0.11.0.
svn path=/nixpkgs/trunk/; revision=27697
2011-07-10 20:17:44 +00:00
Peter Simons
3806050f60 gravit: enable support for lua 5.0.x
The build doesn't work with the latest version 5.1.x. Upstream is going
to release an update to fix this soon.

svn path=/nixpkgs/trunk/; revision=27693
2011-07-10 14:04:24 +00:00
Peter Simons
6ad966c8b8 gnucash: re-enable the test suite
svn path=/nixpkgs/trunk/; revision=27691
2011-07-10 14:04:14 +00:00
Peter Simons
4cf494c8ff gnucash: set RPATH so that GnuCash binaries can find its GNOME libraries at run-time
svn path=/nixpkgs/trunk/; revision=27689
2011-07-10 13:34:56 +00:00
Peter Simons
5fd662e2e9 gnucash: add ${gconf}/bin to $PATH in wrapper scripts
GnuCash attempt to call gconf binaries to register its schemas in the
system-wide database. That still doesn't work, of course, because gconf
can't update its store path. TODO. :-(

svn path=/nixpkgs/trunk/; revision=27688
2011-07-10 13:34:51 +00:00
Russell O'Connor
d21e981e64 Upgrade bitcoin to 0.3.24
svn path=/nixpkgs/trunk/; revision=27687
2011-07-10 01:12:57 +00:00
Peter Simons
f903153fe6 gnucash: updated to version 2.4.7
The test suite is currently disabled. There is an issue with GUILE_LOAD_PATH
that needs to be addressed before we can re-enable those tests. See comments in
the expression for further details.

svn path=/nixpkgs/trunk/; revision=27686
2011-07-09 13:02:46 +00:00
Peter Simons
e090fed420 gnucash: added myself as a maintainer
svn path=/nixpkgs/trunk/; revision=27683
2011-07-09 12:11:31 +00:00
Peter Simons
e7746a78ed gravit: added version 0.4.2
svn path=/nixpkgs/trunk/; revision=27677
2011-07-08 21:23:55 +00:00
Peter Simons
574eb09fa4 xplanet: move expression into new category "astronomy"
svn path=/nixpkgs/trunk/; revision=27676
2011-07-08 21:23:48 +00:00
Peter Simons
4303240ef9 ikiwiki: updated to version 3.20110707
svn path=/nixpkgs/trunk/; revision=27669
2011-07-08 09:30:01 +00:00
Peter Simons
e4353b1f65 git: install contrib code included in the distribution
TODO: byte-compile emacs modules

svn path=/nixpkgs/trunk/; revision=27665
2011-07-07 23:48:38 +00:00
Peter Simons
2fee0ecef9 git: updated to version 1.7.6
svn path=/nixpkgs/trunk/; revision=27664
2011-07-07 23:48:34 +00:00
Peter Simons
21373bc49b git-annex: enable the documentation build
svn path=/nixpkgs/trunk/; revision=27663
2011-07-07 23:48:30 +00:00
Peter Simons
39f2346b1b git-annex: cosmetic changes in the meta section
svn path=/nixpkgs/trunk/; revision=27662
2011-07-07 23:48:26 +00:00
Peter Simons
0ec6325b87 git-annex: updated to version 3.20110705
svn path=/nixpkgs/trunk/; revision=27661
2011-07-07 23:48:22 +00:00
Peter Simons
d7f698c078 ledger: enable the test suite
svn path=/nixpkgs/trunk/; revision=27659
2011-07-07 22:48:44 +00:00
Peter Simons
f05fce5e6e ledger: enable XML support so that ledger can read GnuCash data files
svn path=/nixpkgs/trunk/; revision=27658
2011-07-07 22:48:40 +00:00
Peter Simons
80713bcc75 ledger: fixed build
* Patchelf doesn't work for this program. Fortunately, we don't need patchelf,
   because libtool takes care of hard-coding the proper rpaths.

 * Updated home page address.

 * Build with more aggressive optimization flags.

 * Drop the obsolete const-fix patch.

svn path=/nixpkgs/trunk/; revision=27657
2011-07-07 22:48:36 +00:00
Peter Simons
947610085d Added Eukleides, a geometry drawing language.
svn path=/nixpkgs/trunk/; revision=27655
2011-07-07 21:53:21 +00:00
Peter Simons
ea4daca60d pkgs/applications/editors/emacs-modes/bbdb: replace custom build script with standard builder
Also added most of optional contributions shipped in the release tarball to the
installation.

svn path=/nixpkgs/trunk/; revision=27646
2011-07-07 21:04:56 +00:00
Ludovic Courtès
9cbb1dbec6 mpg321 0.2.13-2.
svn path=/nixpkgs/trunk/; revision=27621
2011-07-07 15:10:33 +00:00
Eelco Dolstra
5a7ffcd82d * Firefox: use external SQLite and Cairo.
svn path=/nixpkgs/trunk/; revision=27602
2011-07-04 15:35:53 +00:00
Eelco Dolstra
684186104c * Latest SQLite, Flash player (Vladimír Čunát).
svn path=/nixpkgs/trunk/; revision=27595
2011-07-04 14:12:20 +00:00
Eelco Dolstra
bdf034862b * Make Firefox 5.0 the default.
svn path=/nixpkgs/trunk/; revision=27593
2011-07-04 14:04:43 +00:00
Karn Kallio
cd830b7e8e Update mercurial to version 1.9
svn path=/nixpkgs/trunk/; revision=27581
2011-07-02 19:35:03 +00:00
Eelco Dolstra
ed58c55155 * xen: Build succesfully if $out already exists (needed for WCRE).
svn path=/nixpkgs/trunk/; revision=27580
2011-07-02 19:21:28 +00:00
Michael Raskin
b973f98afa Make tulip run without hassle. Unfortunately, some operations repeatably crash tulip even when built vs Qt4.6
svn path=/nixpkgs/trunk/; revision=27570
2011-07-01 09:53:11 +00:00
Michael Raskin
a4be010d31 Update Tulip
svn path=/nixpkgs/trunk/; revision=27566
2011-07-01 07:01:46 +00:00
Lluís Batlle i Rossell
b8a6d84910 Updating offrss.
svn path=/nixpkgs/trunk/; revision=27561
2011-06-29 22:33:42 +00:00
Sander van der Burg
703f1b23fb Ensure that the shared ffmpeg is used, instead of the one included in the kino source tarball
svn path=/nixpkgs/trunk/; revision=27559
2011-06-29 19:22:02 +00:00
Sander van der Burg
11210cf06f Updated kino to version 1.3.4 (and did some code standard fixes)
svn path=/nixpkgs/trunk/; revision=27558
2011-06-29 16:21:02 +00:00
Eelco Dolstra
b8b0c4e8f7 * Inkscape updated to 0.48.1.
svn path=/nixpkgs/trunk/; revision=27555
2011-06-28 13:51:55 +00:00
Michael Raskin
a0d97d5eb2 Adding OneTeam XMPP client
svn path=/nixpkgs/trunk/; revision=27553
2011-06-28 09:45:09 +00:00
Lluís Batlle i Rossell
1229dd1400 Adding a still broken restroshare expression. I'll develop further later.
svn path=/nixpkgs/trunk/; revision=27540
2011-06-26 17:57:28 +00:00
Andres Löh
7a53f9fdbb Added extra deps to xmonad-extras to enable some modules.
svn path=/nixpkgs/trunk/; revision=27537
2011-06-24 08:29:36 +00:00
Andres Löh
a0982e02fd Added xmonads-extra (thanks to chaoflow).
svn path=/nixpkgs/trunk/; revision=27534
2011-06-23 18:35:24 +00:00
Florian Friesdorf
453be2fc62 cinelerra-git: let pkgconfig handle freetype and its -I flags
svn path=/nixpkgs/trunk/; revision=27529
2011-06-22 22:23:57 +00:00
Florian Friesdorf
35f8c3d150 cinelerra-git: file, libuuid instead of e2fsprogs, and libXext
svn path=/nixpkgs/trunk/; revision=27527
2011-06-22 22:23:50 +00:00
Florian Friesdorf
200101c7b0 cinelerra-git: switched to fetchgit
svn path=/nixpkgs/trunk/; revision=27526
2011-06-22 22:23:45 +00:00
Eelco Dolstra
2e8c66c1d3 * Pan updated to 0.135.
svn path=/nixpkgs/trunk/; revision=27518
2011-06-22 17:57:32 +00:00
Eelco Dolstra
611aecaeeb * Firefox 5.0.
* nspr updated to 4.8.8.

svn path=/nixpkgs/trunk/; revision=27516
2011-06-22 12:21:15 +00:00
Eelco Dolstra
09c9c44403 * Use /etc/nova/nova.conf as the location of the config file.
svn path=/nixpkgs/trunk/; revision=27503
2011-06-20 14:26:49 +00:00
Eelco Dolstra
7a8598e716 * Subversion 1.6.17.
svn path=/nixpkgs/trunk/; revision=27486
2011-06-16 15:13:35 +00:00
Michael Raskin
023f15e484 Adding Firefox 5.0 RC1
svn path=/nixpkgs/trunk/; revision=27478
2011-06-16 08:08:10 +00:00
Karn Kallio
a0fbd997b4 Update the download URL for feh, which seems to have changed.
svn path=/nixpkgs/trunk/; revision=27475
2011-06-15 14:25:50 +00:00
Michael Raskin
d03599f8ce Adding TPTP
svn path=/nixpkgs/trunk/; revision=27468
2011-06-15 10:35:18 +00:00
Lluís Batlle i Rossell
05e7655d79 Updating giv.
svn path=/nixpkgs/trunk/; revision=27466
2011-06-15 08:59:02 +00:00
Lluís Batlle i Rossell
394375f900 Updating feh
svn path=/nixpkgs/trunk/; revision=27464
2011-06-15 08:22:15 +00:00
Marco Maggesi
5b035e093d Update HOL Light to rev 92
svn path=/nixpkgs/trunk/; revision=27459
2011-06-14 17:09:19 +00:00
Ludovic Courtès
3cf686b4fc QEMU: Build with ncurses support.
svn path=/nixpkgs/trunk/; revision=27458
2011-06-14 16:28:17 +00:00