Commit graph

3141 commits

Author SHA1 Message Date
Yury G. Kudryashov
31ab846d05 Upgrade kdevelop and kdevplatform
svn path=/nixpkgs/trunk/; revision=28604
2011-08-15 23:39:20 +00:00
Yury G. Kudryashov
a660093a4d Fix typo in URL
svn path=/nixpkgs/trunk/; revision=28603
2011-08-15 23:39:11 +00:00
Yury G. Kudryashov
fdd58b2de4 rekonq-0.7.0, remove unused source.nix
svn path=/nixpkgs/trunk/; revision=28602
2011-08-15 23:39:05 +00:00
Yury G. Kudryashov
0962beade0 Add avogadro
svn path=/nixpkgs/trunk/; revision=28596
2011-08-15 18:05:39 +00:00
Peter Simons
21b26aef25 Updated Haskell package meta sections.
svn path=/nixpkgs/trunk/; revision=28583
2011-08-15 11:27:02 +00:00
Peter Simons
3e10ee5c92 Updated Haskell expressions with the latest version of cabal2nix.
* haskell-dataenc: updated to version 0.14.0.2
 * haskell-fclabels: updated to version 1.0.1

svn path=/nixpkgs/trunk/; revision=28574
2011-08-14 22:52:05 +00:00
Peter Simons
91cad6a639 pkgs/applications/misc/xmobar: added missing meta.platforms attribute
svn path=/nixpkgs/trunk/; revision=28559
2011-08-14 10:44:23 +00:00
Shea Levy
20e64a52b9 Add trayer
svn path=/nixpkgs/trunk/; revision=28558
2011-08-14 05:03:54 +00:00
Peter Simons
78b6188054 haskell-xmobar: updated to version 0.13
svn path=/nixpkgs/trunk/; revision=28554
2011-08-13 23:38:44 +00:00
Peter Simons
d3c1b35861 ikiwiki: updated to version 3.20110715
svn path=/nixpkgs/trunk/; revision=28546
2011-08-13 15:09:04 +00:00
Eelco Dolstra
529a3a31f9 * Removed Firefox 4 (obsolete).
svn path=/nixpkgs/trunk/; revision=28531
2011-08-13 12:20:49 +00:00
Eelco Dolstra
fa1433ec8b * Fix SSL support in Chrome. It dynamically tries to open
libnssckbi.so (which contains the root certificates), so that
  library has to be in LD_LIBRARY_PATH.

svn path=/nixpkgs/trunk/; revision=28519
2011-08-12 16:45:17 +00:00
Marco Maggesi
b7190d1e86 VirtualBox Guest Additions: install modules for Xorg version 1.9.x
svn path=/nixpkgs/trunk/; revision=28518
2011-08-12 14:27:28 +00:00
Peter Simons
493e36669c haskell-leksah: updated build expression for recent versions of cabal.nix
svn path=/nixpkgs/trunk/; revision=28512
2011-08-12 11:02:44 +00:00
Lluís Batlle i Rossell
5a177910ad Fixing a bug in 'giv'. Reported upstream already.
svn path=/nixpkgs/trunk/; revision=28504
2011-08-12 08:31:48 +00:00
Peter Simons
4fad68a33e Renamed darcs-2.nix to default.nix for sake of consistency. No functional change.
svn path=/nixpkgs/trunk/; revision=28503
2011-08-12 08:31:19 +00:00
Peter Simons
468c5dbc5c The 'random' library is no longer a core library in GHC 7.2.1. For older
versions of the compiler, haskell-packages.nix provides a null attribute.

svn path=/nixpkgs/trunk/; revision=28500
2011-08-12 00:18:56 +00:00
David Guibert
d3995fdb38 surf: version 0.4.1
svn path=/nixpkgs/trunk/; revision=28496
2011-08-11 16:33:41 +00:00
Yury G. Kudryashov
b7c6bd30cf qgis-1.6.0, compiles
Don't know whether it works: it fails to start on my computer because it loads
KDE gui_platform plugin from incompatible Qt version.

svn path=/nixpkgs/trunk/; revision=28483
2011-08-11 09:35:17 +00:00
Yury G. Kudryashov
ceb301c31b Remove unused sonic-visualizer/ subdir, rename.
Also move "qt=qt4" to default.nix

svn path=/nixpkgs/trunk/; revision=28474
2011-08-10 22:39:53 +00:00
Michael Raskin
5996c749aa Adding vifm file manager
svn path=/nixpkgs/trunk/; revision=28466
2011-08-10 19:16:27 +00:00
Peter Simons
70f794471f esniper: updated to version 2.26.0
svn path=/nixpkgs/trunk/; revision=28452
2011-08-10 08:12:58 +00:00
David Guibert
71f08e8543 dmenu: 4.1.1 -> 4.4
svn path=/nixpkgs/trunk/; revision=28451
2011-08-10 08:01:51 +00:00
Peter Simons
b1ef3e6e36 Last batch of Haskell expression updates.
* haskell-mkcabal: updated to version 1.0.0
 * haskell-ghc-syb-utils: updated to version 0.2.1.0
 * haskell-darcs: updated to version 2.5.2

svn path=/nixpkgs/trunk/; revision=28449
2011-08-10 00:35:08 +00:00
David Guibert
065c0213cf gnome-mplayer, gnome-mediamplayer updated to 1.0.4
svn path=/nixpkgs/trunk/; revision=28445
2011-08-09 20:39:43 +00:00
Yury G. Kudryashov
a9daa0c0cb mutt-1.5.21; enable pop, imap and gpgme
openssl.patch is already merged in this version

svn path=/nixpkgs/trunk/; revision=28441
2011-08-09 20:21:05 +00:00
Yury G. Kudryashov
48f1cd549f pari-gp-2.5.0
svn path=/nixpkgs/trunk/; revision=28440
2011-08-09 20:20:58 +00:00
David Guibert
7de614fdf3 pidgin 2.9.0
svn path=/nixpkgs/trunk/; revision=28425
2011-08-09 12:35:55 +00:00
Peter Simons
c13f967ed5 Replaced the obsolete 'haskellPlatforms' attribute with the platforms exported by GHC.
svn path=/nixpkgs/trunk/; revision=28418
2011-08-09 09:54:50 +00:00
David Guibert
0ce8c08099 fix the compilation of virtualboxGuestaddition
svn path=/nixpkgs/trunk/; revision=28415
2011-08-09 09:07:29 +00:00
Peter Simons
d0e60c7130 leksah: disable Darwin builds
The expression needs more attention before it can be built on platforms
other than Linux:

  at `haskellPackages.leksahServer' [system = "i686-darwin"]:
  assertion failed at `/nix/store/jbcbv6lf44wiy5afsk99sv3vzd1zhg9f-nixpkgs-r28407/pkgs/os-specific/linux/kernel-headers/2.6.32.nix:3:1'

  at `haskellPackages.leksah' [system = "i686-darwin"]:
  assertion failed at `/nix/store/jbcbv6lf44wiy5afsk99sv3vzd1zhg9f-nixpkgs-r28407/pkgs/os-specific/linux/kernel-headers/2.6.32.nix:3:1'

