Commit graph

3675 commits

Author SHA1 Message Date
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