Commit graph

2446 commits

Author SHA1 Message Date
Michael Raskin 5cb3f8b659 Missing Singular files
svn path=/nixpkgs/trunk/; revision=24981
2010-12-05 18:37:47 +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 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
Michael Raskin c32bd62956 Adding LEO2 automated higher-order prover
svn path=/nixpkgs/trunk/; revision=24952
2010-12-01 21:29:42 +00:00
Michael Raskin 373fabf1c0 Fix settings patch for Isabelle
svn path=/nixpkgs/trunk/; revision=24951
2010-12-01 21:29:20 +00:00
Michael Raskin b89881d098 Update Isabelle
svn path=/nixpkgs/trunk/; revision=24950
2010-12-01 21:25:21 +00:00
Michael Raskin 77672ac3a4 update muPDF
svn path=/nixpkgs/trunk/; revision=24945
2010-12-01 11:03:52 +00:00
Eelco Dolstra 86d51032cc * Sync.
svn path=/nixpkgs/branches/cve-2010-3856/; revision=24936
2010-11-30 11:39:53 +00:00
Lluís Batlle i Rossell d71ad68d43 Fixing the verilog URL (contributed by Antonio Vargas)
svn path=/nixpkgs/trunk/; revision=24935
2010-11-30 11:24:12 +00:00
Lluís Batlle i Rossell ab6627ac0e Fix for the verilog package, from Antonio Vargas Gonzalez
svn path=/nixpkgs/trunk/; revision=24934
2010-11-30 11:23:36 +00:00
Lluís Batlle i Rossell ebe1ebaba8 Adding a stdenv version of links2, to be able to cross-build it. This can be removed once
builderDefs can be made to support the stdenvCross adapter


svn path=/nixpkgs/branches/stdenv-updates/; revision=24927
2010-11-29 18:03:03 +00:00
Karn Kallio 76f6893e6a Update version of MySQL Workbench to 5.2.30
svn path=/nixpkgs/trunk/; revision=24924
2010-11-29 17:34:08 +00:00
Eelco Dolstra 009bfb702d * Sync with the trunk.
svn path=/nixpkgs/branches/cve-2010-3856/; revision=24921
2010-11-29 16:03:36 +00:00
Eelco Dolstra c7e8b01323 * Subversion 1.6.15.
svn path=/nixpkgs/trunk/; revision=24912
2010-11-29 09:54:37 +00:00
Michael Raskin b01f33c2b8 Update gajim
svn path=/nixpkgs/trunk/; revision=24906
2010-11-28 13:46:32 +00:00
Evgeny Egorochkin b909a4ce76 Virtualbox guest additions: fix runtime dep on which. Patch by Rohan Hart.
svn path=/nixpkgs/trunk/; revision=24903
2010-11-28 10:14:07 +00:00
Evgeny Egorochkin 51492e5533 openbox: packaged. Patch by rixed@happyleptic.org.
svn path=/nixpkgs/trunk/; revision=24902
2010-11-28 10:07:49 +00:00
Evgeny Egorochkin 4d715b2e53 kmplayer: version bump
svn path=/nixpkgs/trunk/; revision=24901
2010-11-28 10:04:41 +00:00
Evgeny Egorochkin a729c92721 Chromium: fix deps and clean up. Patch by Cillian de Róiste.
svn path=/nixpkgs/trunk/; revision=24898
2010-11-28 09:27:45 +00:00
Evgeny Egorochkin 5e994b9153 ekiga: fix build failure. Patch by Karn Kallio.
svn path=/nixpkgs/trunk/; revision=24897
2010-11-28 09:21:36 +00:00
Michael Raskin 484a795b42 Update Xneur to 0.11.1
svn path=/nixpkgs/trunk/; revision=24889
2010-11-27 12:59:55 +00:00
Lluís Batlle i Rossell 614c40a1e1 Adding the 'gzip' dependency to lynx (important cross-building).
Otherwise, on a cross-built lynx, it cannot gunzip pages that came in gzip-compressed.
(It was calling the host gzip, a lynx dependency, before)