svn path=/nixpkgs/trunk/; revision=28412
2011-08-09 07:49:41 +00:00
David Guibert
850748a6f3 update virtualbox guestadditions 4.1.0
svn path=/nixpkgs/trunk/; revision=28380
2011-08-08 12:11:57 +00:00
David Guibert
2a06c97e90 abiword: add libjpeg to fix the compilation
svn path=/nixpkgs/trunk/; revision=28379
2011-08-08 12:11:46 +00:00
Andres Löh
ce5ccbb0ea Updating leksah.
svn path=/nixpkgs/trunk/; revision=28376
2011-08-08 07:41:45 +00:00
Karn Kallio
cda8010b96 Get krename to build with kde45 and kde47.
svn path=/nixpkgs/trunk/; revision=28219
2011-08-07 02:36:31 +00:00
Karn Kallio
f74cc3c8d6 Get semnotes to build with kde45 and kde47.
svn path=/nixpkgs/trunk/; revision=28218
2011-08-07 02:09:46 +00:00
Karn Kallio
a233ebf891 Switch to forward compatibility of kde45 on kde_baseapps.
svn path=/nixpkgs/trunk/; revision=28217
2011-08-07 01:45:26 +00:00
Shea Levy
be1bd9e6bf virtualbox: Bump to 4.1.0
svn path=/nixpkgs/trunk/; revision=28207
2011-08-06 20:52:11 +00:00
Eelco Dolstra
18509c88b3 * KTorrent updated to 4.1.1.
svn path=/nixpkgs/trunk/; revision=28193
2011-08-06 14:28:15 +00:00
Michael Raskin
946cd2431f Update LEO-II
svn path=/nixpkgs/trunk/; revision=28180
2011-08-05 18:22:40 +00:00
Michael Raskin
b799e4e6ff Update Evince - and make it build again
svn path=/nixpkgs/trunk/; revision=28171
2011-08-05 17:45:49 +00:00
Karn Kallio
514407c726 Repair kadu to get it building again.
svn path=/nixpkgs/trunk/; revision=28160
2011-08-04 21:04:19 +00:00
Michael Raskin
e3a809a9bb Fix Veracity build
svn path=/nixpkgs/trunk/; revision=28157
2011-08-04 16:01:50 +00:00
Michael Raskin
3e8a39ea61 Updating Maxima
svn path=/nixpkgs/trunk/; revision=28152
2011-08-04 15:13:15 +00:00
Eelco Dolstra
fcce78c0f4 * Sync with the trunk.
svn path=/nixpkgs/branches/kde-4.7/; revision=28144
2011-08-03 22:00:49 +00:00
Piotr Pietraszkiewicz
8d546fbdb8 upgraded kadu to v0.9.2 + fixed typos in description
svn path=/nixpkgs/trunk/; revision=28143
2011-08-03 18:36:56 +00:00
Lluís Batlle i Rossell
8ec17cf0a0 Updating dwm.
svn path=/nixpkgs/trunk/; revision=28137
2011-08-03 09:46:56 +00:00
Michael Raskin
58c022ab56 Update Veracity
svn path=/nixpkgs/trunk/; revision=28127
2011-08-02 18:58:59 +00:00
Eelco Dolstra
23e9cfac65 * Build Skype with PulseAudio support. This is needed on 64-bit
NixOS because it doesn't provide a 32-bit ALSA/Pulse module.

