BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
13592 commits 1 branch 0 tags 3.8 GiB
Commit graph

4161 commits

Author SHA1 Message Date
Cillian de Roiste
5f3455dde5 Adding the Oxygen-GTK theme 
svn path=/nixpkgs/trunk/; revision=25676
 2011-01-23 21:04:12 +00:00
Lluís Batlle i Rossell
07b89a3fbb Adding offrss 
svn path=/nixpkgs/trunk/; revision=25672
 2011-01-23 16:40:25 +00:00
Ludovic Courtès
3c7abf32f1 BDW-GC: Work around `fetchcvs' error on FreeBSD. 
svn path=/nixpkgs/trunk/; revision=25670
 2011-01-22 22:20:45 +00:00
Ludovic Courtès
04bd33d520 BDW-GC: Default to the current CVS version. 
svn path=/nixpkgs/trunk/; revision=25669
 2011-01-22 21:34:18 +00:00
Ludovic Courtès
3593d48524 GMP: Further attempt to fix `x86_64-darwin' builds. 
svn path=/nixpkgs/trunk/; revision=25668
 2011-01-22 20:26:50 +00:00
Rob Vermaas
24c9b1f3b9 added dmg2img-1.6.2 
svn path=/nixpkgs/trunk/; revision=25667
 2011-01-22 12:28:59 +00:00
Rob Vermaas
c04dac0923 added vfdecrypt 
svn path=/nixpkgs/trunk/; revision=25666
 2011-01-22 12:14:25 +00:00
Lluís Batlle i Rossell
8cb0db3589 Adding freeswitch 
svn path=/nixpkgs/trunk/; revision=25664
 2011-01-21 22:12:34 +00:00
Michael Raskin
bcd44bff51 Fixing a stupid typo 
svn path=/nixpkgs/trunk/; revision=25663
 2011-01-21 19:34:54 +00:00
Ludovic Courtès
dd2a11d7e8 Use an older GMP on all Darwin platforms. 
svn path=/nixpkgs/trunk/; revision=25662
 2011-01-21 19:24:18 +00:00
Michael Raskin
618e45c0f3 Adding ipmiutil 
svn path=/nixpkgs/trunk/; revision=25660
 2011-01-21 19:15:10 +00:00
Yury G. Kudryashov
9e22c7f8ab Rework ruby gems 
svn path=/nixpkgs/trunk/; revision=25654
 2011-01-21 08:24:52 +00:00
Ludovic Courtès
72a6bbc02c GNU Guile-Ncurses 1.2. 
svn path=/nixpkgs/trunk/; revision=25646
 2011-01-20 22:06:35 +00:00
Rob Vermaas
fc4f0c5ca3 libdrm, use callPackage 
svn path=/nixpkgs/trunk/; revision=25644
 2011-01-20 15:28:14 +00:00
Eelco Dolstra
b5b44a8647 svn path=/nixpkgs/trunk/; revision=25642 2011-01-20 09:41:02 +00:00
Lluís Batlle i Rossell
02f2fd1837 Adding GNU SIP Witch. 
svn path=/nixpkgs/trunk/; revision=25634
 2011-01-19 21:17:05 +00:00
Michael Raskin
b3583dc847 Build ECL with DFFI 
svn path=/nixpkgs/trunk/; revision=25610
 2011-01-18 17:36:25 +00:00
Eelco Dolstra
dbb8c452bb * fbida: fix a segfault in exiftran. 
svn path=/nixpkgs/trunk/; revision=25588
 2011-01-16 16:28:08 +00:00
Lluís Batlle i Rossell
b8e6a6ef5a Adding siproxd 
svn path=/nixpkgs/trunk/; revision=25584
 2011-01-16 11:41:19 +00:00
Ludovic Courtès
6518402329 ubootChooser: Add support for the GuruPlug. 
svn path=/nixpkgs/trunk/; revision=25573
 2011-01-14 21:44:59 +00:00
Ludovic Courtès
14f45d5da4 Add GNU Ocrad. 
svn path=/nixpkgs/trunk/; revision=25572
 2011-01-14 21:44:43 +00:00
Rob Vermaas
046125bd1d add hydra 
svn path=/nixpkgs/trunk/; revision=25567
 2011-01-14 14:47:48 +00:00
Michael Raskin
f3afe5cd08 Adding virt-viewer 
svn path=/nixpkgs/trunk/; revision=25548
 2011-01-13 22:30:32 +00:00
Michael Raskin
259e59148e Adding GTK-VNC 
svn path=/nixpkgs/trunk/; revision=25547
 2011-01-13 22:21:09 +00:00
Lluís Batlle i Rossell
3c282f5a31 Adding linphone 
svn path=/nixpkgs/trunk/; revision=25545
 2011-01-13 20:49:58 +00:00
Lluís Batlle i Rossell
971e6c9233 Adding pjsip (pjproject-1.8) 
svn path=/nixpkgs/trunk/; revision=25531
 2011-01-13 09:23:40 +00:00
