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
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
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
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
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
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
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
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
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
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
Michael Raskin
7905af1137
Update monotone-viz
...
svn path=/nixpkgs/trunk/; revision=24642
2010-11-10 16:09:30 +00:00
