philipp/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Activity
%!d() commits 3 branches 0 tags 1.4 GiB
Commit graph

5079 commits

Author SHA1 Message Date
Lluís Batlle i Rossell 1573081b61 Adding gptfdisk (patch by Shea Levy). 
I add him in the maintainers list.
I changed slightly the indentation of the expressions.


svn path=/nixpkgs/trunk/; revision=26304
 2011-03-14 21:13:35 +00:00
Eelco Dolstra 3e3eac2e30 * Sync with the trunk. 
svn path=/nixpkgs/branches/x-updates/; revision=26303
 2011-03-14 18:26:46 +00:00
Eelco Dolstra 440c82b96f * Fix the ratpoison build (http://hydra.nixos.org/build/915825). 
svn path=/nixpkgs/branches/x-updates/; revision=26296
 2011-03-14 10:25:26 +00:00
Andres Löh b043946163 More Haskell library updates. 
svn path=/nixpkgs/trunk/; revision=26292
 2011-03-13 11:03:49 +00:00
Andres Löh f89b676312 Upgraded Hakyll to 2.4.3. 
I know, that's not the latest version, but Hakyll-3 is rather
different from Hakyll-2 and the upgrade would require more work.

svn path=/nixpkgs/trunk/; revision=26291
 2011-03-13 08:46:54 +00:00
Karn Kallio 6a33045532 Hakyll needs time >= 1.2 
svn path=/nixpkgs/trunk/; revision=26290
 2011-03-12 20:21:58 +00:00
Andres Löh fd38989a38 Correcting the version of the time library used in HP 2009. 
svn path=/nixpkgs/trunk/; revision=26289
 2011-03-12 19:20:58 +00:00
Andres Löh 3e0ac9b040 Major Haskell packages overhaul. 
Several changes, some highlights:

  * Structure of haskell-packages.nix updated. It's now easier to
    select different default versions of packages for different
    versions of GHC.

  * GHC 7.0.2 is now default.

  * Haskell Platform 2011.2.0.0 has been added and is now default.

  * Several packages have been updated
    (gtk2hs, gitit, xmonad, darcs, ...).

  * Some old packages have been removed.

svn path=/nixpkgs/trunk/; revision=26288
 2011-03-12 17:28:15 +00:00
Karn Kallio 33fb7aef16 Update flapjax compiler to the latest release, version 2.1 
Also add to nixpkgs new dependencies from hackage.

svn path=/nixpkgs/trunk/; revision=26283
 2011-03-11 16:49:56 +00:00
Lluís Batlle i Rossell d58c5e2821 Adding GMU, a music player for small portable devices, written in SDL. 
svn path=/nixpkgs/trunk/; revision=26266
 2011-03-10 22:20:35 +00:00
Lluís Batlle i Rossell e7ed35ecd8 Adding the djview firefox plugin option. 
svn path=/nixpkgs/trunk/; revision=26265
 2011-03-10 21:39:09 +00:00
Eelco Dolstra cc3d1e1c09 * Sync with trunk. 
svn path=/nixpkgs/branches/x-updates/; revision=26243
 2011-03-10 08:48:14 +00:00
Andres Löh 9c416145b5 Changed ghc versions in release.nix. 
svn path=/nixpkgs/trunk/; revision=26218
 2011-03-09 08:50:50 +00:00
Andres Löh 92db39f586 Added ghc-7.0.2. 
This is supposed to become the new default version of GHC once
the new Haskell Platform is released (but only then).

svn path=/nixpkgs/trunk/; revision=26217
 2011-03-09 08:29:12 +00:00
Ludovic Courtès 6e69b4dbd0 GNU GRUB 1.9 for UEFI. 
Based on a patch by Shea Levy <shea@shealevy.com>.

svn path=/nixpkgs/trunk/; revision=26216
 2011-03-08 23:26:41 +00:00
Lluís Batlle i Rossell a136bd7968 Adding flann 
svn path=/nixpkgs/trunk/; revision=26205
 2011-03-08 09:19:37 +00:00
Lluís Batlle i Rossell d95300f90f Adding cminpack 
svn path=/nixpkgs/trunk/; revision=26204
 2011-03-08 09:19:32 +00:00
Eelco Dolstra d10651a8b7 * zOMG, a new Pan release! 
* Delete gmime 2.2.x because the old version of Pan was the only
  package that needed it.

svn path=/nixpkgs/trunk/; revision=26200
 2011-03-07 17:11:50 +00:00
Eelco Dolstra f16a2dc2f6 * Sync with the trunk. Remove glib_2_28 because the branch already 
has it.

svn path=/nixpkgs/branches/x-updates/; revision=26189
 2011-03-07 12:17:12 +00:00
Yury G. Kudryashov c8f0c74ecc Add vorbisgain - replaygain for ogg/vorbis 
svn path=/nixpkgs/trunk/; revision=26176
 2011-03-06 16:07:37 +00:00
Yury G. Kudryashov ecf4f6b4e2 Add mkcue (an optional dep of abcde) 
svn path=/nixpkgs/trunk/; revision=26175
 2011-03-06 16:07:31 +00:00
Michael Raskin 6b10954921 Adding Joseki: HTTP/SparQL server based on Jena framework. Just a unpack/mix/fix paths expression relying on compiled JAR releases. 
svn path=/nixpkgs/trunk/; revision=26168
 2011-03-05 22:05:00 +00:00
Michael Raskin 56536b3498 Getting WebKit overrides less wrong so no libsoup 2.28 gets used 
svn path=/nixpkgs/trunk/; revision=26166
 2011-03-05 07:28:50 +00:00
Michael Raskin f084b30926 Remove the breaking override for WebKit 
svn path=/nixpkgs/trunk/; revision=26159
 2011-03-04 13:08:11 +00:00
Eelco Dolstra 3a4b95e503 * Simplify the avahi call. 
svn path=/nixpkgs/branches/x-updates/; revision=26158
 2011-03-04 13:04:08 +00:00
Lluís Batlle i Rossell a76b0fb6fa Making freecad install; it still does not find all shared objects though. 
Either eigen changed the hash of the tarball, or I did not commit its latest hash.
I add boost 1.46 apart, because 1.44 does not work easily for freecad.

svn path=/nixpkgs/trunk/; revision=26151
 2011-03-04 09:48:24 +00:00
Eelco Dolstra 5cc5e16104 * Remove the xen-pvclock-resume patch, which has finally been merged 
into 2.6.32.

svn path=/nixpkgs/trunk/; revision=26149
 2011-03-03 15:36:13 +00:00
Lluís Batlle i Rossell 7912200505 Adding libf2c 
svn path=/nixpkgs/trunk/; revision=26144
 2011-03-03 13:41:06 +00:00
Eelco Dolstra eb4b1e8b04 * Sync with the trunk. 
svn path=/nixpkgs/branches/x-updates/; revision=26141
 2011-03-03 12:02:50 +00:00
Lluís Batlle i Rossell d11c00e5a5 Adding xercesc, the references to coin3d and soqt, and trying to add 
freecad (that still does not build).

svn path=/nixpkgs/trunk/; revision=26135
 2011-03-02 17:18:30 +00:00
Lluís Batlle i Rossell e1cf8f90e6 Adding GNU Triangulated Surface library 
svn path=/nixpkgs/trunk/; revision=26132
 2011-03-02 17:18:15 +00:00
Peter Simons f073bf2a3e esniper 2.24.0 is a simple, lightweight tool for sniping eBay auctions. 
svn path=/nixpkgs/trunk/; revision=26086
 2011-02-24 11:25:16 +00:00
Yury G. Kudryashov eb85a47f9e Cleanup 'rec {' 
svn path=/nixpkgs/branches/x-updates/; revision=26065
 2011-02-23 10:04:50 +00:00
Marco Maggesi 3c10d32ad0 Oops... Fix alphabetical order in all-packages.nix 
svn path=/nixpkgs/trunk/; revision=26064
 2011-02-22 21:07:36 +00:00
Marco Maggesi a297ef5966 Add lsscsi 
svn path=/nixpkgs/trunk/; revision=26063
 2011-02-22 20:57:17 +00:00
Ludovic Courtès eba1278e84 guile-2-test: Update to 2.0. 
svn path=/nixpkgs/trunk/; revision=26059
 2011-02-22 13:39:56 +00:00
Yury G. Kudryashov 0646cfee1e Move strigi outside of kde-4.x 
svn path=/nixpkgs/trunk/; revision=26057
 2011-02-22 11:54:49 +00:00
Yury G. Kudryashov 78127c3b86 Move qimageblitz outside of kde-4.x 
svn path=/nixpkgs/trunk/; revision=26056
 2011-02-22 11:54:42 +00:00
Eelco Dolstra d47cf5a35e * Sync with the trunk. 
svn path=/nixpkgs/branches/x-updates/; revision=26054
 2011-02-22 10:00:18 +00:00
Yury G. Kudryashov 68299a0202 Move qca2 outside of kde-4.x 
svn path=/nixpkgs/trunk/; revision=26053
 2011-02-22 09:53:01 +00:00
Yury G. Kudryashov dcc137553c newline 
svn path=/nixpkgs/trunk/; revision=26049
 2011-02-22 06:19:11 +00:00
Yury G. Kudryashov 3b3f50e405 Move automoc4 out of kde-4.x/ 
kde-4.x/ is for software that is released with kde releases,
not for anything hosted on *.kde.org or in kde svn/git.

svn path=/nixpkgs/trunk/; revision=26048
 2011-02-22 06:19:05 +00:00
Eelco Dolstra d89d26cdd2 * Added OpenStack Compute (Nova). It builds but doesn't work yet. 
svn path=/nixpkgs/trunk/; revision=26047
 2011-02-21 21:53:42 +00:00
Eelco Dolstra 0dd10c6035 * Add python-eventlet. 
svn path=/nixpkgs/trunk/; revision=26046
 2011-02-21 21:49:20 +00:00
Eelco Dolstra 237a852e85 * Added python-greenlet and python-httplib2. 
svn path=/nixpkgs/trunk/; revision=26045
 2011-02-21 17:26:19 +00:00
Eelco Dolstra f053b6eec1 * Added python-netaddr. 
svn path=/nixpkgs/trunk/; revision=26044
 2011-02-21 17:09:09 +00:00
Eelco Dolstra c4bc14bdd0 * Added python-gflags. 
svn path=/nixpkgs/trunk/; revision=26043
 2011-02-21 16:56:49 +00:00
Eelco Dolstra 33b5637b37 * Added radvd, the Router Advertisement Daemon. 
svn path=/nixpkgs/trunk/; revision=26032
 2011-02-19 16:04:34 +00:00
Michael Raskin 1ff642f723 Adding SMBNetFS 
svn path=/nixpkgs/trunk/; revision=26030
 2011-02-19 09:56:35 +00:00
Eelco Dolstra d6c6f9f0e0 * Sync with the trunk. 
svn path=/nixpkgs/branches/x-updates/; revision=26018
 2011-02-17 16:33:39 +00:00
Michael Raskin 6029a74a29 LilyPond is not ready for Guile 2.0 
svn path=/nixpkgs/trunk/; revision=26006
 2011-02-17 08:23:56 +00:00
Ludovic Courtès 742b97a35b guile-2-test: Add LiquidWar and Freetalk. 
svn path=/nixpkgs/trunk/; revision=26001
 2011-02-16 22:50:02 +00:00
Michael Raskin c0b92d0491 FreeTalk is not ready for Guile 2.0 
svn path=/nixpkgs/trunk/; revision=25999
 2011-02-16 22:21:29 +00:00
Michael Raskin 820e9d1b06 LiquidWar is not ready for Guile 2.0 
svn path=/nixpkgs/trunk/; revision=25998
 2011-02-16 22:21:07 +00:00
Michael Raskin 479fc3a1d4 Adding warmux 
svn path=/nixpkgs/trunk/; revision=25997
 2011-02-16 22:19:59 +00:00
Eelco Dolstra 9b6dfe840a * Sync with the trunk. 
svn path=/nixpkgs/branches/x-updates/; revision=25993
 2011-02-16 15:14:04 +00:00
Ludovic Courtès 59904446e4 GNU Guile 2.0.0! 
svn path=/nixpkgs/trunk/; revision=25990
 2011-02-16 13:18:08 +00:00
Karn Kallio db25406910 Advance racket to latest release version 5.1 
svn path=/nixpkgs/trunk/; revision=25984
 2011-02-16 00:48:58 +00:00
Ludovic Courtès 8dba6683ad Fix typo. 
svn path=/nixpkgs/trunk/; revision=25979
 2011-02-15 13:23:34 +00:00
Ludovic Courtès 46d18d183d "coreutils_real" -> "coreutils". 
svn path=/nixpkgs/trunk/; revision=25978
 2011-02-15 13:15:55 +00:00
Ludovic Courtès 10f6eb70f1 Add more cross-MinGW and cross-GNU jobs. 
svn path=/nixpkgs/trunk/; revision=25977
 2011-02-15 13:14:33 +00:00
Ludovic Courtès 9bc101679a Prepare for the Guile 2.0 switchover. 
svn path=/nixpkgs/trunk/; revision=25976
 2011-02-15 13:14:29 +00:00
Andres Löh 0a69fe9898 Restored HaXml-1.13.3 to keep happstack and gitit working. 
svn path=/nixpkgs/trunk/; revision=25974
 2011-02-15 10:36:52 +00:00
Cillian de Roiste 19a516c68d Reverting the pulseSupport configuration option, I believe this is meant to be configured via packageOverrides instead 
svn path=/nixpkgs/trunk/; revision=25941
 2011-02-13 12:35:23 +00:00
Cillian de Roiste 9fd9a34316 Optionally enable pulseaudio support for MPlayer 
svn path=/nixpkgs/trunk/; revision=25940
 2011-02-13 11:37:29 +00:00
Yury G. Kudryashov 5e7c026c22 kde-x.y/utils is for kdeutils-x.y.z, not for apps from kde-apps.org 
svn path=/nixpkgs/trunk/; revision=25932
 2011-02-13 04:34:37 +00:00
Florian Friesdorf f03892655b notmuch -- The mail indexer 
configure fails so far:
Checking for Xapian development files... Yes (1.0.23).
Checking for GMime development files... No.
Checking for talloc development files... No.
Checking for valgrind development files... No (but that's fine).
Checking if emacs is available... Yes.

svn path=/nixpkgs/trunk/; revision=25930
 2011-02-13 01:34:49 +00:00
David Guibert 87418d034b mkvtoolnix: 4.4.0 
svn path=/nixpkgs/trunk/; revision=25925
 2011-02-12 20:18:53 +00:00
David Guibert 188b3c00ba libmatroska: 1.0.0 
svn path=/nixpkgs/trunk/; revision=25924
 2011-02-12 20:18:46 +00:00
David Guibert 489b0e2fe5 libebml: 1.0.0 
svn path=/nixpkgs/trunk/; revision=25923
 2011-02-12 20:18:41 +00:00
Yury G. Kudryashov dae53e0ea6 Make gdmap compile with newer gtk 
svn path=/nixpkgs/branches/x-updates/; revision=25922
 2011-02-12 20:16:08 +00:00
Cillian de Roiste 65e3a1b21c Adding pymacs, an Emacs Lisp to Python interface 
svn path=/nixpkgs/trunk/; revision=25918
 2011-02-12 13:38:23 +00:00
Cillian de Roiste 93a6c31a9a Avoiding easy_install in order to get rope and ropemacs working for now. 
svn path=/nixpkgs/trunk/; revision=25917
 2011-02-12 12:50:02 +00:00
Cillian de Roiste dd0f90b302 Adding rope, a python refactoring library 
svn path=/nixpkgs/trunk/; revision=25914
 2011-02-11 23:06:54 +00:00
Cillian de Roiste 98bda5c728 Adding ropemacs, a plugin for refactoring python in emacs 
svn path=/nixpkgs/trunk/; revision=25913
 2011-02-11 22:49:27 +00:00
Eelco Dolstra 32f8ebfca3 * Emacs: disable the dependency on librsvg, because it pulls in over 
26 additional dependencies (such as Samba, Upstart, HAL, udev,
  OpenLDAP, ...).  Also disable gconf because it doesn't really work
  and just prints annoying messages.

svn path=/nixpkgs/branches/x-updates/; revision=25911
 2011-02-11 18:02:16 +00:00
Lluís Batlle i Rossell cb41a67c47 Building mumble a bit further. 
svn path=/nixpkgs/trunk/; revision=25908
 2011-02-11 15:56:29 +00:00
Eelco Dolstra 2c72c03de5 * Mesa 7.9.1. 
svn path=/nixpkgs/branches/x-updates/; revision=25905
 2011-02-11 14:48:30 +00:00
Eelco Dolstra e877e4dc13 * Dbus 1.4.1. 
svn path=/nixpkgs/branches/x-updates/; revision=25903
 2011-02-11 14:01:39 +00:00
Eelco Dolstra a08d99715d * Sync with the trunk. 
svn path=/nixpkgs/branches/x-updates/; revision=25900
 2011-02-11 13:08:45 +00:00
Sander van der Burg cd2df27b1c Bumped Disnix versions and added them to release.nix 
svn path=/nixpkgs/trunk/; revision=25899
 2011-02-11 12:53:23 +00:00
Eelco Dolstra 6ca6fd8fc6 * Use Nix with SQLite in NixOS by default. Cross fingers. 
svn path=/nixpkgs/trunk/; revision=25898
 2011-02-11 12:45:19 +00:00
Lluís Batlle i Rossell 951b65cf9c Trying to add mumble. It still does not build. 
svn path=/nixpkgs/trunk/; revision=25890
 2011-02-10 19:23:27 +00:00
Florian Friesdorf 62759cd550 intel wifi 6000 firmware 
svn path=/nixpkgs/trunk/; revision=25888
 2011-02-10 17:30:20 +00:00
Michael Raskin 9a9d97642a Pass SQLite to nix-custom 
svn path=/nixpkgs/trunk/; revision=25887
 2011-02-10 17:13:48 +00:00
Yury G. Kudryashov 857121483f Add libtiger 
svn path=/nixpkgs/trunk/; revision=25871
 2011-02-09 21:11:16 +00:00
Yury G. Kudryashov 822ddb6b5e Add libkate 
svn path=/nixpkgs/trunk/; revision=25869
 2011-02-09 21:10:55 +00:00
Yury G. Kudryashov e67fdbf901 Add libass 
svn path=/nixpkgs/trunk/; revision=25868
 2011-02-09 21:10:42 +00:00
Yury G. Kudryashov e936f855a1 Add liboggz 
svn path=/nixpkgs/trunk/; revision=25867
 2011-02-09 21:10:28 +00:00
Eelco Dolstra 935a8efdb0 * Remove the old gdk-pixbuf. 
svn path=/nixpkgs/branches/x-updates/; revision=25854
 2011-02-09 15:12:05 +00:00
Eelco Dolstra 6a59d1a98f * Latest Glib, ATK, Pango and GTK+. 
* Added gdk-pixbuf, which has been revived and is required by GTK+.
* Don't install the documentation of aforementioned packages.  This
  cuts 56 MiB off the closure of GTK+-based packages.  It wasn't
  really useful anyway because it's not installed in a way that allows
  users to find it easily on NixOS.  And if you want it, it's faster
  to Google it.

svn path=/nixpkgs/branches/x-updates/; revision=25853
 2011-02-09 15:09:29 +00:00
Eelco Dolstra b705289759 * Remove gtkLibs218 and an old Cairo. 
svn path=/nixpkgs/branches/x-updates/; revision=25824
 2011-02-09 10:49:20 +00:00
Lluís Batlle i Rossell 65968c289a Adding isync 
svn path=/nixpkgs/trunk/; revision=25798
 2011-02-07 23:07:21 +00:00
Lluís Batlle i Rossell 47c7daa2af Adding vmime 
svn path=/nixpkgs/trunk/; revision=25783
 2011-02-06 15:27:14 +00:00
Eelco Dolstra 74c988959a * Updated iputils (though perhaps we should just use GNU inetutils). 
svn path=/nixpkgs/trunk/; revision=25765
 2011-02-02 16:05:18 +00:00
Eelco Dolstra cafbcf1391 * Delete KDE 4.4 - obsolete. 
svn path=/nixpkgs/trunk/; revision=25762
 2011-02-02 14:24:56 +00:00
Eelco Dolstra 207f3278c1 * boehm-gc: For simplicity, use a tarball containing the CVS export 
instead of fetchcvs.  Then we don't need to special-case FreeBSD
  either.  Also, removed the Cygwin patch which no longer seems
  needed.

svn path=/nixpkgs/trunk/; revision=25759
 2011-02-02 12:17:29 +00:00
Peter Simons 1620eb2311 pkgs/top-level/all-packages.nix: use callPackage to import the python 3 expression 
svn path=/nixpkgs/trunk/; revision=25756
 2011-02-02 11:17:01 +00:00
Peter Simons 6da6b022c1 pkgs/top-level/all-packages.nix: dropped lowPrio wrapper around python3 
Python 3.x was originally marked as 'low priority' to prevent unintended
updates from version 2 to 3. Meanwhile, the python3 expression has been
renamed to use a different package name, so these kind of accidental updates
can no longer happen.

svn path=/nixpkgs/trunk/; revision=25750
 2011-02-02 11:16:36 +00:00
Peter Simons 1877857ea8 pkgs/top-level/all-packages.nix: ensure that Python's darwinArchUtility and darwinSwVersUtility parameters can be overridden 
svn path=/nixpkgs/trunk/; revision=25749
 2011-02-02 11:16:31 +00:00
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
Rob Vermaas e862574d51 add Compress::unLZMA 
svn path=/nixpkgs/trunk/; revision=25695
 2011-01-27 10:16:29 +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 1d7aac3e44 Build guile-ncurses with Guile 2.x. 
svn path=/nixpkgs/trunk/; revision=25648
 2011-01-20 22:14:47 +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
Rob Vermaas b8b5a58681 add XML::XPath 
svn path=/nixpkgs/trunk/; revision=25598
 2011-01-17 11:45:31 +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
Eelco Dolstra 335e69ba1e * Added IO::Tty. 
svn path=/nixpkgs/trunk/; revision=25569
 2011-01-14 15:49:46 +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
Andres Löh 9d2ff1e084 Added pretty-show Haskell library. 
svn path=/nixpkgs/trunk/; revision=25504
 2011-01-11 10:43:13 +00:00
Michael Raskin bf380c62f7 Remove monotone from all-packages.nix to see what it real meta.platforms should be 
svn path=/nixpkgs/trunk/; revision=25503
 2011-01-10 23:47:10 +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
Eelco Dolstra 90b84f7051 * Latest XML::Writer. 
svn path=/nixpkgs/trunk/; revision=25424
 2011-01-05 12:41: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
Eelco Dolstra 5caae64507 * Drop pythonBase. 
svn path=/nixpkgs/branches/modular-python/; revision=25396
 2011-01-04 16:46:14 +00:00
Eelco Dolstra 9d792e7316 * Mercurial: always build with HTTPS support. 
svn path=/nixpkgs/branches/modular-python/; revision=25395
 2011-01-04 16:44:38 +00:00
Eelco Dolstra e4bfdb2da9 * Make Python 2.7 the default Python. 
svn path=/nixpkgs/branches/modular-python/; revision=25394
 2011-01-04 16:30:54 +00:00
Eelco Dolstra b7b1fc322a * Python 2.7: get rid of most dependencies. 
svn path=/nixpkgs/branches/modular-python/; revision=25385
 2011-01-04 14:47:36 +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
Eelco Dolstra c1eb464f3c * Build those Python modules in the Python distribution that require 
additional dependencies (e.g. SQLite, X11, or Tcl/Tk) outside the
  main Python package (i.e., pythonBase).  This makes pythonFull
  unnecessary: you can just pass the additional modules as
  buildInputs to packages that require them, e.g.

    buildInputs = [ pythonModules.sqlite3 ];

svn path=/nixpkgs/branches/modular-python/; revision=25364
 2011-01-03 16:25:11 +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
Eelco Dolstra b7c7550c43 * Replace the Python "magic" module with the (apparently) more 
common one from the "file" package.

svn path=/nixpkgs/trunk/; revision=25322
 2010-12-29 19:19:56 +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
Sander van der Burg 706a9ed1e8 Added MySQL-python + nose (which is a dependency) 
svn path=/nixpkgs/trunk/; revision=25245
 2010-12-22 17:03:30 +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
Eelco Dolstra 70a99c95e2 * Added Term::ReadLine::Gnu. 
svn path=/nixpkgs/trunk/; revision=25155
 2010-12-16 14:25:05 +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
Ludovic Courtès 3f1a32c266 Image-ExifTool 8.41. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25046
 2010-12-09 23:43:01 +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
Rob Vermaas 44e152f8d8 add Crypt::RandPasswd perl package 
svn path=/nixpkgs/trunk/; revision=24962
 2010-12-03 09:51:33 +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