svn path=/nixpkgs/branches/stdenv-updates/; revision=24882
2010-11-26 18:43:55 +00:00
Lluís Batlle i Rossell 0e4c970d11 Updating from trunk - I hope I fixed the conflict around gettext - I left it as
it was before merging.


svn path=/nixpkgs/branches/stdenv-updates/; revision=24876
2010-11-26 14:40:39 +00:00
Lluís Batlle i Rossell cbb3b6f1dc Making fossil crossbuilt (I think I meant that in a previous commiit, but I
ended up committing something screwed up)


svn path=/nixpkgs/branches/stdenv-updates/; revision=24873
2010-11-26 14:33:30 +00:00
Lluís Batlle i Rossell b44c4a88e8 Setting me as maintainer of qemu, and telling hydra to build it (heavy package)
svn path=/nixpkgs/trunk/; revision=24861
2010-11-25 22:01:24 +00:00
Lluís Batlle i Rossell 4018d18e96 Committing patch adding verilog from Antonio Vargas Gonzalez
From his original, I adapted some spacing, and removed the release.nix reference
(superfluous having set meta.platforms)

svn path=/nixpkgs/trunk/; revision=24860
2010-11-25 22:01:14 +00:00
Sander van der Burg 2549fea1bb Upgraded pidgin to version 2.7.7
svn path=/nixpkgs/trunk/; revision=24844
2010-11-24 21:58:52 +00:00
Michael Raskin 31b22ed108 Merge from trunk
svn path=/nixpkgs/branches/stdenv-updates/; revision=24820
2010-11-23 08:57:29 +00:00
Michael Raskin 3c452363ce Use a patch to fix make 3.82 build of Coq
svn path=/nixpkgs/branches/stdenv-updates/; revision=24817
2010-11-23 05:54:58 +00:00
Peter Simons eb7e848f4b subversion: enable key-chain services on Darwin to fix pysvn build
svn path=/nixpkgs/trunk/; revision=24805
2010-11-22 12:01:45 +00:00
Michael Raskin 6af8a1debd Merging from trunk
svn path=/nixpkgs/branches/stdenv-updates/; revision=24804
2010-11-22 11:39:42 +00:00
Michael Raskin ea00506f53 Update mupdf
svn path=/nixpkgs/branches/stdenv-updates/; revision=24786
2010-11-20 21:01:18 +00:00
Michael Raskin 7195b61a31 Update Wireshark
svn path=/nixpkgs/branches/stdenv-updates/; revision=24785
2010-11-20 20:51:29 +00:00
Lluís Batlle i Rossell 79c06ac912 Updating qemu
svn path=/nixpkgs/trunk/; revision=24784
2010-11-20 14:48:23 +00:00
Evgeny Egorochkin 65b669feb8 VirtualBox: fix i686 compilation
svn path=/nixpkgs/trunk/; revision=24783
2010-11-20 10:41:53 +00:00
Lluís Batlle i Rossell 331f7efbf5 Updating the fossil license (they changed it to BSD some months ago)
svn path=/nixpkgs/trunk/; revision=24782
2010-11-19 23:10:49 +00:00
Lluís Batlle i Rossell 25423cc546 Making hydra build fossil
svn path=/nixpkgs/trunk/; revision=24781
2010-11-19 23:10:45 +00:00
Lluís Batlle i Rossell 0d38f21c73 Making the fossil build do the check phase.
svn path=/nixpkgs/trunk/; revision=24780
2010-11-19 23:10:41 +00:00
Rob Vermaas db8748b170 added eclipse 3.6.1, maven3, szip
svn path=/nixpkgs/trunk/; revision=24772
2010-11-19 13:24:11 +00:00
Lluís Batlle i Rossell 5062aa0be0 Updating fossil.
svn path=/nixpkgs/trunk/; revision=24769
2010-11-19 13:03:35 +00:00
Michael Raskin 9d124b1c70 Fix DrGeo build
svn path=/nixpkgs/branches/stdenv-updates/; revision=24762
2010-11-19 04:07:34 +00:00
Michael Raskin fb58f74d82 Updating from trunk again
svn path=/nixpkgs/branches/stdenv-updates/; revision=24745
2010-11-17 17:03:09 +00:00
Evgeny Egorochkin 61e9a549f6 cmus: packaged. Patch by Paul van der Walt <nix@denknerd.nl>.
svn path=/nixpkgs/trunk/; revision=24739
2010-11-17 15:20:57 +00:00
Peter Simons 63f114c3dd This patch adds the cmus console music player.
svn path=/nixpkgs/trunk/; revision=24738
2010-11-17 15:03:12 +00:00
Andres Löh ad9d05d909 Version bump for leksah (plus dependencies). Now works with ghc-6.12.3.
svn path=/nixpkgs/trunk/; revision=24737
2010-11-17 14:48:12 +00:00
Ludovic Courtès ad1c12d756 Aumix: Update the tarball URL.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24724
2010-11-17 10:42:57 +00:00
Ludovic Courtès 8729f86924 qtpfsgui: Use fftw3 single-precision.
Thanks to Lluís Batlle!