Eelco Dolstra
d82dc5c965 * Added vde2 (Virtual Distributed Ethernet). 
svn path=/nixpkgs/trunk/; revision=25518
 2011-01-12 13:39:17 +00:00
Michael Raskin
49ff7df6f1 Adding Mesa 7.9 as an option 
svn path=/nixpkgs/trunk/; revision=25513
 2011-01-12 10:03:37 +00:00
David Guibert
48749c756c kernel: new 2.6.37 
svn path=/nixpkgs/trunk/; revision=25508
 2011-01-11 13:42:59 +00:00
Michael Raskin
f9a6c93d43 Adding mtr. 
svn path=/nixpkgs/trunk/; revision=25495
 2011-01-10 15:57:23 +00:00
Michael Raskin
0eaec55235 Adding UDFtools 
svn path=/nixpkgs/trunk/; revision=25485
 2011-01-10 11:04:20 +00:00
Eelco Dolstra
475ae50c70 * Added jQuery UI. 
svn path=/nixpkgs/trunk/; revision=25465
 2011-01-09 15:43:53 +00:00
Michael Raskin
ed3ce17ce1 Adding darktable photo editor. Patch by Cillian de Róiste ( goibhniu1 ) 
svn path=/nixpkgs/trunk/; revision=25462
 2011-01-08 21:55:33 +00:00
Lluís Batlle i Rossell
a9345a51c5 Updating bind 
svn path=/nixpkgs/trunk/; revision=25457
 2011-01-07 11:33:04 +00:00
Lluís Batlle i Rossell
eb3d75b740 Adding fakeroot. 
svn path=/nixpkgs/trunk/; revision=25440
 2011-01-06 10:43:32 +00:00