svn path=/nixpkgs/trunk/; revision=28123
2011-08-02 15:55:55 +00:00
Shea Levy
7233051b2c rdesktop: Bump to 1.7.0
svn path=/nixpkgs/trunk/; revision=28119
2011-08-02 00:19:29 +00:00
Eelco Dolstra
4e321d8bd8 * Zathura updated to 0.0.8.4 (to fix http://hydra.nixos.org/build/1191958).
svn path=/nixpkgs/branches/kde-4.7/; revision=28108
2011-08-01 11:58:11 +00:00
Eelco Dolstra
0cb6cfb7a1 * Update vlc to 1.1.11.
svn path=/nixpkgs/branches/kde-4.7/; revision=28104
2011-08-01 09:23:10 +00:00
Eelco Dolstra
1b427fe052 * Sync with the trunc.
* Fixed the hash in PulseAudio: I updated the name/version, but forgot
  to update the hash.  So secretly it was still building the old
  version.  Also, now that we've realised that the PulseAudio server
  and library don't need to be the same build, disable some
  dependencies by default (avahi and bluez).

svn path=/nixpkgs/branches/kde-4.7/; revision=28023
2011-07-31 19:44:58 +00:00
Cillian de Roiste
5e6506c4d0 Updating the development ardour3 revision, also renaming so that ardour2 and ardour3 can peacefully co-exist
svn path=/nixpkgs/trunk/; revision=28020
2011-07-31 14:52:42 +00:00
Cillian de Roiste
5231ba050f Updating qtractor to the latest release: 0.5.0
svn path=/nixpkgs/trunk/; revision=28019
2011-07-31 14:04:45 +00:00
Cillian de Roiste
1d22700866 Removing exif patch, no longer needed
svn path=/nixpkgs/trunk/; revision=28017
2011-07-31 10:50:06 +00:00
Cillian de Roiste
53b9044b19 Updating darktable to 0.9.1
svn path=/nixpkgs/trunk/; revision=28016
2011-07-31 10:49:19 +00:00
Cillian de Roiste
e1c2108085 Add dbus support to qjackctl so that it can use jackdbus
svn path=/nixpkgs/trunk/; revision=28011
2011-07-30 21:06:45 +00:00
Eelco Dolstra
8099c514f9 * Xscreensaver updated to 5.14.
svn path=/nixpkgs/branches/kde-4.7/; revision=28003
2011-07-29 16:04:44 +00:00
Ludovic Courtès
e7349f4329 BitlBee 3.0.3.
svn path=/nixpkgs/trunk/; revision=27985
2011-07-28 12:08:08 +00:00
Lluís Batlle i Rossell
22135b319b Updating skype. It runs fine (start, see the friends list) for me.
svn path=/nixpkgs/trunk/; revision=27973
2011-07-27 16:07:20 +00:00
Eelco Dolstra
6b302190a4 * Spotify: drop PulseAudio from the library path, as Spotify seems to
have it statically linked anyway.

svn path=/nixpkgs/trunk/; revision=27972
2011-07-27 14:01:47 +00:00
Eelco Dolstra
7eb1afad49 * Spotify: use PulseAudio if available.
svn path=/nixpkgs/trunk/; revision=27971
2011-07-26 22:24:02 +00:00
Eelco Dolstra
3fac08a565 * Audacious updated to 3.0.
svn path=/nixpkgs/branches/kde-4.7/; revision=27959
2011-07-26 02:14:19 +00:00
Eelco Dolstra
0daba72245 * Updated cdparanoia to 10.2.
svn path=/nixpkgs/branches/kde-4.7/; revision=27938
2011-07-25 13:52:36 +00:00
Peter Simons
7e9676bab5 jbidwatcher: generalized java support so that the package can be built on Darwin, too
svn path=/nixpkgs/trunk/; revision=27923
2011-07-24 20:26:28 +00:00
Shea Levy
5869748e70 Update Spotify
Only tested x86_64

svn path=/nixpkgs/trunk/; revision=27914
2011-07-24 01:39:11 +00:00
Lluís Batlle i Rossell
1d3c534625 Updating unison.
svn path=/nixpkgs/trunk/; revision=27893
2011-07-21 21:46:06 +00:00
Lluís Batlle i Rossell
2758c07f1e Updating mldonkey. I remove the patch needed for mips, as they put it upstream already.
svn path=/nixpkgs/trunk/; revision=27885
2011-07-21 18:34:41 +00:00
Peter Simons
3815442cf4 all-packages.nix: added jbidwatcher, a tool to monitor and snipe ebay auctions
svn path=/nixpkgs/trunk/; revision=27881
2011-07-21 17:01:31 +00:00
Lluís Batlle i Rossell
f5609042c0 I broke fossil in a commit where I did not mean even to touch it.
svn path=/nixpkgs/trunk/; revision=27880
2011-07-21 14:58:13 +00:00
Lluís Batlle i Rossell
57f59594db Updating the linux 2.6.39 to 2.6.39.3
svn path=/nixpkgs/trunk/; revision=27878
2011-07-21 13:56:25 +00:00
Lluís Batlle i Rossell
bda0f3bfd0 Updating fossil.
svn path=/nixpkgs/trunk/; revision=27865
2011-07-21 06:58:14 +00:00
Peter Simons
99a9a4b8bc all-packages.nix: added ledger 3.0 via Git
svn path=/nixpkgs/trunk/; revision=27861
2011-07-20 22:56:39 +00:00
Peter Simons
efe5ab73b1 git: fixed impure path to perl in git-am and git-submodule
svn path=/nixpkgs/trunk/; revision=27859
2011-07-20 22:56:31 +00:00
Peter Simons
5b96eac910 ledger: build this package only on Linux, all other platforms fail
svn path=/nixpkgs/trunk/; revision=27857
2011-07-20 18:41:25 +00:00
Peter Simons
ff91dbdb35 git-annex: the latest version depends on the monad-control package
svn path=/nixpkgs/trunk/; revision=27839
2011-07-20 12:13:07 +00:00
Peter Simons
f61f66f46d git-annex: updated to version 3.20110719
svn path=/nixpkgs/trunk/; revision=27836
2011-07-20 10:16:35 +00:00
Eelco Dolstra
2e5d962f72 * Spotify updated to 0.5.1.151.
svn path=/nixpkgs/trunk/; revision=27831
2011-07-18 22:34:57 +00:00
Eelco Dolstra
1352c90c8a * MPlayer: don't build the OSS backend.
svn path=/nixpkgs/branches/kde-4.7/; revision=27829
2011-07-18 16:08:15 +00:00
Eelco Dolstra
b70a14f88c * Added the Google Talk plugin. Doesn't work yet (says ‘ABORT:
X_GLXCreateContext: BadValue’).

svn path=/nixpkgs/trunk/; revision=27825
2011-07-18 14:44:28 +00:00
Peter Simons
356928aad9 fetchmail: updated to version 6.3.20
svn path=/nixpkgs/trunk/; revision=27822
2011-07-18 14:06:35 +00:00
Peter Simons
f80ef6645b magit: fixed download url
svn path=/nixpkgs/trunk/; revision=27821
2011-07-18 13:45:47 +00:00
Sander van der Burg
5693872dc1 Bumped feh to version 1.14.2 as the previous one does not exist anymore
svn path=/nixpkgs/trunk/; revision=27800
2011-07-15 15:10:22 +00:00
Peter Simons
c58754b390 stellarium: build this package on Linux only
Stellarium is supposed to compile on mesaPlatforms, but unfortunately our qt47
expression doesn't support platforms other than Linux.

svn path=/nixpkgs/trunk/; revision=27798
2011-07-15 12:47:20 +00:00
Eelco Dolstra
f4ac1126ff * Sync with the trunk.
svn path=/nixpkgs/branches/kde-4.7/; revision=27796
2011-07-15 10:02:22 +00:00
Peter Simons
ffe01e880d git-annex: build only on platforms that support Haskell
svn path=/nixpkgs/trunk/; revision=27792
2011-07-14 21:54:53 +00:00
Peter Simons
fa99abdc89 gravit, stellarium: build software that depends on mesa only on mesa platforms
svn path=/nixpkgs/trunk/; revision=27790
2011-07-14 20:53:30 +00:00
Peter Simons
68957344fa git-annex: updated to version 3.20110707
svn path=/nixpkgs/trunk/; revision=27775
2011-07-14 12:22:26 +00:00
Eelco Dolstra
c7669210d1 * Whitespace.
svn path=/nixpkgs/branches/kde-4.7/; revision=27757
2011-07-13 12:31:43 +00:00
Peter Simons
4e5cc9b965 git: removed 'lowPri' wrapper around gitFull
Packages that need git as build-time or run-time dependency typically refer to
the attribute 'git', which is the expression with the least possible set of
features.

Users, however, who run "nix-env -i git", don't want that version, because it
lacks support for SVN, for sending e-mail, and it doesn't include the GUI. In
other words, users want gitFull by default, which is what this change
accomplishes.

