Commit graph

4123 commits

Author SHA1 Message Date
Peter Simons 1891300e11 pkgs/top-level/all-packages.nix: renamed 'python31Base' attribute to 'python3'
The distinction between pythonBase and pythonFull is useful for bootstrapping
purposes, because it allows a version of Python to be built that has very few
dependencies. Python 3.x, however, isn't used in the low-level system, so a
"base variant" of that package is not required. Even if it were, the best
approach to implement that feature would be using 'override'.

svn path=/nixpkgs/trunk/; revision=25748
2011-02-02 11:16:27 +00:00
David Guibert 5ba7793e33 new makeself: 2.1.5
svn path=/nixpkgs/trunk/; revision=25743
2011-02-01 23:24:13 +00:00
Nicolas Pierron 08fd6e32c9 Add fuppes-0.660: UPnP A/V Media Server.
svn path=/nixpkgs/trunk/; revision=25728
2011-01-30 16:45:42 +00:00
Ludovic Courtès 4a5c37a70f GNU Xnee 3.08.
svn path=/nixpkgs/trunk/; revision=25726
2011-01-30 16:11:36 +00:00
Michael Raskin 1cd5efa338 Trying to add foomatic-filters and foo2zjs
svn path=/nixpkgs/trunk/; revision=25712
2011-01-28 08:44:31 +00:00
Michael Raskin e6621da1c3 Adding Sphere of Influence
svn path=/nixpkgs/trunk/; revision=25711
2011-01-28 08:13:52 +00:00
Ludovic Courtès e49a8a1807 Add GNU xorriso, which supersedes GNU mkisofs.
svn path=/nixpkgs/trunk/; revision=25703
2011-01-27 20:12:28 +00:00
Rob Vermaas 68de75825e fix linux 2.6.27 build, use make 3.81
svn path=/nixpkgs/trunk/; revision=25702
2011-01-27 14:11:47 +00:00
Cillian de Roiste ce45e043e4 Adding redshift; it changes the color temperature of your screen gradually to match the lighting conditions
svn path=/nixpkgs/trunk/; revision=25686
2011-01-24 23:52:22 +00:00
Michael Raskin f863b73829 Adding FreeIPMI
svn path=/nixpkgs/trunk/; revision=25679
2011-01-24 07:06:17 +00:00
Ludovic Courtès 5c876d63b5 GNU Automake 1.11.x: Disable tests on Cygwin.
svn path=/nixpkgs/trunk/; revision=25678
2011-01-23 22:53:54 +00:00
Ludovic Courtès a246bebc14 GNU Automake 1.11.x: Disable tests on Solaris.
svn path=/nixpkgs/trunk/; revision=25677
2011-01-23 22:48:08 +00:00
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