Commit graph

5083 commits

Author SHA1 Message Date
Yury G. Kudryashov
db3b157ff6 gnokii-0.6.30, add ical and gtk support
svn path=/nixpkgs/trunk/; revision=26334
2011-03-15 23:09:14 +00:00
Yury G. Kudryashov
a9eb45ae18 Add bluedevil
svn path=/nixpkgs/trunk/; revision=26333
2011-03-15 23:09:07 +00:00
Eelco Dolstra
f208edd1a5 * Merge the x-updates branch.
svn path=/nixpkgs/trunk/; revision=26330
2011-03-15 18:29:27 +00:00
Andres Löh
1a7d72731b Added AC-Vector package.
svn path=/nixpkgs/trunk/; revision=26322
2011-03-15 13:56:55 +00:00
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