Ludovic Courtès
bcba3664d9
Add U-Boot for the GuruPlug.
...
svn path=/nixpkgs/trunk/; revision=24060
2010-10-04 22:23:57 +00:00
Russell O'Connor
b36f4c74bd
openjade requires a version of opensp built with gcc33 in order to compile.
...
svn path=/nixpkgs/trunk/; revision=24057
2010-10-04 17:05:22 +00:00
Russell O'Connor
228303d47e
Merging roconnor's and ludo' texmacs derivations.
...
texmacs now has extra font options.
texmacs is abstracted over which tex it uses (AFAIK texmacs only uses metafont).
texmacs now depends on aspell, ghostscript soft dependencies.
svn path=/nixpkgs/trunk/; revision=24054
2010-10-04 15:07:38 +00:00
Peter Simons
a0bee2ae1b
pkgs/top-level/all-packages.nix: strip trailing whitespace
...
svn path=/nixpkgs/trunk/; revision=24045
2010-10-04 09:49:25 +00:00
Peter Simons
600b4b7ee7
Moved "flup" from all-packages.nix into python-packages.nix.
...
svn path=/nixpkgs/trunk/; revision=24044
2010-10-04 09:49:09 +00:00
Evgeny Egorochkin
ef403beb48
Gobby: rename to gobby5 because it's apparently still considered very new and incompatible with stable gobby4
...
svn path=/nixpkgs/trunk/; revision=24043
2010-10-04 04:15:55 +00:00
Evgeny Egorochkin
c9ad6ec90a
Packaged Gobby
...
svn path=/nixpkgs/trunk/; revision=24040
2010-10-04 04:15:23 +00:00
Russell O'Connor
f947527f18
removing tsocks as it has been replaced by torsocks.
...
svn path=/nixpkgs/trunk/; revision=24013
2010-10-01 04:00:45 +00:00
Russell O'Connor
90aa3c3c3c
New derivation for torsocks.
...
This will replace tsocks.
svn path=/nixpkgs/trunk/; revision=24011
2010-10-01 02:38:03 +00:00
Lluís Batlle i Rossell
1019692db7
Adding the game engine 'instead' and some games.
...
svn path=/nixpkgs/trunk/; revision=24009
2010-09-30 18:58:48 +00:00
Michael Raskin
cffebf17a2
Add Git version of mdbtools - UCS-2 capable
...
svn path=/nixpkgs/trunk/; revision=24007
2010-09-30 16:50:37 +00:00
Eelco Dolstra
3cae924440
* Updated WebDSL.
...
* Made Stratego/XT 0.18 the default.
svn path=/nixpkgs/trunk/; revision=23994
2010-09-30 10:49:02 +00:00
Lluís Batlle i Rossell
7eb92a7821
Adding kadu
...
(patch by Piotr Pietraszkiewicz)
svn path=/nixpkgs/trunk/; revision=23988
2010-09-28 22:37:44 +00:00
Lluís Batlle i Rossell
cecffb9df5
Adding crack-attack
...
(patch sent by Piotr Pietraszkiewicz)
svn path=/nixpkgs/trunk/; revision=23987
2010-09-28 22:37:27 +00:00
Andres Löh
f6e3110b74
Preliminarily added ghc-7.0.1-rc1 and current HEAD.
...
svn path=/nixpkgs/trunk/; revision=23985
2010-09-28 13:48:22 +00:00
Evgeny Egorochkin
a774549139
uni2ascii: packaged
...
Patch by Cillian de Róiste
svn path=/nixpkgs/trunk/; revision=23984
2010-09-28 09:48:15 +00:00
Evgeny Egorochkin
a2909b0386
MySql-Workbench: packaged
...
Patch by Karn Kallio
svn path=/nixpkgs/trunk/; revision=23983
2010-09-28 09:33:56 +00:00
Evgeny Egorochkin
352b0de4a6
libctemplate: packaged.
...
Patch by Karn Kallio.
svn path=/nixpkgs/trunk/; revision=23981
2010-09-28 09:33:42 +00:00
Evgeny Egorochkin
e143b506e9
Taglib: packaged a pre-1.7 snapshot
...
svn path=/nixpkgs/trunk/; revision=23979
2010-09-28 09:33:28 +00:00
Yury G. Kudryashov
5017cdb706
Add json-glib
...
svn path=/nixpkgs/trunk/; revision=23961
2010-09-27 11:18:28 +00:00
Yury G. Kudryashov
b9fb4fee61
Move amarok from kde4. to applications/audio
...
svn path=/nixpkgs/trunk/; revision=23956
2010-09-26 19:40:30 +00:00
Yury G. Kudryashov
086945942d
Add mutagen, upgrade libgpod
...
svn path=/nixpkgs/trunk/; revision=23955
2010-09-26 19:40:22 +00:00
Yury G. Kudryashov
842e80dd60
Add two lastfm libraries
...
svn path=/nixpkgs/trunk/; revision=23954
2010-09-26 19:40:15 +00:00
Yury G. Kudryashov
f81af3dce0
Add libimobiledevice
...
svn path=/nixpkgs/trunk/; revision=23953
2010-09-26 19:40:07 +00:00
Yury G. Kudryashov
cb623539b0
Add sg3_utils
...
svn path=/nixpkgs/trunk/; revision=23949
2010-09-26 19:39:42 +00:00
Yury G. Kudryashov
74abd6e9ad
Add usbmuxd
...
svn path=/nixpkgs/trunk/; revision=23948
2010-09-26 19:39:35 +00:00
Yury G. Kudryashov
1eda454543
Add libmtp
...
svn path=/nixpkgs/trunk/; revision=23947
2010-09-26 19:39:28 +00:00
Yury G. Kudryashov
1f20ccb9e6
Add libplist
...
svn path=/nixpkgs/trunk/; revision=23946
2010-09-26 19:39:21 +00:00
Yury G. Kudryashov
e04cdd1204
Add libusb-1.x
...
svn path=/nixpkgs/trunk/; revision=23945
2010-09-26 19:39:02 +00:00
Evgeny Egorochkin
e41a0ef012
Flash player: part 2
...
svn path=/nixpkgs/trunk/; revision=23934
2010-09-26 05:05:24 +00:00
Evgeny Egorochkin
e91ff5eabd
Wine with patches for Warcraft 3
...
svn path=/nixpkgs/trunk/; revision=23933
2010-09-26 05:05:18 +00:00
Yury G. Kudryashov
58c09d0ff2
Move koffice to applications/office
...
svn path=/nixpkgs/trunk/; revision=23900
2010-09-22 18:04:55 +00:00
Yury G. Kudryashov
8e8662d828
Add libwpg
...
svn path=/nixpkgs/trunk/; revision=23898
2010-09-22 18:04:41 +00:00
Yury G. Kudryashov
ca7165a043
Add xbase
...
svn path=/nixpkgs/trunk/; revision=23897
2010-09-22 18:04:34 +00:00
Evgeny Egorochkin
84a1800124
TSocks library: packaged
...
svn path=/nixpkgs/trunk/; revision=23890
2010-09-22 06:23:15 +00:00
Evgeny Egorochkin
7a607648dc
KBluetooth: packaged
...
svn path=/nixpkgs/trunk/; revision=23889
2010-09-22 00:41:31 +00:00
Michael Raskin
f82a0576ea
Add ttf2pt1-cl-pdf which produces unicode maps for fonts
...
svn path=/nixpkgs/trunk/; revision=23883
2010-09-21 14:35:07 +00:00
Ludovic Courtès
332eca4ad9
Add Nix expression for Racket.
...
Patch by Karn Kallio <tierpluspluslists@gmail.com>.
svn path=/nixpkgs/trunk/; revision=23881
2010-09-21 12:31:11 +00:00
Evgeny Egorochkin
020cba6b98
Arora: packaged
...
svn path=/nixpkgs/trunk/; revision=23877
2010-09-20 22:16:16 +00:00
Evgeny Egorochkin
9c30b6d8cc
Quassel: quick client fix
...
svn path=/nixpkgs/trunk/; revision=23871
2010-09-20 11:03:59 +00:00
Michael Raskin
b383ca8d2a
Add Vacuum IM
...
svn path=/nixpkgs/trunk/; revision=23870
2010-09-20 08:40:30 +00:00
Lluís Batlle i Rossell
812420fab6
Adding lxdvdrip (it builds, but I still don't know how to make it work)
...
svn path=/nixpkgs/trunk/; revision=23858
2010-09-18 16:29:07 +00:00
Evgeny Egorochkin
9f696ae43e
Revert "Make kernel work for me". Committed this by accident.
...
This reverts commit 8a2cd2c99f26e5bd5c5a324e2a1712db8991379e.
svn path=/nixpkgs/trunk/; revision=23856
2010-09-18 16:22:04 +00:00
Evgeny Egorochkin
5bc3007bf6
Make kernel work for me
...
svn path=/nixpkgs/trunk/; revision=23855
2010-09-18 16:20:06 +00:00
Evgeny Egorochkin
cfd73f3c41
Quassel: added convenience packages for daemon and client
...
svn path=/nixpkgs/trunk/; revision=23847
2010-09-18 11:26:35 +00:00
Evgeny Egorochkin
fafcfa4f5f
AMule: Convenience packages for daemon and clent
...
svn path=/nixpkgs/trunk/; revision=23846
2010-09-18 11:26:30 +00:00
Michael Raskin
b2c555ee02
Add EQL (Embeddable Common Lisp + Qt)
...
svn path=/nixpkgs/trunk/; revision=23842
2010-09-17 19:52:50 +00:00
Ludovic Courtès
2739c3aa1e
Update Nix unstable.
...
svn path=/nixpkgs/trunk/; revision=23832
2010-09-17 15:56:15 +00:00
Peter Simons
84302a3554
pkgs/top-level/all-packages.nix: strip trailing white space, no functional change
...
svn path=/nixpkgs/trunk/; revision=23830
2010-09-17 14:47:02 +00:00
Peter Simons
c8fbebe6b6
pkgs/top-level/all-packages.nix: removed lowPrio modifier from ghostscriptX
...
By default, "nix-env -i ghostscript" used to install a version of Ghostscript
that didn't support X11. IMHO, this was the wrong choice for a user profile.
svn path=/nixpkgs/trunk/; revision=23829
2010-09-17 14:46:55 +00:00
Yury G. Kudryashov
69032f3d1d
Add krename
...
svn path=/nixpkgs/trunk/; revision=23818
2010-09-16 08:40:56 +00:00
Yury G. Kudryashov
bd6da9f5f3
Use stdenv2 in podofo
...
svn path=/nixpkgs/trunk/; revision=23817
2010-09-16 08:40:47 +00:00
Marco Maggesi
4e5db40581
Update HOL Light to version 20100820 (rev57 on google code).
...
Also replace the monolitic derivation hol_light_binaries with smaller
derivations. Now the installation works as follows:
# Install the base system and a script "start_hol_light"
$ nix-env -i hol_light_sources hol_light
# Install a checkpointed executable with the core library preloaded
$ nix-env -i hol_light_core_dmtcp
# Install HOL Light binaries preloaded with other specific libraries:
$ nix-env -i hol_light_multivariate_dmtcp
$ nix-env -i hol_light_complex_dmtcp
$ nix-env -i hol_light_sosa_dmtcp
$ nix-env -i hol_light_card_dmtcp
svn path=/nixpkgs/trunk/; revision=23815
2010-09-15 21:41:18 +00:00
Marco Maggesi
44f2d4439f
Change the name of the coq derivation to coq-devel-8.3pre1
...
i.e., remove the version from the name. Nix has its own mechanism to
prevent a packages to be upgraded. Instead we distinguish development
version (coq-dev-VERSION) from stable versions (coq-VERSION).
Also remove derivation for coq-8.3-beta0-1 which is now superseded by
coq-devel-8.3pre1.
svn path=/nixpkgs/trunk/; revision=23813
2010-09-15 19:39:48 +00:00
Yury G. Kudryashov
48c13f4096
Update cmake
...
Use system libraries, make curses optional, add optional qt4 gui etc.
svn path=/nixpkgs/trunk/; revision=23810
2010-09-15 18:37:21 +00:00
Marco Maggesi
8ab6f9861c
Add coq-8.3rc1
...
Note: In this version we introduce a new schema for the name of the coq
derivations where the coq version is included in the name (i.e.,
"coq8.3-8.3pre1" instead of "coq-8.3pre1"). The reason for this is that often
coq releases introduce several incompatibilities. Thus I argue that, in
general, users do not want nix-env to upgrade automatically form one release to
another. Also version string "8.3pre1" is used instead of "8.3-rc1" to trigger
the nix mechanism for versions comparison.
svn path=/nixpkgs/trunk/; revision=23803
2010-09-14 21:15:58 +00:00
Yury G. Kudryashov
2ecfb5cd9d
Add libtunepimp
...
svn path=/nixpkgs/trunk/; revision=23796
2010-09-14 14:29:37 +00:00
Yury G. Kudryashov
163e453e10
Add mp4v2
...
svn path=/nixpkgs/trunk/; revision=23795
2010-09-14 14:29:31 +00:00
Yury G. Kudryashov
5f4795b5f1
Add libofa
...
svn path=/nixpkgs/trunk/; revision=23794
2010-09-14 14:29:25 +00:00
Yury G. Kudryashov
09c85666cd
Add libmusicbrainz 2.x and 3.x
...
svn path=/nixpkgs/trunk/; revision=23793
2010-09-14 14:29:19 +00:00
Yury G. Kudryashov
359b360fc2
Add libdiscid
...
svn path=/nixpkgs/trunk/; revision=23792
2010-09-14 14:29:13 +00:00
Eelco Dolstra
7f2af6acfd
svn path=/nixpkgs/trunk/; revision=23784
2010-09-14 12:15:06 +00:00
Eelco Dolstra
9dbbae2c0c
* bridge-utils updated to 1.4.
...
svn path=/nixpkgs/trunk/; revision=23778
2010-09-14 10:54:50 +00:00
Yury G. Kudryashov
38dec40ddc
Upgrade ktorrent
...
svn path=/nixpkgs/trunk/; revision=23754
2010-09-13 14:23:02 +00:00
Eelco Dolstra
13f346058c
* Add a branch of the Linux kernel that can be used in Xen's Dom0.
...
From http://git.kernel.org/?p=linux/kernel/git/jeremy/xen.git;a=shortlog;h=refs/heads/xen/stable-2.6.32.x
svn path=/nixpkgs/trunk/; revision=23729
2010-09-10 16:27:39 +00:00
Eelco Dolstra
9ff5c12798
* Remove the systemtap option from linux-2.6.32.nix and use
...
extraConfig instead.
svn path=/nixpkgs/trunk/; revision=23720
2010-09-10 14:06:56 +00:00
Eelco Dolstra
cea083bec9
* Set the Python search path for Xen's Python scripts. As an
...
experiment, do this by patching a line setting sys.path into the
script, rather than using makeWrapper.
* Xen requires pythonFull because it needs https/ssl support.
svn path=/nixpkgs/trunk/; revision=23710
2010-09-10 10:53:17 +00:00
Eelco Dolstra
d4c7538648
* Add "gtk" to the top-level scope (just like "glib") and remove all
...
those "inherit (gtkLibs) gtk" lines.
svn path=/nixpkgs/trunk/; revision=23699
2010-09-09 16:48:13 +00:00
Eelco Dolstra
c1867fe704
* Get Xen to build. It's not tested yet and doesn't include a Dom0
...
kernel.
svn path=/nixpkgs/trunk/; revision=23698
2010-09-09 16:45:18 +00:00
Marco Maggesi
df21c86e08
Improve hol_light:
...
* Upgrade hol_light to the latest svn version on google code (r57).
* Improve and semplify the mechanism for the generation of checkpointed binaries.
* Make hol to work with camlp5 and thus with recent version of ocaml (>=3.10, <=3.11).
* Remove ocaml_with_sources which is not needed anymore.
svn path=/nixpkgs/trunk/; revision=23685
2010-09-08 13:07:45 +00:00
Ludovic Courtès
78adb9fbf1
org-mode: Pass the full path to which'; use
callPackage'.
...
svn path=/nixpkgs/trunk/; revision=23657
2010-09-06 07:58:13 +00:00
Eelco Dolstra
b724075063
* Audacious 2.4.0.
...
svn path=/nixpkgs/trunk/; revision=23656
2010-09-06 07:29:18 +00:00
Lluís Batlle i Rossell
7e27052bd6
Applying the patch adding 'detox' from Tom Ridge and Karn Kallio.
...
svn path=/nixpkgs/trunk/; revision=23655
2010-09-06 07:21:08 +00:00
Michael Raskin
29db2ca0c9
Adding Ekiga
...
svn path=/nixpkgs/trunk/; revision=23653
2010-09-05 23:37:54 +00:00
Ludovic Courtès
895ba33eb4
Guile-Lib 0.1.9.
...
svn path=/nixpkgs/trunk/; revision=23650
2010-09-05 15:19:23 +00:00
Yury G. Kudryashov
aa7164d7de
Add grantlee
...
svn path=/nixpkgs/trunk/; revision=23625
2010-09-03 17:40:55 +00:00
Eelco Dolstra
3cfc942bdc
* Added a function `applyGlobalOverrides' to return Nixpkgs with the
...
specified overrides applied. This does the same as the
`packageOverrides' attribute in ~/.nixpkgs/config.nix, but can be
used within all-packages.nix to do a "deep" override for some
specific package. For instance, to build Thunderbird with an older
version of Glib, you can say:
thunderbird3 =
let
pkgs = applyGlobalOverrides (pkgsOrig:
{ gtkLibs220 = pkgsOrig.gtkLibs220 //
{ glib = pkgsOrig.gtkLibs218.glib; };
});
in
pkgs.callPackage .../thunderbird/3.x.nix {
inherit (pkgs.gnome) libIDL;
};
Note that `pkgsFun' now has an argument `pkgs' to refer to its own
result.
* Moved callPackage etc. into pkgsFun so that it uses the right
overriden packages, if applicable. `defaultScope' isn't in the
result set because that causes nix-env to go into an apparently
infinite recursion.
* Dropped the optional pkgsOrig argument to ~/.nixpkgs/config.nix,
because it's probably not useful or used.
svn path=/nixpkgs/trunk/; revision=23613
2010-09-03 10:46:18 +00:00
Michael Raskin
b7a15bae9f
Adding libosip - GNU SIP library
...
svn path=/nixpkgs/trunk/; revision=23555
2010-08-31 09:58:09 +00:00
Andres Löh
e94147754c
Switching haskell-packages.nix to callPackage ...
...
svn path=/nixpkgs/trunk/; revision=23551
2010-08-30 17:10:21 +00:00
Rob Vermaas
1776b95afe
added open-iscsi
...
svn path=/nixpkgs/trunk/; revision=23541
2010-08-30 09:40:44 +00:00
Rob Vermaas
f6e0a38226
added iscsitarget
...
svn path=/nixpkgs/trunk/; revision=23540
2010-08-30 09:15:27 +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
66004ecba7
Update fuse and make wdfs build with the latest neon. neon026 does not build with the current
...
SSL. We should either remove neon026 or fix it.
svn path=/nixpkgs/trunk/; revision=23505
2010-08-29 12:27:41 +00:00
Michael Raskin
d5f6f72342
Enable AUFS2 patch
...
svn path=/nixpkgs/trunk/; revision=23499
2010-08-29 10:38:39 +00:00
Lluís Batlle i Rossell
2377a46c8f
Adding the game Advanced Strategic Command.
...
I had to add an old version of libsigc++ for it.
svn path=/nixpkgs/trunk/; revision=23490
2010-08-29 09:43:46 +00:00
Lluís Batlle i Rossell
159474361c
Adding the game UFO: Alien Invasion.
...
svn path=/nixpkgs/trunk/; revision=23488
2010-08-29 00:45:29 +00:00
Eelco Dolstra
fee41ba2fb
* Make sitecopy build against Neon 0.29.
...
svn path=/nixpkgs/trunk/; revision=23461
2010-08-26 13:09:52 +00:00
Peter Simons
0bc62c5ad7
pkgs/top-level/all-packages.nix: wrap emacs23Packages in "recurseIntoAttrs" so that these packages are visible in nix-env
...
svn path=/nixpkgs/trunk/; revision=23456
2010-08-26 12:21:15 +00:00
Peter Simons
3b94efffe5
pkgs/development/interpreters/python/2.5: removed obsolete python version 2.5
...
Python 2.5 is unused in nixpkgs -- 2.6 has been the default version for
quite a while.
svn path=/nixpkgs/trunk/; revision=23454
2010-08-26 12:09:42 +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
Peter Simons
d25c8b5882
pkgs/top-level/all-packages.nix: stripped trailing whitespace
...
svn path=/nixpkgs/trunk/; revision=23444
2010-08-26 09:45:10 +00:00
Peter Simons
f79ba3cde3
pkgs/top-level/all-packages.nix: don't use getPkgConfig to configure Doxygen; use override instead
...
svn path=/nixpkgs/trunk/; revision=23443
2010-08-26 09:44:53 +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
Ludovic Courtès
821c95173f
libuuid: Add static cross-build for GNU/Hurd.
...
svn path=/nixpkgs/trunk/; revision=23419
2010-08-25 12:49:54 +00:00
Ludovic Courtès
a806414146
libuuid: Make cross-buildable for GNU/Hurd (needed by GNU Parted).
...
svn path=/nixpkgs/trunk/; revision=23415
2010-08-25 08:57:10 +00:00
Lluís Batlle i Rossell
02e4b5ffa4
Adding another nvidia legacy driver. (they have one more, '71').
...
I use their major numbers to distinguish.
They seem to do so in http://www.nvidia.com/object/unix.html .
svn path=/nixpkgs/trunk/; revision=23411
2010-08-24 21:56:47 +00:00
Lluís Batlle i Rossell
4ecebb6465
Updating xmoto
...
svn path=/nixpkgs/trunk/; revision=23409
2010-08-24 19:59:06 +00:00
Lluís Batlle i Rossell
03ccbe3f78
Adding a more-or-less working 'egoboo'. I'll update to a better expression after some
...
egoboo upstream work.
svn path=/nixpkgs/trunk/; revision=23408
2010-08-24 19:36:42 +00:00