svn path=/nixpkgs/branches/stdenv-updates/; revision=24723
2010-11-17 10:42:53 +00:00
Michael Raskin 2d574a718a Mike Firefox 4.0 beta 7 build
svn path=/nixpkgs/trunk/; revision=24719
2010-11-17 09:34:21 +00:00
Michael Raskin bbcc101bce Work around -lpthread dependencies
svn path=/nixpkgs/trunk/; revision=24718
2010-11-17 08:59:10 +00:00
Michael Raskin e59ddf7bcb Update Cairo, Pixman; update FF4beta - still broken, cannot pass fresh cairo correctly to it yet
svn path=/nixpkgs/trunk/; revision=24714
2010-11-16 21:05:54 +00:00
Andres Löh 2482ad5215 darcs version-bumped to 2.5
svn path=/nixpkgs/trunk/; revision=24710
2010-11-16 13:14:50 +00:00
Eelco Dolstra 1761d5a53a * Latest Firefox, Thunderbird.
svn path=/nixpkgs/trunk/; revision=24708
2010-11-16 12:37:28 +00:00
Lluís Batlle i Rossell b9c159416c Adding keepnote
svn path=/nixpkgs/trunk/; revision=24695
2010-11-15 19:44:53 +00:00
Lluís Batlle i Rossell 5d090f37a0 Updating the putty hash of the svn rev. Somehow it gives now a different hash of what there was.
I don't understand why. Maybe I had committed a broken hash from the very beginning.

svn path=/nixpkgs/trunk/; revision=24694
2010-11-15 19:44:40 +00:00
Michael Raskin 2c4ed8b7ce Add new dependencies
svn path=/nixpkgs/trunk/; revision=24691
2010-11-15 12:39:50 +00:00
Michael Raskin 48c24ab774 Update Veracity
svn path=/nixpkgs/trunk/; revision=24690
2010-11-15 12:10:26 +00:00
Michael Raskin 3bc0867f36 Update XScreenSaver
svn path=/nixpkgs/trunk/; revision=24685
2010-11-14 18:55:09 +00:00
Ludovic Courtès 10306f1b4c libpano13 2.9.17.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24680
2010-11-12 22:02:08 +00:00
Russell O'Connor 4018b1dd39 updating flashplayer
svn path=/nixpkgs/trunk/; revision=24678
2010-11-12 18:58:24 +00:00
Lluís Batlle i Rossell 8746de3ae8 Updating from trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24674
2010-11-11 22:18:14 +00:00
Lluís Batlle i Rossell bca9914534 Blindly updating go-oo. As it has always been, not that they announced anything in their web.
I imagined the latest tarball name from the tags I saw in
http://cgit.freedesktop.org/libreoffice/build/log/?h=ooo-build-3-2-1
OOO_BUILD_3_2_1_6