svn path=/nixpkgs/trunk/; revision=27748
2011-07-13 10:46:17 +00:00
Peter Simons
9edc2574dd git-annex: the build system uses 'which' to determine whether ikiwiki is installed
svn path=/nixpkgs/trunk/; revision=27747
2011-07-13 10:41:10 +00:00
Peter Simons
d6f364ca8c ikiwiki: removed unconditional dependencies on monotone and git
Both build inputs 'monotone' and 'git' are non-null in nixpkgs, so their
respective store paths were always included in the generated wrapper
script -- even if 'monotoneSupport' and 'gitSupport' were false.

svn path=/nixpkgs/trunk/; revision=27746
2011-07-13 10:41:05 +00:00
Peter Simons
7c8871512d wxmaxima: ensure that wxMaxima will find Maxima even if it's not in $PATH
svn path=/nixpkgs/trunk/; revision=27745
2011-07-13 09:56:58 +00:00
Peter Simons
bcaaba6ea7 gnucash: improved comments
svn path=/nixpkgs/trunk/; revision=27744
2011-07-13 09:56:54 +00:00
Peter Simons
3cd02cd43d maxima: switch from clisp to sbcl, enable tk gui, and fix various impurities
* Build maxima with sbcl for better performance.

 * Enable the regression test suite.

 * Configure $PATH at start-up so that maxima knows how to find sbcl,
   wish, rlwrap, and gnuplot.

 * Move installed documentation and Emacs lisp modules into standard
   locations.

 * Enable parallel building.

svn path=/nixpkgs/trunk/; revision=27743
2011-07-13 09:13:32 +00:00
Peter Simons
9485e2392b monotone: strip trailing whitespace
svn path=/nixpkgs/trunk/; revision=27742
2011-07-13 09:13:28 +00:00
Peter Simons
b1b274558a monotone: don't build this package on Cygwin
The expression can't build on Cygwin because it wants to know the version of
Perl that is being used. On Cygwin, however, we don't know that because we're
using sysPerl.

svn path=/nixpkgs/trunk/; revision=27741
2011-07-13 09:13:22 +00:00
Eelco Dolstra
7bef513d8a * Update Flashplayer on i686-linux.
svn path=/nixpkgs/trunk/; revision=27738
2011-07-12 13:44:56 +00:00
Eelco Dolstra
43e046af45 * Firefox 5.0.1.
svn path=/nixpkgs/trunk/; revision=27731
2011-07-12 06:34:27 +00:00
Peter Simons
a9d4dfb994 gnucash: polished the expression, enabled OFX support, and documented the GConf setup procedure on NixOS
svn path=/nixpkgs/trunk/; revision=27730
2011-07-11 20:12:02 +00:00
Peter Simons
2685bfc32b gnucash: fix update-gnucash-gconf script so that it works on NixOS
Current versions of gconftool-2 don't support the --config-source option
anymore -- that path must be passed in $GCONF_CONFIG_SOURCE instead.

svn path=/nixpkgs/trunk/; revision=27729
2011-07-11 16:38:07 +00:00
Eelco Dolstra
dce69134d0 * Added Okular (which is a separate package now).
svn path=/nixpkgs/branches/kde-4.7/; revision=27723
2011-07-11 14:29:27 +00:00
Peter Simons
8223f67929 Added stellarium 0.11.0.
svn path=/nixpkgs/trunk/; revision=27697
2011-07-10 20:17:44 +00:00
Peter Simons
3806050f60 gravit: enable support for lua 5.0.x
The build doesn't work with the latest version 5.1.x. Upstream is going
to release an update to fix this soon.

svn path=/nixpkgs/trunk/; revision=27693
2011-07-10 14:04:24 +00:00
Peter Simons
6ad966c8b8 gnucash: re-enable the test suite
svn path=/nixpkgs/trunk/; revision=27691
2011-07-10 14:04:14 +00:00
Peter Simons
4cf494c8ff gnucash: set RPATH so that GnuCash binaries can find its GNOME libraries at run-time
svn path=/nixpkgs/trunk/; revision=27689
2011-07-10 13:34:56 +00:00
Peter Simons
5fd662e2e9 gnucash: add ${gconf}/bin to $PATH in wrapper scripts
GnuCash attempt to call gconf binaries to register its schemas in the
system-wide database. That still doesn't work, of course, because gconf
can't update its store path. TODO. :-(

svn path=/nixpkgs/trunk/; revision=27688
2011-07-10 13:34:51 +00:00
Russell O'Connor
d21e981e64 Upgrade bitcoin to 0.3.24
svn path=/nixpkgs/trunk/; revision=27687
2011-07-10 01:12:57 +00:00
Peter Simons
f903153fe6 gnucash: updated to version 2.4.7
The test suite is currently disabled. There is an issue with GUILE_LOAD_PATH
that needs to be addressed before we can re-enable those tests. See comments in
the expression for further details.

svn path=/nixpkgs/trunk/; revision=27686
2011-07-09 13:02:46 +00:00
Peter Simons
e090fed420 gnucash: added myself as a maintainer
svn path=/nixpkgs/trunk/; revision=27683
2011-07-09 12:11:31 +00:00
Peter Simons
e7746a78ed gravit: added version 0.4.2
svn path=/nixpkgs/trunk/; revision=27677
2011-07-08 21:23:55 +00:00
Peter Simons
574eb09fa4 xplanet: move expression into new category "astronomy"
svn path=/nixpkgs/trunk/; revision=27676
2011-07-08 21:23:48 +00:00
Peter Simons
4303240ef9 ikiwiki: updated to version 3.20110707
svn path=/nixpkgs/trunk/; revision=27669
2011-07-08 09:30:01 +00:00
Peter Simons
e4353b1f65 git: install contrib code included in the distribution
TODO: byte-compile emacs modules