Eelco Dolstra
f81bc24790 * Spotify for Linux (preview version). It works, but not yet out of 
the box because it requires /usr/share/spotify to point at its
  resources.  So to get it to work, you should do something like:

  $ nix-env -i spotify
  $ mkdir -p /usr/share
  $ ln -s /home/eelco/.nix-profile/share/spotify /usr/share/

  Also note that the Linux client doesn't work with free Spotify
  accounts (as noted on
  https://www.spotify.com/nl/download/previews/).

svn path=/nixpkgs/trunk/; revision=25431
 2011-01-05 23:23:22 +00:00
Ludovic Courtès
7f157c0f33 Remove the old experimental BitlBee-OTR. 
svn path=/nixpkgs/trunk/; revision=25420
 2011-01-05 10:48:25 +00:00
Rob Vermaas
adeb63e4c2 remove aterm242fixes 
svn path=/nixpkgs/trunk/; revision=25407
 2011-01-05 09:42:56 +00:00
Eelco Dolstra
6591a859b2 * Calls to fetchgit break `nix-env -q' because in read-only mode, it 
won't perform a derivation to get the HEAD of a Git repo.

svn path=/nixpkgs/trunk/; revision=25397
 2011-01-04 16:53:21 +00:00
Evgeny Egorochkin
180205a431 knetwork-manager: package and enable support in KDE to see what is going to break. 
svn path=/nixpkgs/trunk/; revision=25375
 2011-01-04 00:28:22 +00:00
Lluís Batlle i Rossell
ed9a70e40e Allowing unison without X. 
svn path=/nixpkgs/trunk/; revision=25369
 2011-01-03 18:43:16 +00:00
Evgeny Egorochkin
9b50ebd825 network-manager: packaged, maybe even works. 
svn path=/nixpkgs/trunk/; revision=25367
 2011-01-03 18:01:10 +00:00
Evgeny Egorochkin
bfc2a38651 libnl 1.x: packaged. 
svn path=/nixpkgs/trunk/; revision=25365
 2011-01-03 17:02:47 +00:00
Evgeny Egorochkin
2f46958f67 amarok-live: packaged 
svn path=/nixpkgs/trunk/; revision=25355
 2011-01-03 00:02:20 +00:00
Evgeny Egorochkin
bbedfb4a5e Live builds support: initially for git and svn. taglib_live is packaged as an example. 
svn path=/nixpkgs/trunk/; revision=25351
 2011-01-02 23:23:59 +00:00
Michael Raskin
d2b277fbd5 Try fixing Audacity 
svn path=/nixpkgs/trunk/; revision=25340
 2011-01-02 17:13:34 +00:00
Michael Raskin
95eca90595 Add geoclue as WebKit buildInput 
svn path=/nixpkgs/trunk/; revision=25338
 2011-01-02 15:14:14 +00:00
Michael Raskin
03419cfc5a Adding geoclue - as framework only, feel free to build it with proper data providers if you have a reason for that 
svn path=/nixpkgs/trunk/; revision=25335
 2011-01-02 13:23:59 +00:00
Michael Raskin
29cd3206f2 Adding ised 
svn path=/nixpkgs/trunk/; revision=25331
 2011-01-01 20:28:38 +00:00
Russell O'Connor
88ec92d14c Matita and its dependencies. 
svn path=/nixpkgs/trunk/; revision=25328
 2010-12-31 17:48:55 +00:00
Lluís Batlle i Rossell
1c5180c7e5 Adding libmrss and libnxml (dependency of the former) 
svn path=/nixpkgs/trunk/; revision=25325
 2010-12-30 21:23:19 +00:00
Michael Raskin
cc30a2861c Adding freetalk 
svn path=/nixpkgs/trunk/; revision=25323
 2010-12-29 19:20:55 +00:00
Yury G. Kudryashov
0d730b4362 Add sp compatibility wrapper 
This wrapper is required by some old programs (e.g., po4a which I'm trying to package)

svn path=/nixpkgs/trunk/; revision=25320
 2010-12-29 18:04:11 +00:00
Eelco Dolstra
762ed9079f * Merged the stdenv-updated branch. Woohoo! 
svn path=/nixpkgs/trunk/; revision=25315
 2010-12-28 21:19:57 +00:00
Lluís Batlle i Rossell
4c16325de0 I take out getPkgConfig. It looks to me as if it needed a solution, but noone took action. 
I take action before much discussion.
For what I see:
- getPkgConfig problems are hard to track
- config.nix trying to forecast getPkgConfig behaviour looks me as a bad approach,
  and people should not trust such a config.nix unless they parsed the whole nixpkgs
  for tricky effects.
- It's not that hard to write config.nix in the style of getConfig
- Every now and then newcomers hit the "'git' is an attribute set while a boolean was expected".

Maybe this will disrupt nixes of some people, and that will be a background on what to discuss.


svn path=/nixpkgs/trunk/; revision=25314
 2010-12-28 21:07:35 +00:00
Eelco Dolstra
5bb4096763 * Fix an evaluation error in xburst-tools. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25311
 2010-12-28 17:25:17 +00:00
Eelco Dolstra
8739052716 * stdenv2 -> stdenv. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25309
 2010-12-28 17:22:31 +00:00
Eelco Dolstra
aa6f43149a * Sync with the trunk. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25308
 2010-12-28 16:42:00 +00:00
Lluís Batlle i Rossell
7df337558a Trying to add ultrastardx. It fails for me in x86_64. I invite others to test or fix it, 
as I know zero about fpc.

svn path=/nixpkgs/trunk/; revision=25305
 2010-12-28 14:56:08 +00:00
Eelco Dolstra
1f5b61713e * Added libvdpau and vdpauinfo. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25296
 2010-12-27 18:30:52 +00:00
Yury G. Kudryashov
e9e22a7238 Rename hupnp to herqq 
Don't pass it to kdelibs as it breaks kdelibs build

svn path=/nixpkgs/trunk/; revision=25289
 2010-12-26 17:18:13 +00:00
Yury G. Kudryashov
20bffe3591 Add hupnp library 
svn path=/nixpkgs/trunk/; revision=25286
 2010-12-26 15:27:26 +00:00
Yury G. Kudryashov
58ca4111ad Start kde-4.6: copy 4.5, remove from release 
svn path=/nixpkgs/trunk/; revision=25279
 2010-12-26 15:26:01 +00:00
Michael Raskin
88d5eeda98 Adding sauerbraten 
svn path=/nixpkgs/trunk/; revision=25278
 2010-12-26 13:14:15 +00:00
Karn Kallio
4bbb72da2f Add tex macro lkproof for making proof figures. 
svn path=/nixpkgs/trunk/; revision=25277
 2010-12-25 18:06:36 +00:00
Karn Kallio
801ce7d5fb Add Concurrent Clean to NixPkgs. 
svn path=/nixpkgs/trunk/; revision=25276
 2010-12-25 15:13:07 +00:00
Michael Raskin
a85502fa0d Fixing gnuchess build 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25270
 2010-12-24 05:47:55 +00:00
Marco Maggesi
51d6c8df91 * Handle variable createFindlibDestdir correctly in ocaml-findlib 
* Fix HOL Light derivation

svn path=/nixpkgs/trunk/; revision=25269
 2010-12-23 19:28:06 +00:00
Eelco Dolstra
aceef005c3 * Sync with the trunk. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25244
 2010-12-22 17:02:03 +00:00
Michael Raskin
22c42a26b6 Adding OGRE - object-oriented graphical engine 
svn path=/nixpkgs/trunk/; revision=25240
 2010-12-22 14:50:13 +00:00
Sander van der Burg
80af0654fb Bumped activation scripts so that postgresql and subversion types are supported 
svn path=/nixpkgs/trunk/; revision=25234
 2010-12-22 13:31:25 +00:00
Michael Raskin
286e4c75fd Corresponding all-packages.nix changes 
svn path=/nixpkgs/trunk/; revision=25233
 2010-12-22 10:47:12 +00:00
Michael Raskin
3e5e7b0c74 Fixing libcgroup attribute name 
svn path=/nixpkgs/trunk/; revision=25229
 2010-12-22 09:52:32 +00:00
Ludovic Courtès
bd311de25c GNU Recutils 1.0. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25227
 2010-12-21 16:26:34 +00:00
Eelco Dolstra
c14382cb45 * Sync with the trunk. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25225
 2010-12-21 15:14:33 +00:00
Evgeny Egorochkin
9b4c2f5f56 Emacs PHP mode: packaged. Patch by Karn Kallio. 
svn path=/nixpkgs/trunk/; revision=25216
 2010-12-21 04:40:38 +00:00
Marco Maggesi
d43bda0086 * Update lablgtk2 (and enable hydra build) 
svn path=/nixpkgs/trunk/; revision=25213
 2010-12-20 14:58:56 +00:00
Marco Maggesi
e7accaf8d3 * Update camlp5 
svn path=/nixpkgs/trunk/; revision=25206
 2010-12-20 10:32:22 +00:00
Lluís Batlle i Rossell
b48b2a7bb4 Merging from trunk. I solved some trivial merge conflicts. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25188
 2010-12-17 20:39:58 +00:00
Sander van der Burg
d0a0f22c76 Updated Disnix packages and added disnixos 
svn path=/nixpkgs/trunk/; revision=25181
 2010-12-17 18:42:02 +00:00
Michael Raskin
71822c22de Adding tbe game 
svn path=/nixpkgs/trunk/; revision=25178
 2010-12-17 15:41:30 +00:00
Michael Raskin
7b4b615a86 Fix typo in box2d 2.0.1 name 
svn path=/nixpkgs/trunk/; revision=25175
 2010-12-17 14:16:17 +00:00
Michael Raskin
871112b8db Adding Box2D version 2.0.1 
svn path=/nixpkgs/trunk/; revision=25174
 2010-12-17 14:15:52 +00:00
Michael Raskin
aa744f88a1 Adding Box2D library 
svn path=/nixpkgs/trunk/; revision=25172
 2010-12-17 13:02:17 +00:00
Evgeny Egorochkin
77eb09e9cb Ghost One: packaged 
svn path=/nixpkgs/trunk/; revision=25137
 2010-12-15 02:19:59 +00:00
Yury G. Kudryashov
d1781e4b41 Add pdftops CUPS filter 
I've packaged this as a separate expression because it depends on poppler (why
don't they look for pdftops on runtime?..).

svn path=/nixpkgs/trunk/; revision=25124
 2010-12-14 13:30:17 +00:00
Yury G. Kudryashov
b93fed7f31 poppler-0.14.5 
svn path=/nixpkgs/trunk/; revision=25122
 2010-12-14 13:30:06 +00:00
Eelco Dolstra
975ec6c177 * Added PostgreSQL 9.0.1. 
svn path=/nixpkgs/trunk/; revision=25106
 2010-12-13 21:55:34 +00:00
Ludovic Courtès
532e844a0c Fix `binutilsCross'. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25094
 2010-12-13 08:04:14 +00:00
Ludovic Courtès
ac9fac1ba1 GNU Binutils 2.21. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25091
 2010-12-12 23:35:16 +00:00
Ludovic Courtès
2ad6c9c6c2 Parted (cross-GNU): Only refer to `.hostDrv' when cross-building. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25090
 2010-12-12 23:35:10 +00:00
Ludovic Courtès
65e0e4dd68 GNU Hurd: Add dependency on Parted. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25089
 2010-12-12 23:21:42 +00:00
Ludovic Courtès
ef8619b4b2 GNU Parted: Allow cross-GNU builds. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25088
 2010-12-12 23:21:35 +00:00
Ludovic Courtès
0847b74a2c libuuid: Fix cross-GNU builds. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25087
 2010-12-12 23:21:29 +00:00
Michael Raskin
d922bfcfc2 Making the current versions of flex/bison the default. Evaluation test passes. Please explicitly pass older versions to any package that can be adversely affected by too-fresh versions. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25086
 2010-12-12 21:48:29 +00:00
Marco Maggesi
f3eb5769ca * Add ocamlnet 
svn path=/nixpkgs/trunk/; revision=25072
 2010-12-12 17:53:13 +00:00
Lluís Batlle i Rossell
e949c432a2 Fixing the evaluation of eval-release.nix. I don't understand why, but something ends up 
evaluating glibc.hostDrv.


svn path=/nixpkgs/branches/stdenv-updates/; revision=25070
 2010-12-12 17:07:54 +00:00
Lluís Batlle i Rossell
a000072893 Adding evopedia. Contributed by Joachim Schiele. 
svn path=/nixpkgs/trunk/; revision=25066
 2010-12-11 22:04:13 +00:00
Marco Maggesi
ba8bc4dd33 * Add ocaml-sqlite3 
svn path=/nixpkgs/trunk/; revision=25065
 2010-12-11 15:05:26 +00:00
Marco Maggesi
acbc67e004 * Put ocaml 3.12.0 at lower priority because it is not tested very much yet 
svn path=/nixpkgs/trunk/; revision=25063
 2010-12-11 14:39:49 +00:00
Lluís Batlle i Rossell
ee04ffcb55 Updating from trunk. I resolved simple conflicts. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25061
 2010-12-11 12:47:00 +00:00
Eelco Dolstra
97d4a54698 * nixSqlite: bump. Also, go back to using SQLite 3.7 because 3.6 also 
gives random "database image is malformed" errors.

svn path=/nixpkgs/trunk/; revision=25050
 2010-12-10 10:22:23 +00:00
Tobias Hammerschmidt
4c9fe18b8a broadcom wireless driver - patch by Vladimír Čunát 
svn path=/nixpkgs/trunk/; revision=25044
 2010-12-09 19:05:19 +00:00
Marco Maggesi
ac457478e3 * Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, camomile, ocaml-lwt, cryptokit, ocaml-cryptgps, ounit, ocaml-react 
svn path=/nixpkgs/trunk/; revision=25041
 2010-12-09 15:40:04 +00:00
Marco Maggesi
114fa21c48 * Add ocaml 3.12.0 
svn path=/nixpkgs/trunk/; revision=25040
 2010-12-09 14:03:13 +00:00
Eelco Dolstra
41cffbd0c3 * nixSqlite: use SQLite 3.6.x. 3.7.x gives weird "malformed 
disk image" errors.

svn path=/nixpkgs/trunk/; revision=25023
 2010-12-07 12:03:07 +00:00
Lluís Batlle i Rossell
09bcba17f5 Adding the nanonote openwrt 2.6.36 kernel 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25005
 2010-12-06 15:30:19 +00:00
Eelco Dolstra
bf0fa02bff * Fix the GRUB 1 build on x86_64-linux. It didn't build because 
gcc43_multi is broken in the stdenv branch.  However, for GRUB 1 we
  can just use the 32-bit build of GRUB (using callPackage_i686).

svn path=/nixpkgs/branches/stdenv-updates/; revision=25003
 2010-12-06 14:25:58 +00:00
Yury G. Kudryashov
c87a2ea713 Add Netlink library 
svn path=/nixpkgs/trunk/; revision=24996
 2010-12-06 12:04:36 +00:00
Yury G. Kudryashov
eeda98a673 Remove qt-4.5 
svn path=/nixpkgs/trunk/; revision=24991
 2010-12-06 12:04:09 +00:00
Michael Raskin
07dd3f074b Adding MiniSAT 
svn path=/nixpkgs/trunk/; revision=24984
 2010-12-05 19:54:27 +00:00
Michael Raskin
011d71dcb8 Adding PARI/GP 
svn path=/nixpkgs/trunk/; revision=24983
 2010-12-05 19:11:21 +00:00
Michael Raskin
242d04a69a Adding Singular CAS 
svn path=/nixpkgs/trunk/; revision=24980
 2010-12-05 18:36:07 +00:00
Michael Raskin
6b8abaa29e Adding OpenSMT 
svn path=/nixpkgs/trunk/; revision=24978
 2010-12-05 18:22:14 +00:00
Michael Raskin
a9f70d542d Adding CVC3 satisfiability modulo theory (SMT) solver 
svn path=/nixpkgs/trunk/; revision=24975
 2010-12-05 17:28:41 +00:00
Michael Raskin
c9c133ab11 Use requireFile for the form-hidden download of JDK 5 (or 1.5, who cares) 
svn path=/nixpkgs/trunk/; revision=24972
 2010-12-05 11:42:24 +00:00
Lluís Batlle i Rossell
1b62c9c061 I made changes to achieve a working cross-built gcc wrapper. Now, 
"gcc45.hostDrv" works in the host system, together with libc, binutils, dynamic
linker, ...


svn path=/nixpkgs/branches/stdenv-updates/; revision=24971
 2010-12-04 21:45:37 +00:00
Michael Raskin
44ac8c5ea1 Adding iProver 
svn path=/nixpkgs/trunk/; revision=24969
 2010-12-04 18:39:44 +00:00
Michael Raskin
86e44e72bf Adding SPASS 
svn path=/nixpkgs/trunk/; revision=24967
 2010-12-04 11:43:01 +00:00
Michael Raskin
64ed7e705d Adding Satallax prover 
svn path=/nixpkgs/trunk/; revision=24963
 2010-12-03 11:26:34 +00:00
Michael Raskin
c32bd62956 Adding LEO2 automated higher-order prover 
svn path=/nixpkgs/trunk/; revision=24952
 2010-12-01 21:29:42 +00:00
Lluís Batlle i Rossell
b5f1600e49 Fixing the build of dev86 (it does not like gnumake 3.82) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24940
 2010-11-30 14:46:07 +00:00
Michael Raskin
f5e7bc623f Adding crrcsim model airplane flight simulator 
svn path=/nixpkgs/trunk/; revision=24931
 2010-11-29 21:12:53 +00:00
Michael Raskin
cfce1c0b98 Adding GL-117 
svn path=/nixpkgs/trunk/; revision=24930
 2010-11-29 20:51:09 +00:00
Peter Simons
50a167ba7b pkgs/shells/ipython: added initial version of ipython 0.10.1 
Committing on behalf of Cillian de Róiste <cillian.deroiste@gmail.com>.

svn path=/nixpkgs/trunk/; revision=24928
 2010-11-29 18:04:56 +00:00
Lluís Batlle i Rossell
ebe1ebaba8 Adding a stdenv version of links2, to be able to cross-build it. This can be removed once 
builderDefs can be made to support the stdenvCross adapter


svn path=/nixpkgs/branches/stdenv-updates/; revision=24927
 2010-11-29 18:03:03 +00:00
Ludovic Courtès
0d122e7c6f OProfile: Add dependency on zlib. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24925
 2010-11-29 17:42:50 +00:00
Eelco Dolstra
aa01c8abd6 * Added xdelta. 
svn path=/nixpkgs/trunk/; revision=24907
 2010-11-28 16:37:48 +00:00
Michael Raskin
a095746651 Add stardust 
svn path=/nixpkgs/trunk/; revision=24905
 2010-11-28 13:16:47 +00:00
Tobias Hammerschmidt
1db5a9df76 added tmux 
svn path=/nixpkgs/trunk/; revision=24904
 2010-11-28 12:38:35 +00:00
Evgeny Egorochkin
51492e5533 openbox: packaged. Patch by rixed@happyleptic.org. 
svn path=/nixpkgs/trunk/; revision=24902
 2010-11-28 10:07:49 +00:00
Evgeny Egorochkin
676562ac15 encfs: packaged. Patch by Ambrus Kaposi. 
svn path=/nixpkgs/trunk/; revision=24900
 2010-11-28 09:59:13 +00:00
Evgeny Egorochkin
b89f2ef1e4 system-config-printer: fix runtime errors. Patch by Karn Kallio. 
svn path=/nixpkgs/trunk/; revision=24899
 2010-11-28 09:46:51 +00:00
Evgeny Egorochkin
5e994b9153 ekiga: fix build failure. Patch by Karn Kallio. 
svn path=/nixpkgs/trunk/; revision=24897
 2010-11-28 09:21:36 +00:00
Michael Raskin
94585b9776 Add CGUI library 
svn path=/nixpkgs/trunk/; revision=24894
 2010-11-27 19:38:34 +00:00
Michael Raskin
e5137b9bbf Adding atanks 
svn path=/nixpkgs/trunk/; revision=24893
 2010-11-27 19:18:22 +00:00
Michael Raskin
ec741fee8c Adding Allegro library 
svn path=/nixpkgs/trunk/; revision=24891
 2010-11-27 18:31:05 +00:00
Tobias Hammerschmidt
57c1632f11 added flvstreamer 
svn path=/nixpkgs/trunk/; revision=24884
 2010-11-26 20:04:07 +00:00
Lluís Batlle i Rossell
e18cbe33e6 Adding a fbterm variant building with stdenv to get cross-build-ability 
(I want it in the nanonote)


svn path=/nixpkgs/branches/stdenv-updates/; revision=24880
 2010-11-26 17:56:23 +00:00
Lluís Batlle i Rossell
0e4c970d11 Updating from trunk - I hope I fixed the conflict around gettext - I left it as 
it was before merging.


svn path=/nixpkgs/branches/stdenv-updates/; revision=24876
 2010-11-26 14:40:39 +00:00
Lluís Batlle i Rossell
5387036c50 Adding php 5.2 (5.3 does not build on arm), although not the default in the attribute 'php'. 
svn path=/nixpkgs/trunk/; revision=24872
 2010-11-26 14:26:15 +00:00
Rob Vermaas
0c455b53ac gettext, now properly 
svn path=/nixpkgs/trunk/; revision=24869
 2010-11-26 12:38:42 +00:00
Rob Vermaas
b37f799732 gettext, now properly 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24868
 2010-11-26 12:38:09 +00:00
Rob Vermaas
8d9d42f773 add gettext_0_17, gettext_0_18 aliases to gettext, preparation for stdenv merge, concerning gnu hydra build configuration 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24867
 2010-11-26 12:34:46 +00:00
Rob Vermaas
4db5a0b5a9 add gettext_0_17 alias to gettext, preparation for stdenv merge, concerning gnu hydra build configuration 
svn path=/nixpkgs/trunk/; revision=24866
 2010-11-26 12:33:48 +00:00
Lluís Batlle i Rossell
4018d18e96 Committing patch adding verilog from Antonio Vargas Gonzalez 
From his original, I adapted some spacing, and removed the release.nix reference
(superfluous having set meta.platforms)

svn path=/nixpkgs/trunk/; revision=24860
 2010-11-25 22:01:14 +00:00
Michael Raskin
5af12418ef Pass parameters with correct arch to DF 
svn path=/nixpkgs/trunk/; revision=24843
 2010-11-24 20:05:43 +00:00
Michael Raskin
81fd05cdd3 Dwarf fortress asserts the need for i686-linux; give it to it even on amd64 
svn path=/nixpkgs/trunk/; revision=24842
 2010-11-24 20:02:35 +00:00
Michael Raskin
823f34a075 Adding Anonymous Pro font 
svn path=/nixpkgs/trunk/; revision=24840
 2010-11-24 11:51:50 +00:00
Michael Raskin
a94fc3966d Add inconsolata font 
svn path=/nixpkgs/trunk/; revision=24839
 2010-11-24 11:19:38 +00:00
Michael Raskin
31b22ed108 Merge from trunk 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24820
 2010-11-23 08:57:29 +00:00
Michael Raskin
9813c8feb6 Adding untie - a tool for manipulating namespaces 
svn path=/nixpkgs/trunk/; revision=24819
 2010-11-23 07:52:57 +00:00
Michael Raskin
6162fffede Adding IOtop 
svn path=/nixpkgs/trunk/; revision=24818
 2010-11-23 07:46:18 +00:00
Lluís Batlle i Rossell
8cd20e6f61 Adding valkyrie, a frontend for some valgrind 3.6 tools. 
svn path=/nixpkgs/trunk/; revision=24815
 2010-11-22 19:10:15 +00:00
Rob Vermaas
1c86c832c1 add google v8 engine 
svn path=/nixpkgs/trunk/; revision=24809
 2010-11-22 14:23:06 +00:00
Michael Raskin
6af8a1debd Merging from trunk 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24804
 2010-11-22 11:39:42 +00:00
Michael Raskin
6a9414d938 Adding dd_rescue - this is not the same as GNU ddrescue which has not been updated for a long time 
svn path=/nixpkgs/trunk/; revision=24801
 2010-11-22 08:40:10 +00:00
Lluís Batlle i Rossell
13a8b34a81 Fix for a syscall restart bug on linux-mips 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24791
 2010-11-21 15:26:36 +00:00
Lluís Batlle i Rossell
79c06ac912 Updating qemu 
svn path=/nixpkgs/trunk/; revision=24784
 2010-11-20 14:48:23 +00:00
Rob Vermaas
db8748b170 added eclipse 3.6.1, maven3, szip 
svn path=/nixpkgs/trunk/; revision=24772
 2010-11-19 13:24:11 +00:00
Eelco Dolstra
165a3df7f5 * Update nixSqlite. 
svn path=/nixpkgs/trunk/; revision=24764
 2010-11-19 10:39:48 +00:00
Michael Raskin
fb58f74d82 Updating from trunk again 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24745
 2010-11-17 17:03:09 +00:00
Evgeny Egorochkin
61e9a549f6 cmus: packaged. Patch by Paul van der Walt <nix@denknerd.nl>. 
svn path=/nixpkgs/trunk/; revision=24739
 2010-11-17 15:20:57 +00:00
Peter Simons
63f114c3dd This patch adds the cmus console music player. 
svn path=/nixpkgs/trunk/; revision=24738
 2010-11-17 15:03:12 +00:00
Ludovic Courtès
44c11bdf47 Fiddle with priorities to provide a smoother upgrade path. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24726
 2010-11-17 10:43:04 +00:00
Ludovic Courtès
d3c50a23f4 SuperTuxKart: Use GNU Make 3.81. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24725
 2010-11-17 10:43:00 +00:00
Rob Vermaas
de68a76cf8 added netcdf-4.1.1 
svn path=/nixpkgs/trunk/; revision=24722
 2010-11-17 10:05:46 +00:00
Michael Raskin
52ea4804e2 Correctly override cairo for firefox 4.0 beta 
svn path=/nixpkgs/trunk/; revision=24715
 2010-11-16 23:19:08 +00:00
Michael Raskin
e59ddf7bcb Update Cairo, Pixman; update FF4beta - still broken, cannot pass fresh cairo correctly to it yet 
svn path=/nixpkgs/trunk/; revision=24714
 2010-11-16 21:05:54 +00:00
Michael Raskin
1b4fe21978 Use FPC 2.4.0 for Lazarus 
svn path=/nixpkgs/trunk/; revision=24705
 2010-11-15 21:10:18 +00:00
Andres Löh
feecbd4ee3 Trying to fix priorities of various GHC/Haskell package versions. 
svn path=/nixpkgs/trunk/; revision=24701
 2010-11-15 20:28:42 +00:00
Lluís Batlle i Rossell
b9c159416c Adding keepnote 
svn path=/nixpkgs/trunk/; revision=24695
 2010-11-15 19:44:53 +00:00
Evgeny Egorochkin
b9b7665edd lshw: Packaged 
svn path=/nixpkgs/trunk/; revision=24688
 2010-11-15 09:52:57 +00:00
Evgeny Egorochkin
2e516fab70 Gemrb: replace the ugly workaround with a less ugly one. 
svn path=/nixpkgs/trunk/; revision=24684
 2010-11-14 08:57:49 +00:00
Tobias Hammerschmidt
1314fde101 wesnoth 1.8.5 (patch by Karn Kallio) 
svn path=/nixpkgs/trunk/; revision=24682
 2010-11-13 11:50:43 +00:00
Evgeny Egorochkin
5029db2160 Spring RTS: packaged along with its deps and utils: libDevIL, libtorrent-rasterbar, spring-lobby. 
svn path=/nixpkgs/trunk/; revision=24681
 2010-11-13 07:47:04 +00:00
Lluís Batlle i Rossell
8746de3ae8 Updating from trunk. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24674
 2010-11-11 22:18:14 +00:00
Michael Raskin
e870391644 Adding acpi-call 
svn path=/nixpkgs/trunk/; revision=24668
 2010-11-11 22:00:57 +00:00
Rob Vermaas
523c1de575 re-add gettext 0.17 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24663
 2010-11-11 14:42:35 +00:00
Michael Raskin
eed53122c1 Remove ttmkfdir reference 
svn path=/nixpkgs/trunk/; revision=24659
 2010-11-11 12:27:39 +00:00
Ludovic Courtès
1410156f2a OpenOffice.org 3.2.1. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24644
 2010-11-10 16:22:29 +00:00
Rob Vermaas
5e70f43ead reinstate gmp 4.3.1 for i686-darwin (like in trunk) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24641
 2010-11-10 15:05:18 +00:00
Michael Raskin
d19aa61253 Update Botan 
svn path=/nixpkgs/trunk/; revision=24639
 2010-11-10 14:48:42 +00:00
Ludovic Courtès
0ef4e570c8 OpenOffice.org: Build with GCC 4.4. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24636
 2010-11-10 09:30:03 +00:00
Ludovic Courtès
c317c7f4bd GNU grep: Fix build on non-GNU platforms. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24627
 2010-11-09 13:12:31 +00:00
Ludovic Courtès
9e46c5b3e2 Fix libcanberra. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24625
 2010-11-09 09:14:16 +00:00
Ludovic Courtès
a09b3a9d0a Fix GNU Emacs 22. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24624
 2010-11-09 09:14:12 +00:00
Ludovic Courtès
7ecc652da4 Re-add GNU Make 3.81. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24623
 2010-11-09 09:14:07 +00:00
Evgeny Egorochkin
55be5106fd Amule, Quassel: use appendToName to provide different names for common/named overrides. 
svn path=/nixpkgs/trunk/; revision=24622
 2010-11-08 23:45:58 +00:00
Marco Maggesi
caf0e7209a Add CMUCL Common Lisp compiler 
svn path=/nixpkgs/trunk/; revision=24618
 2010-11-08 08:58:50 +00:00
Lluís Batlle i Rossell
6e1659b7d1 I also had forgot to enable opengl support in SDL. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24616
 2010-11-07 21:55:01 +00:00
Lluís Batlle i Rossell
7f6469fd44 Enabling x11Support in SDL. I think I had committed in error the x11Support = false at some point. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24613
 2010-11-07 21:17:23 +00:00
Michael Raskin
384eefe26b Adding andagii font 
svn path=/nixpkgs/trunk/; revision=24610
 2010-11-06 09:45:13 +00:00
Marco Maggesi
0430167083 Update Coq 
svn path=/nixpkgs/trunk/; revision=24597
 2010-11-04 11:24:27 +00:00
Michael Raskin
2db7a9dfbd Add stalonetray 
svn path=/nixpkgs/trunk/; revision=24595
 2010-11-04 08:28:24 +00:00
Eelco Dolstra
a2102af6df * buildEnv: use $SHELL (i.e. bash) rather than /bin/sh. This allows 
NixOS VM tests to be built on Ubuntu, where /bin/sh is dash rather
  than bash.

svn path=/nixpkgs/trunk/; revision=24592
 2010-11-03 22:37:00 +00:00
Piotr Pietraszkiewicz
be71209dd3 added bibletime - a Bible study tool 
svn path=/nixpkgs/trunk/; revision=24587
 2010-11-03 20:42:26 +00:00
Piotr Pietraszkiewicz
f540277f97 added the sword framework 
svn path=/nixpkgs/trunk/; revision=24586
 2010-11-03 20:36:36 +00:00
Yury G. Kudryashov
3baea16bc6 Add guitone. 
It compiles. Haven't checked whether it works.

svn path=/nixpkgs/trunk/; revision=24566
 2010-11-02 12:23:01 +00:00
Sander van der Burg
76e26dd7a1 - Renamed DisnixService => DisnixWebService 
- Updated to latest unstable version


svn path=/nixpkgs/trunk/; revision=24559
 2010-11-01 17:33:24 +00:00