svn path=/nixpkgs/trunk/; revision=24672
2010-11-11 22:16:35 +00:00
Ludovic Courtès 08d9437bce Quack 0.39.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24670
2010-11-11 22:12:02 +00:00
Ludovic Courtès f8a04b6a20 OpenOffice.org: Fix `postPatch'.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24655
2010-11-11 11:02:44 +00:00
Ludovic Courtès cadb827ec2 OpenOffice.org: Fix typo.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24654
2010-11-10 22:43:45 +00:00
Ludovic Courtès 4b6e0f0846 OpenOffice.org: Force compilation with GCC 4.5.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24652
2010-11-10 21:37:16 +00:00
Lluís Batlle i Rossell 8d1e116069 Updating paraview
svn path=/nixpkgs/trunk/; revision=24651
2010-11-10 18:13:04 +00:00
Lluís Batlle i Rossell 01b6395203 Making inkscape not install any icon cache
svn path=/nixpkgs/trunk/; revision=24650
2010-11-10 18:13:00 +00:00
Lluís Batlle i Rossell 8ed1a21f2c Updating inkscape
svn path=/nixpkgs/trunk/; revision=24646
2010-11-10 16:48:13 +00:00
Ludovic Courtès 1410156f2a OpenOffice.org 3.2.1.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24644
2010-11-10 16:22:29 +00:00
Michael Raskin 7905af1137 Update monotone-viz
svn path=/nixpkgs/trunk/; revision=24642
2010-11-10 16:09:30 +00:00
Michael Raskin 91afbd159a Update gosmore
svn path=/nixpkgs/trunk/; revision=24640
2010-11-10 14:57:38 +00:00
Ludovic Courtès 824e7af179 Aumix 2.9.1.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24635
2010-11-10 09:16:48 +00:00
Lluís Batlle i Rossell a26788440d Updating gtkpod to their 1.0
svn path=/nixpkgs/trunk/; revision=24633
2010-11-09 20:14:30 +00:00
Peter Simons e48bf66bf2 rcs: fixed build error introduced in my last commit
This package's configure script is too old to support "--mandir". Instead, the
default settings have to be overridden on the make command-line.

svn path=/nixpkgs/trunk/; revision=24620
2010-11-08 17:56:45 +00:00
Lluís Batlle i Rossell ab8ea7ab68 Updating pinta to 0.5
svn path=/nixpkgs/trunk/; revision=24615
2010-11-07 21:27:06 +00:00
Peter Simons 7c07c5aae2 pkgs/applications/version-management/rcs: fixed location of "info" and "man" directories
svn path=/nixpkgs/trunk/; revision=24607
2010-11-05 14:46:13 +00:00
Peter Simons 9c6acea563 pkgs/applications/misc/xpdf: fixed location of "info" and "man" directories
svn path=/nixpkgs/trunk/; revision=24606
2010-11-05 14:41:19 +00:00
Peter Simons a09b681e3e pkgs/applications/science/math/maxima: fixed location of "info" and "man" directories
svn path=/nixpkgs/trunk/; revision=24605
2010-11-05 14:35:37 +00:00
Peter Simons a33ddc8047 pkgs/applications/version-management/cvs: fixed location of "info" and "man" directories
svn path=/nixpkgs/trunk/; revision=24603
2010-11-05 14:35:22 +00:00
Peter Simons 5b009db20e Updated Git to version 1.7.3.2.
svn path=/nixpkgs/trunk/; revision=24600
2010-11-05 11:45:16 +00:00
Rob Vermaas a4ab931719 applied patch by Cillian de Róiste
svn path=/nixpkgs/trunk/; revision=24598
2010-11-04 12:09:40 +00:00
Marco Maggesi 0430167083 Update Coq
svn path=/nixpkgs/trunk/; revision=24597
2010-11-04 11:24:27 +00:00
Michael Raskin eb2a953bc3 Fix missing descriptions
svn path=/nixpkgs/trunk/; revision=24596
2010-11-04 10:47:24 +00:00
Michael Raskin 2db7a9dfbd Add stalonetray
svn path=/nixpkgs/trunk/; revision=24595
2010-11-04 08:28:24 +00:00
Marco Maggesi 078587a846 Update HOL Light
svn path=/nixpkgs/trunk/; revision=24591
2010-11-03 22:20:05 +00:00
Michael Raskin 11616a2213 Update fbpanel
svn path=/nixpkgs/trunk/; revision=24589
2010-11-03 21:57:42 +00:00
Piotr Pietraszkiewicz be71209dd3 added bibletime - a Bible study tool
svn path=/nixpkgs/trunk/; revision=24587
2010-11-03 20:42:26 +00:00
Armijn Hemel b247c239e5 update to 2.7.5
svn path=/nixpkgs/trunk/; revision=24584
2010-11-03 14:03:53 +00:00
Michael Raskin 6a09974e0f Update Guitone
svn path=/nixpkgs/trunk/; revision=24580
2010-11-02 19:19:25 +00:00
Lluís Batlle i Rossell 9ff0622848 Kdesvn fixed. At the end it was a wrong docbook type only in one of the docbook
files there. The other was fine, and kept me confused for long.

svn path=/nixpkgs/trunk/; revision=24571
2010-11-02 13:35:28 +00:00
Lluís Batlle i Rossell 5e5ce5a987 Updating kdesvn. It still does not build to some docbook problems I don't know how to solve, related to kde 4.5 I guess.
It runs some /nix/store/wlbri8r6fzavvq554bm04666aphhkxxr-kdelibs-4.5.2/bin/meinproc4 --check --cache /tmp/nix-build-rjcm9mri08cpbvh7gcjcvra2iqzn20ch-kdesvn-1.5.5.drv-0/kdesvn-1.5.5/build/doc/nl/index.cache.bz2 /tmp/nix-build-rjcm9mri08cpbvh7gcjcvra2iqzn20ch-kdesvn-1.5.5.drv-0/kdesvn-1.5.5/doc/nl/index.docbook

and this fails.

svn path=/nixpkgs/trunk/; revision=24569
2010-11-02 13:24:08 +00:00
Lluís Batlle i Rossell 548e313d02 Updating fossil
svn path=/nixpkgs/trunk/; revision=24568
2010-11-02 13:24:04 +00:00
Lluís Batlle i Rossell 00d1d949d7 Updating kdenlive (and mlt as a requirement)
svn path=/nixpkgs/trunk/; revision=24567
2010-11-02 13:23:59 +00:00
Yury G. Kudryashov 3baea16bc6 Add guitone.
It compiles. Haven't checked whether it works.

svn path=/nixpkgs/trunk/; revision=24566
2010-11-02 12:23:01 +00:00
Yury G. Kudryashov 24d011bfbc monotone-0.99.1, less hacky way to get perl version
svn path=/nixpkgs/trunk/; revision=24565
2010-11-02 11:20:24 +00:00
Andres Löh 527d64b664 darcs should propagate its Haskell dependencies
since it can be used as a library

svn path=/nixpkgs/trunk/; revision=24558
2010-11-01 16:37:46 +00:00
Lluís Batlle i Rossell f4f84af4ab Updating from trunk. I only had to take away the usual stdenv2 in
all-packages.nix


svn path=/nixpkgs/branches/stdenv-updates/; revision=24553
2010-10-31 19:30:31 +00:00