svn path=/nixpkgs/trunk/; revision=27665
2011-07-07 23:48:38 +00:00
Peter Simons
2fee0ecef9 git: updated to version 1.7.6
svn path=/nixpkgs/trunk/; revision=27664
2011-07-07 23:48:34 +00:00
Peter Simons
21373bc49b git-annex: enable the documentation build
svn path=/nixpkgs/trunk/; revision=27663
2011-07-07 23:48:30 +00:00
Peter Simons
39f2346b1b git-annex: cosmetic changes in the meta section
svn path=/nixpkgs/trunk/; revision=27662
2011-07-07 23:48:26 +00:00
Peter Simons
0ec6325b87 git-annex: updated to version 3.20110705
svn path=/nixpkgs/trunk/; revision=27661
2011-07-07 23:48:22 +00:00
Peter Simons
d7f698c078 ledger: enable the test suite
svn path=/nixpkgs/trunk/; revision=27659
2011-07-07 22:48:44 +00:00
Peter Simons
f05fce5e6e ledger: enable XML support so that ledger can read GnuCash data files
svn path=/nixpkgs/trunk/; revision=27658
2011-07-07 22:48:40 +00:00
Peter Simons
80713bcc75 ledger: fixed build
* Patchelf doesn't work for this program. Fortunately, we don't need patchelf,
   because libtool takes care of hard-coding the proper rpaths.

 * Updated home page address.

 * Build with more aggressive optimization flags.

 * Drop the obsolete const-fix patch.

svn path=/nixpkgs/trunk/; revision=27657
2011-07-07 22:48:36 +00:00
Peter Simons
947610085d Added Eukleides, a geometry drawing language.
svn path=/nixpkgs/trunk/; revision=27655
2011-07-07 21:53:21 +00:00
Peter Simons
ea4daca60d pkgs/applications/editors/emacs-modes/bbdb: replace custom build script with standard builder
Also added most of optional contributions shipped in the release tarball to the
installation.

svn path=/nixpkgs/trunk/; revision=27646
2011-07-07 21:04:56 +00:00
Ludovic Courtès
9cbb1dbec6 mpg321 0.2.13-2.
svn path=/nixpkgs/trunk/; revision=27621
2011-07-07 15:10:33 +00:00
Eelco Dolstra
5a7ffcd82d * Firefox: use external SQLite and Cairo.
svn path=/nixpkgs/trunk/; revision=27602
2011-07-04 15:35:53 +00:00
Eelco Dolstra
684186104c * Latest SQLite, Flash player (Vladimír Čunát).
svn path=/nixpkgs/trunk/; revision=27595
2011-07-04 14:12:20 +00:00
Eelco Dolstra
bdf034862b * Make Firefox 5.0 the default.
svn path=/nixpkgs/trunk/; revision=27593
2011-07-04 14:04:43 +00:00
Karn Kallio
cd830b7e8e Update mercurial to version 1.9
svn path=/nixpkgs/trunk/; revision=27581
2011-07-02 19:35:03 +00:00
Eelco Dolstra
ed58c55155 * xen: Build succesfully if $out already exists (needed for WCRE).
svn path=/nixpkgs/trunk/; revision=27580
2011-07-02 19:21:28 +00:00
Michael Raskin
b973f98afa Make tulip run without hassle. Unfortunately, some operations repeatably crash tulip even when built vs Qt4.6
svn path=/nixpkgs/trunk/; revision=27570
2011-07-01 09:53:11 +00:00
Michael Raskin
a4be010d31 Update Tulip
svn path=/nixpkgs/trunk/; revision=27566
2011-07-01 07:01:46 +00:00
Lluís Batlle i Rossell
b8a6d84910 Updating offrss.
svn path=/nixpkgs/trunk/; revision=27561
2011-06-29 22:33:42 +00:00
Sander van der Burg
703f1b23fb Ensure that the shared ffmpeg is used, instead of the one included in the kino source tarball
svn path=/nixpkgs/trunk/; revision=27559
2011-06-29 19:22:02 +00:00
Sander van der Burg
11210cf06f Updated kino to version 1.3.4 (and did some code standard fixes)
svn path=/nixpkgs/trunk/; revision=27558
2011-06-29 16:21:02 +00:00
Eelco Dolstra
b8b0c4e8f7 * Inkscape updated to 0.48.1.
svn path=/nixpkgs/trunk/; revision=27555
2011-06-28 13:51:55 +00:00
Michael Raskin
a0d97d5eb2 Adding OneTeam XMPP client
svn path=/nixpkgs/trunk/; revision=27553
2011-06-28 09:45:09 +00:00
Lluís Batlle i Rossell
1229dd1400 Adding a still broken restroshare expression. I'll develop further later.
svn path=/nixpkgs/trunk/; revision=27540
2011-06-26 17:57:28 +00:00
Andres Löh
7a53f9fdbb Added extra deps to xmonad-extras to enable some modules.
svn path=/nixpkgs/trunk/; revision=27537
2011-06-24 08:29:36 +00:00
Andres Löh
a0982e02fd Added xmonads-extra (thanks to chaoflow).
svn path=/nixpkgs/trunk/; revision=27534
2011-06-23 18:35:24 +00:00
Florian Friesdorf
453be2fc62 cinelerra-git: let pkgconfig handle freetype and its -I flags
svn path=/nixpkgs/trunk/; revision=27529
2011-06-22 22:23:57 +00:00
Florian Friesdorf
35f8c3d150 cinelerra-git: file, libuuid instead of e2fsprogs, and libXext
svn path=/nixpkgs/trunk/; revision=27527
2011-06-22 22:23:50 +00:00
Florian Friesdorf
200101c7b0 cinelerra-git: switched to fetchgit
svn path=/nixpkgs/trunk/; revision=27526
2011-06-22 22:23:45 +00:00
Eelco Dolstra
2e8c66c1d3 * Pan updated to 0.135.
svn path=/nixpkgs/trunk/; revision=27518
2011-06-22 17:57:32 +00:00
Eelco Dolstra
611aecaeeb * Firefox 5.0.
* nspr updated to 4.8.8.

svn path=/nixpkgs/trunk/; revision=27516
2011-06-22 12:21:15 +00:00
Eelco Dolstra
09c9c44403 * Use /etc/nova/nova.conf as the location of the config file.
svn path=/nixpkgs/trunk/; revision=27503
2011-06-20 14:26:49 +00:00
Eelco Dolstra
7a8598e716 * Subversion 1.6.17.
svn path=/nixpkgs/trunk/; revision=27486
2011-06-16 15:13:35 +00:00
Michael Raskin
023f15e484 Adding Firefox 5.0 RC1
svn path=/nixpkgs/trunk/; revision=27478
2011-06-16 08:08:10 +00:00
Karn Kallio
a0fbd997b4 Update the download URL for feh, which seems to have changed.
svn path=/nixpkgs/trunk/; revision=27475
2011-06-15 14:25:50 +00:00
Michael Raskin
d03599f8ce Adding TPTP
svn path=/nixpkgs/trunk/; revision=27468
2011-06-15 10:35:18 +00:00
Lluís Batlle i Rossell
05e7655d79 Updating giv.
svn path=/nixpkgs/trunk/; revision=27466
2011-06-15 08:59:02 +00:00
Lluís Batlle i Rossell
394375f900 Updating feh
svn path=/nixpkgs/trunk/; revision=27464
2011-06-15 08:22:15 +00:00
Marco Maggesi
5b035e093d Update HOL Light to rev 92
svn path=/nixpkgs/trunk/; revision=27459
2011-06-14 17:09:19 +00:00
Ludovic Courtès
3cf686b4fc QEMU: Build with ncurses support.
svn path=/nixpkgs/trunk/; revision=27458
2011-06-14 16:28:17 +00:00
Karn Kallio
b8950a9504 Fix some semicolons.
svn path=/nixpkgs/trunk/; revision=27456
2011-06-14 15:29:40 +00:00
Nicolas Pierron
9451c1e2ca Add NUT package.
svn path=/nixpkgs/trunk/; revision=27448
2011-06-14 02:41:01 +00:00
Florian Friesdorf
3de8406dd3 chrome 88807 - 64bit install works, i686 untested
svn path=/nixpkgs/trunk/; revision=27437
2011-06-13 20:42:09 +00:00
Alexander Tsamutali
a93499aeb7 applications/networking/browsers/conkeror: Updated to 0.9.3-20110606.
svn path=/nixpkgs/trunk/; revision=27436
2011-06-13 19:10:18 +00:00
Alexander Tsamutali
66d78e3a1f applications/misc/epdfview: Updated to 0.1.8.
svn path=/nixpkgs/trunk/; revision=27435
2011-06-13 16:20:50 +00:00
Alexander Tsamutali
2daeebaaec applications/networking/p2p/transmission: Updated to 2.31.
svn path=/nixpkgs/trunk/; revision=27433
2011-06-13 14:15:15 +00:00
Alexander Tsamutali
36bf6301ba applications/misc/sakura: Updated to 2.4.0.
svn path=/nixpkgs/trunk/; revision=27431
2011-06-13 14:09:25 +00:00
Eelco Dolstra
2cc5c73694 * Nova updated to 2011.2.
svn path=/nixpkgs/trunk/; revision=27408
2011-06-09 17:06:30 +00:00
Eelco Dolstra
2a276fe96e * Added novaclient.
svn path=/nixpkgs/trunk/; revision=27407
2011-06-09 15:06:21 +00:00
Joachim Schiele
2298edf29e fixed a typo
svn path=/nixpkgs/trunk/; revision=27404
2011-06-09 14:35:52 +00:00
Joachim Schiele
d27a2ef6cf - added myself as maintainer
- added a new package: keepassx (which was reviewed on the nix-dev ml)

svn path=/nixpkgs/trunk/; revision=27401
2011-06-09 07:48:54 +00:00
Yury G. Kudryashov
0159787b06 ImageMagick: propagate libs in buildInputs, use .tar.xz
svn path=/nixpkgs/trunk/; revision=27372
2011-06-07 21:49:04 +00:00
Russell O'Connor
4c1bc91985 Upgrade to bitcoin 0.3.22.
svn path=/nixpkgs/trunk/; revision=27348
2011-06-06 09:22:04 +00:00
Peter Simons
8d931c2771 esniper: updated to version 2.25.0
svn path=/nixpkgs/trunk/; revision=27346
2011-06-05 18:38:33 +00:00
Ludovic Courtès
2a0744a264 GNU gv 3.7.2.
svn path=/nixpkgs/trunk/; revision=27327
2011-05-30 21:49:37 +00:00
Ludovic Courtès
99e79048d4 GNU Zile 2.3.24.
svn path=/nixpkgs/trunk/; revision=27326
2011-05-30 21:49:31 +00:00
Ludovic Courtès
f86a5587d7 GNU IceCat 4.0.1.1.
svn path=/nixpkgs/trunk/; revision=27322
2011-05-30 21:49:06 +00:00
Michael Raskin
e0a4f988a4 Make Ekiga build
svn path=/nixpkgs/trunk/; revision=27305
2011-05-27 05:39:44 +00:00
Michael Raskin
a2579704f1 Update Libertine font
svn path=/nixpkgs/trunk/; revision=27295
2011-05-24 15:13:54 +00:00
Michael Raskin
1e868ce18b Update XNeur
svn path=/nixpkgs/trunk/; revision=27294
2011-05-24 15:00:56 +00:00
Lluís Batlle i Rossell
5a2745ae1c Updating fossil.
svn path=/nixpkgs/trunk/; revision=27293
2011-05-23 08:04:59 +00:00
Lluís Batlle i Rossell
087fc72f64 Updating google earth to what I've just downloaded.
svn path=/nixpkgs/trunk/; revision=27291
2011-05-21 11:22:20 +00:00
Marco Maggesi
1298fd8aba Update hol_light and cleanup:
* Update hol_light to rev 90
* Remove dmtcp checkpoint (it doesn't work properly).
* General cleanup and simplification

svn path=/nixpkgs/trunk/; revision=27290
2011-05-21 11:18:35 +00:00
Cillian de Roiste
21dccfccc3 Updating the sha256, why is this changing?
svn path=/nixpkgs/trunk/; revision=27288
2011-05-21 07:31:07 +00:00
Michael Raskin
178d94606f Remove hard-coded path to uname
svn path=/nixpkgs/trunk/; revision=27287
2011-05-21 05:07:53 +00:00
Michael Raskin
f2788f2837 missing hash
svn path=/nixpkgs/trunk/; revision=27286
2011-05-21 04:50:01 +00:00
Michael Raskin
92ad27cc88 Update veracity
svn path=/nixpkgs/trunk/; revision=27285
2011-05-21 04:27:40 +00:00
Michael Raskin
d913275398 Update/fix MPlayer
svn path=/nixpkgs/trunk/; revision=27280
2011-05-20 08:06:02 +00:00
Eelco Dolstra
8310876955 * Update Flash player on i686-linux.
svn path=/nixpkgs/trunk/; revision=27278
2011-05-18 16:24:02 +00:00
Russell O'Connor
aaa09472bc Update bitcoin to 0.3.21
svn path=/nixpkgs/trunk/; revision=27275
2011-05-17 11:34:18 +00:00
Marco Maggesi
8e5beab31f Fix building of Isabelle2011
svn path=/nixpkgs/trunk/; revision=27253
2011-05-14 21:09:57 +00:00
Marco Maggesi
503f04ca54 ProofGeneral 4.0
svn path=/nixpkgs/trunk/; revision=27252
2011-05-14 20:59:53 +00:00
Eelco Dolstra
81e561ee2e svn path=/nixpkgs/trunk/; revision=27225 2011-05-11 13:55:50 +00:00
Eelco Dolstra
2bf7aa7040 * Remove dummy line that got committed accidentally.
svn path=/nixpkgs/trunk/; revision=27218
2011-05-11 11:06:57 +00:00
Florian Friesdorf
ea0bf27906 notmuch-0.6-rc4
svn path=/nixpkgs/trunk/; revision=27217
2011-05-11 10:33:01 +00:00
Cillian de Roiste
1dfe9e22d4 Adding optional JACK support for mumble, this also disables ALSA and OSS because this combination is reported to be unstable
svn path=/nixpkgs/trunk/; revision=27206
2011-05-10 07:07:35 +00:00
Cillian de Roiste
e56d84e541 Alpha 2 is quite old, and they haven't tagged Alpha 3 or 4 so updating to a recent revision instead
svn path=/nixpkgs/trunk/; revision=27204
2011-05-09 20:27:06 +00:00
Michael Raskin
fdf6512c14 Update LyX
svn path=/nixpkgs/trunk/; revision=27202
2011-05-09 16:59:25 +00:00
Rob Vermaas
7a7581d220 left over commit
svn path=/nixpkgs/trunk/; revision=27197
2011-05-09 14:59:58 +00:00
Michael Raskin
bf82d3c482 Fix Merkaartor source URL
svn path=/nixpkgs/trunk/; revision=27181
2011-05-08 09:55:34 +00:00
Yury G. Kudryashov
7064b9f661 merkaartor: 0.17.2
svn path=/nixpkgs/trunk/; revision=27180
2011-05-08 09:35:37 +00:00
Lluís Batlle i Rossell
34579eb0dd Adding lingot, a guitar tuner.
svn path=/nixpkgs/trunk/; revision=27176
2011-05-07 17:52:57 +00:00
Lluís Batlle i Rossell
2c3bd9a12c Updating hugin. At least it builds.
svn path=/nixpkgs/trunk/; revision=27175
2011-05-06 22:33:50 +00:00
Florian Friesdorf
09dcd78f88 notmuch-0.6-rc1
svn path=/nixpkgs/trunk/; revision=27173
2011-05-06 21:07:48 +00:00
Peter Simons
1c6d30e2ad wxmaxima: updated to version 11.04.0
svn path=/nixpkgs/trunk/; revision=27171
2011-05-06 07:35:22 +00:00
Peter Simons
b4e5853028 maxima: updated to version 5.24.0
svn path=/nixpkgs/trunk/; revision=27170
2011-05-06 07:35:15 +00:00
Peter Simons
9b4e1f6f53 git: updated to version 1.7.5.1
svn path=/nixpkgs/trunk/; revision=27169
2011-05-06 07:35:06 +00:00
Cillian de Roiste
c5f0b7415f Wrapping sonic-visualiser so that it finds libX11.so
svn path=/nixpkgs/trunk/; revision=27167
2011-05-05 22:01:20 +00:00
Michael Raskin
69ddd7b9f1 Remove testsuite data unless requested
svn path=/nixpkgs/trunk/; revision=27166
2011-05-05 16:58:21 +00:00
Cillian de Roiste
fb9de42ad1 Updating Sonic Visualiser, it isn't getting wrapped correctly, but otherwise it compiles and works
svn path=/nixpkgs/trunk/; revision=27154
2011-05-04 23:54:03 +00:00
Eelco Dolstra
a423840c66 * Use a working version of Tribler.
svn path=/nixpkgs/trunk/; revision=27148
2011-05-04 14:59:17 +00:00
Peter Simons
e88567a0db git-annex: added missing dataenc dependency
svn path=/nixpkgs/trunk/; revision=27144
2011-05-04 13:21:26 +00:00
Eelco Dolstra
d5d5aa6801 * Fix nix-env evaluation errors on non-Linux platforms.
svn path=/nixpkgs/trunk/; revision=27143
2011-05-04 12:52:46 +00:00
Eelco Dolstra
b61d3ab317 * Typo in attribute. This broke --meta --xml evaluation.
svn path=/nixpkgs/trunk/; revision=27142
2011-05-04 12:45:05 +00:00
Rob Vermaas
2ff77d4134 fixed hash
svn path=/nixpkgs/trunk/; revision=27137
2011-05-04 10:14:02 +00:00
Rob Vermaas
c34fdd226e oops, wrote git2svn in stead of svn2git
svn path=/nixpkgs/trunk/; revision=27136
2011-05-04 10:11:30 +00:00
Rob Vermaas
02b871de50 add svn2git
svn path=/nixpkgs/trunk/; revision=27135
2011-05-04 10:07:56 +00:00
Peter Simons
59dae8edf4 git-annex: added missing SHA dependency
svn path=/nixpkgs/trunk/; revision=27131
2011-05-04 09:45:22 +00:00
Peter Simons
fb10d3399d git-annex: updated to version 0.20110427
The most current one is 0.20110503, but the corresponding tarball isn't
available for download yet.

svn path=/nixpkgs/trunk/; revision=27130
2011-05-04 09:26:45 +00:00
Eelco Dolstra
7a62283c46 svn path=/nixpkgs/trunk/; revision=27128 2011-05-04 08:55:30 +00:00
Eelco Dolstra
9afa230dfc * Added Tribler. Doesn't quite work yet.
svn path=/nixpkgs/trunk/; revision=27124
2011-05-03 17:12:31 +00:00
Eelco Dolstra
89e94123c6 * Move ktorrent to pkgs/applications/networking/p2p/.
svn path=/nixpkgs/trunk/; revision=27123
2011-05-03 16:59:24 +00:00
Eelco Dolstra
077fd0a77c * Firefox updated to 4.0.1. Dropped the libvpx dependency because it
was ignored anyway.  With the --with-system-libvpx flag, the build
  barfs with:

    checking for vpx/vpx_decoder.h... yes
    configure: error: vpx/vpx_decoder.h found, but is not in /usr/include

svn path=/nixpkgs/trunk/; revision=27089
2011-05-02 11:53:11 +00:00
Lluís Batlle i Rossell
f793bd3683 Updating offrss
svn path=/nixpkgs/trunk/; revision=27076
2011-05-01 19:57:31 +00:00
Cillian de Roiste
39f80594b1 Adding Ardour3 alpha2, a digital audio workstation
svn path=/nixpkgs/trunk/; revision=27075
2011-05-01 14:45:52 +00:00
Eelco Dolstra
2f34f27f8a * w3m updated to 0.5.3.
svn path=/nixpkgs/trunk/; revision=27058
2011-04-30 09:20:59 +00:00
Lluís Batlle i Rossell
50f03dbf20 Telling hydra to build the recent k3b.
svn path=/nixpkgs/trunk/; revision=27055
2011-04-29 18:25:46 +00:00
Ludovic Courtès
270ea3beec Elinks: Fix libgc initialization.
svn path=/nixpkgs/trunk/; revision=27046
2011-04-28 21:22:24 +00:00
Cillian de Roiste
300456b2c8 Updating the revision to get a working download url
svn path=/nixpkgs/trunk/; revision=27031
2011-04-28 13:12:26 +00:00
Florian Friesdorf
ead24cacdf notmuch: -inheritable-tags-hack +atomic-new
svn path=/nixpkgs/trunk/; revision=26983
2011-04-27 02:54:57 +00:00
Florian Friesdorf
805a6f0713 notmuch: rebased and merged feature branches on current master
https://github.com/chaoflow/notmuch/commits/cfl8

svn path=/nixpkgs/trunk/; revision=26981
2011-04-26 20:57:21 +00:00
Lluís Batlle i Rossell
6fa4ceded6 Updating vlc
svn path=/nixpkgs/trunk/; revision=26963
2011-04-25 10:53:07 +00:00
Cillian de Roiste
5b1d2d96e2 Adding support for rubberband, (audio time stretching)
svn path=/nixpkgs/trunk/; revision=26961
2011-04-25 08:54:58 +00:00
Lluís Batlle i Rossell
05fae54809 Fixing the minidjvu installation
svn path=/nixpkgs/trunk/; revision=26959
2011-04-24 20:13:14 +00:00
Lluís Batlle i Rossell
11c0e3976e Adding minidjvu
svn path=/nixpkgs/trunk/; revision=26957
2011-04-24 20:10:43 +00:00
Lluís Batlle i Rossell
9a0a0c92c7 Adding training results files for some languages to tesseract to be able to do OCR directly.
svn path=/nixpkgs/trunk/; revision=26956
2011-04-24 20:01:19 +00:00
Cillian de Roiste
47c44f9315 Adding Rakarrack: guitar effects-pedal emulator
svn path=/nixpkgs/trunk/; revision=26955
2011-04-24 19:44:36 +00:00
Lluís Batlle i Rossell
01cdfd58fc Removing a vorbis tools patch not used anymore.
I can't say if it is required, though. As vorbistools built, I took it out.


svn path=/nixpkgs/trunk/; revision=26953
2011-04-24 18:05:21 +00:00
Lluís Batlle i Rossell
626f654602 Adding tesseract, an OCR engine I just found but never tried.
svn path=/nixpkgs/trunk/; revision=26952
2011-04-24 18:04:07 +00:00
Cillian de Roiste
3ae0255bbd Adding Qtractor, an Audio/MIDI multi-track sequencer
svn path=/nixpkgs/trunk/; revision=26949
2011-04-24 14:32:55 +00:00
Michael Raskin
bca9330f6d Update Audacity
svn path=/nixpkgs/trunk/; revision=26948
2011-04-24 13:13:57 +00:00
Lluís Batlle i Rossell
7bfeee2318 MPlayer does not depend on a *built* ffmpeg.
svn path=/nixpkgs/trunk/; revision=26944
2011-04-23 23:04:22 +00:00
Lluís Batlle i Rossell
7cc0eee61d Updating some xiph.org libraries, and making some cross-compile.
svn path=/nixpkgs/trunk/; revision=26943
2011-04-23 21:58:30 +00:00
Lluís Batlle i Rossell
b2e493a858 Updating MPlayer to the snapshot of today.
I unpack ffmpeg.src where mplayer wants, taking 'ffmpeg' in the function arguments. Maybe it is not
very nice.

I've not checked if the rest of dependencies are needed either.

And someone should store the snapshot somewhere more permanent.


svn path=/nixpkgs/trunk/; revision=26939
2011-04-23 21:06:39 +00:00
Cillian de Roiste
0d09cc4348 Adding Yoshimi, a fork of ZynAddSubFX (audio synthesizer) with many enhancements including jack support
svn path=/nixpkgs/trunk/; revision=26935
2011-04-23 13:54:25 +00:00
Russell O'Connor
af59636bf5 adding ecm support to msieve.
svn path=/nixpkgs/trunk/; revision=26931
2011-04-23 12:36:36 +00:00
Russell O'Connor
699261d8df Adding ecm-6.2.3.
svn path=/nixpkgs/trunk/; revision=26930
2011-04-23 12:25:51 +00:00
Cillian de Roiste
b3e902c1a9 Adding lash, session management system for GNU/Linux audio applications
svn path=/nixpkgs/trunk/; revision=26926
2011-04-23 00:22:40 +00:00
Cillian de Roiste
3cfe938b0e Adding lmms: Linux MultiMedia Studio
svn path=/nixpkgs/trunk/; revision=26925
2011-04-22 23:00:55 +00:00
Cillian de Roiste
b150276393 Adding seq24: a minimal loop based midi sequencer
svn path=/nixpkgs/trunk/; revision=26924
2011-04-22 22:07:59 +00:00
Cillian de Roiste
eb9ed1c09f Adding Specimen, an audio sampler and phat gtk+ widgets which Specimen uses
svn path=/nixpkgs/trunk/; revision=26923
2011-04-22 21:42:38 +00:00
Cillian de Roiste
3d3efea4f1 Adding vkeybd, a virtual midi keyboard
svn path=/nixpkgs/trunk/; revision=26919
2011-04-22 09:39:48 +00:00
Cillian de Roiste
198f3407a3 Including the rest of the lib files too, now it works
svn path=/nixpkgs/trunk/; revision=26918
2011-04-22 08:15:10 +00:00
Marco Maggesi
a041cad70a Update HOL Light to r89
svn path=/nixpkgs/trunk/; revision=26916
2011-04-21 14:39:29 +00:00
Russell O'Connor
3db6f63711 Package for msieve.
This would be better if gmp-emc were packaged as well.

svn path=/nixpkgs/trunk/; revision=26915
2011-04-21 12:48:07 +00:00
Cillian de Roiste
4841599814 Fixing the mirror url
svn path=/nixpkgs/trunk/; revision=26914
2011-04-21 07:59:46 +00:00