Yury G. Kudryashov
f3d4030979
Remove unused items from manifest.nix
...
svn path=/nixpkgs/trunk/; revision=24995
2010-12-06 12:04:31 +00:00
Yury G. Kudryashov
dc44c0eeeb
kde-l10n-4.5.3
...
svn path=/nixpkgs/trunk/; revision=24994
2010-12-06 12:04:27 +00:00
Yury G. Kudryashov
9d8000c968
Fix l10n manifest generation script
...
svn path=/nixpkgs/trunk/; revision=24993
2010-12-06 12:04:21 +00:00
Yury G. Kudryashov
1f558f78df
There will be no kdepim-4.5.x
...
svn path=/nixpkgs/trunk/; revision=24992
2010-12-06 12:04:16 +00:00
Yury G. Kudryashov
eeda98a673
Remove qt-4.5
...
svn path=/nixpkgs/trunk/; revision=24991
2010-12-06 12:04:09 +00:00
Rob Vermaas
f26b267858
fix debian lenny hashes
...
svn path=/nixpkgs/trunk/; revision=24986
2010-12-06 08:03:11 +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
7768fa0178
Fix installation layout
...
svn path=/nixpkgs/trunk/; revision=24982
2010-12-05 19:08:32 +00:00
Michael Raskin
5cb3f8b659
Missing Singular files
...
svn path=/nixpkgs/trunk/; revision=24981
2010-12-05 18:37:47 +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
Michael Raskin
44ac8c5ea1
Adding iProver
...
svn path=/nixpkgs/trunk/; revision=24969
2010-12-04 18:39:44 +00:00
Michael Raskin
c2a8d34118
Add a note about chroot builds
...
svn path=/nixpkgs/trunk/; revision=24968
2010-12-04 13:07:10 +00:00
Michael Raskin
86e44e72bf
Adding SPASS
...
svn path=/nixpkgs/trunk/; revision=24967
2010-12-04 11:43:01 +00:00
Michael Raskin
0141bfec63
Update SWI Prolog
...
svn path=/nixpkgs/trunk/; revision=24966
2010-12-04 11:16:39 +00:00
Michael Raskin
64ed7e705d
Adding Satallax prover
...
svn path=/nixpkgs/trunk/; revision=24963
2010-12-03 11:26:34 +00:00
Rob Vermaas
44e152f8d8
add Crypt::RandPasswd perl package
...
svn path=/nixpkgs/trunk/; revision=24962
2010-12-03 09:51:33 +00:00
Michael Raskin
c32bd62956
Adding LEO2 automated higher-order prover
...
svn path=/nixpkgs/trunk/; revision=24952
2010-12-01 21:29:42 +00:00
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
c1e384b3eb
Tests fail for a reason that tells more about tests than sabout built binary
...
svn path=/nixpkgs/trunk/; revision=24949
2010-12-01 21:11:28 +00:00
Eelco Dolstra
2c814a5b2e
* Updated sysstat to the latest stable version.
...
svn path=/nixpkgs/trunk/; revision=24946
2010-12-01 12:28:37 +00:00
Michael Raskin
77672ac3a4
update muPDF
...
svn path=/nixpkgs/trunk/; revision=24945
2010-12-01 11:03:52 +00:00
Evgeny Egorochkin
c76f114d20
tor:version bump
...
svn path=/nixpkgs/trunk/; revision=24944
2010-12-01 04:07:44 +00:00
Eelco Dolstra
f088bd4791
* nixUnstable updated, now with garbage collector.
...
svn path=/nixpkgs/trunk/; revision=24943
2010-11-30 18:32:23 +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
Russell O'Connor
d07675c415
Maybe this will fix wicd.
...
svn path=/nixpkgs/trunk/; revision=24933
2010-11-30 04:09:51 +00:00
Michael Raskin
f5e7bc623f
Adding crrcsim model airplane flight simulator
...
svn path=/nixpkgs/trunk/; revision=24931
2010-11-29 21:12:53 +00:00
Michael Raskin
cfce1c0b98
Adding GL-117
...
svn path=/nixpkgs/trunk/; revision=24930
2010-11-29 20:51:09 +00:00
Russell O'Connor
7f65afe3f3
Update wicd to 1.7.0
...
svn path=/nixpkgs/trunk/; revision=24929
2010-11-29 20:15:44 +00:00
Peter Simons
50a167ba7b
pkgs/shells/ipython: added initial version of ipython 0.10.1
...
Committing on behalf of Cillian de Róiste <cillian.deroiste@gmail.com>.
svn path=/nixpkgs/trunk/; revision=24928
2010-11-29 18:04:56 +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
6ff77b7f6c
* tcpdump 4.1.1.
...
svn path=/nixpkgs/trunk/; revision=24919
2010-11-29 15:25:07 +00:00
Peter Simons
b173267123
pkgs/development/interpreters/r-lang: cosmetic improvements to package description, etc.
...
svn path=/nixpkgs/trunk/; revision=24914
2010-11-29 11:13:03 +00:00
Peter Simons
9d4fb7d641
pkgs/development/interpreters/r-lang: updated to version 2.12.0
...
svn path=/nixpkgs/trunk/; revision=24913
2010-11-29 11:12:43 +00:00
Eelco Dolstra
c7e8b01323
* Subversion 1.6.15.
...
svn path=/nixpkgs/trunk/; revision=24912
2010-11-29 09:54:37 +00:00
Eelco Dolstra
9feaa9db94
* Linux 2.6.32.26.
...
svn path=/nixpkgs/trunk/; revision=24911
2010-11-29 09:52:50 +00:00
Eelco Dolstra
aa01c8abd6
* Added xdelta.
...
svn path=/nixpkgs/trunk/; revision=24907
2010-11-28 16:37:48 +00:00
Michael Raskin
b01f33c2b8
Update gajim
...
svn path=/nixpkgs/trunk/; revision=24906
2010-11-28 13:46:32 +00:00
Michael Raskin
a095746651
Add stardust
...
svn path=/nixpkgs/trunk/; revision=24905
2010-11-28 13:16:47 +00:00
Tobias Hammerschmidt
1db5a9df76
added tmux
...
svn path=/nixpkgs/trunk/; revision=24904
2010-11-28 12:38:35 +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
676562ac15
encfs: packaged. Patch by Ambrus Kaposi.
...
svn path=/nixpkgs/trunk/; revision=24900
2010-11-28 09:59:13 +00:00
Evgeny Egorochkin
b89f2ef1e4
system-config-printer: fix runtime errors. Patch by Karn Kallio.
...
svn path=/nixpkgs/trunk/; revision=24899
2010-11-28 09:46:51 +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
Evgeny Egorochkin
db4b283fd1
ati-drivers: version bump. Patch by: Cillian de Róiste.
...
svn path=/nixpkgs/trunk/; revision=24896
2010-11-28 09:17:42 +00:00
Karn Kallio
675f6eb0c8
Add Nix expression for Perl module SQL::Translator ( also known
...
as SQL Fairy) and dependencies.
svn path=/nixpkgs/trunk/; revision=24895
2010-11-27 20:54:35 +00:00
Michael Raskin
94585b9776
Add CGUI library
...
svn path=/nixpkgs/trunk/; revision=24894
2010-11-27 19:38:34 +00:00
Michael Raskin
e5137b9bbf
Adding atanks
...
svn path=/nixpkgs/trunk/; revision=24893
2010-11-27 19:18:22 +00:00
Michael Raskin
961c737634
Update Wine
...
svn path=/nixpkgs/trunk/; revision=24892
2010-11-27 18:41:49 +00:00
Michael Raskin
ec741fee8c
Adding Allegro library
...
svn path=/nixpkgs/trunk/; revision=24891
2010-11-27 18:31:05 +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
Tobias Hammerschmidt
57c1632f11
added flvstreamer
...
svn path=/nixpkgs/trunk/; revision=24884
2010-11-26 20:04:07 +00:00
Tobias Hammerschmidt
b8941c934a
added myself to maintainers
...
svn path=/nixpkgs/trunk/; revision=24883
2010-11-26 19:16:31 +00:00
Lluís Batlle i Rossell
5387036c50
Adding php 5.2 (5.3 does not build on arm), although not the default in the attribute 'php'.
...
svn path=/nixpkgs/trunk/; revision=24872
2010-11-26 14:26:15 +00:00
Rob Vermaas
0c455b53ac
gettext, now properly
...
svn path=/nixpkgs/trunk/; revision=24869
2010-11-26 12:38:42 +00:00
Rob Vermaas
4db5a0b5a9
add gettext_0_17 alias to gettext, preparation for stdenv merge, concerning gnu hydra build configuration
...
svn path=/nixpkgs/trunk/; revision=24866
2010-11-26 12:33:48 +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
Eelco Dolstra
5b89031ff5
* nfs-utils updated to 1.2.3.
...
svn path=/nixpkgs/trunk/; revision=24857
2010-11-25 15:59:08 +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
5af12418ef
Pass parameters with correct arch to DF
...
svn path=/nixpkgs/trunk/; revision=24843
2010-11-24 20:05:43 +00:00
Michael Raskin
81fd05cdd3
Dwarf fortress asserts the need for i686-linux; give it to it even on amd64
...
svn path=/nixpkgs/trunk/; revision=24842
2010-11-24 20:02:35 +00:00
Michael Raskin
b2ea1f5e0d
Do not inherit missing version attribute
...
svn path=/nixpkgs/trunk/; revision=24841
2010-11-24 13:53:11 +00:00
Michael Raskin
823f34a075
Adding Anonymous Pro font
...
svn path=/nixpkgs/trunk/; revision=24840
2010-11-24 11:51:50 +00:00
Michael Raskin
a94fc3966d
Add inconsolata font
...
svn path=/nixpkgs/trunk/; revision=24839
2010-11-24 11:19:38 +00:00
Yury G. Kudryashov
0dcd86ef0f
Make kdebindings compile with newer sip
...
svn path=/nixpkgs/trunk/; revision=24838
2010-11-24 10:49:34 +00:00
Yury G. Kudryashov
8f07ddbdbb
PyQt-4.8.1
...
svn path=/nixpkgs/trunk/; revision=24837
2010-11-24 10:48:25 +00:00
Yury G. Kudryashov
e02f6ba5f3
Update python-sip
...
svn path=/nixpkgs/trunk/; revision=24836
2010-11-24 10:47:48 +00:00
Eelco Dolstra
16c34f2f6f
* SQLite 3.6.23.1.
...
svn path=/nixpkgs/trunk/; revision=24825
2010-11-23 18:01:33 +00:00
Michael Raskin
9813c8feb6
Adding untie - a tool for manipulating namespaces
...
svn path=/nixpkgs/trunk/; revision=24819
2010-11-23 07:52:57 +00:00
Michael Raskin
6162fffede
Adding IOtop
...
svn path=/nixpkgs/trunk/; revision=24818
2010-11-23 07:46:18 +00:00
Lluís Batlle i Rossell
8cd20e6f61
Adding valkyrie, a frontend for some valgrind 3.6 tools.
...
svn path=/nixpkgs/trunk/; revision=24815
2010-11-22 19:10:15 +00:00
Andres Löh
c2916439fe
Added multiplate.
...
svn path=/nixpkgs/trunk/; revision=24813
2010-11-22 15:19:23 +00:00
Rob Vermaas
5f0674d59d
update java-front
...
svn path=/nixpkgs/trunk/; revision=24812
2010-11-22 14:51:25 +00:00
Rob Vermaas
70408359ca
update ecj version
...
svn path=/nixpkgs/trunk/; revision=24811
2010-11-22 14:50:52 +00:00
Rob Vermaas
a2df7f46ea
v8: no abort
...
svn path=/nixpkgs/trunk/; revision=24810
2010-11-22 14:32:43 +00:00
Rob Vermaas
1c86c832c1
add google v8 engine
...
svn path=/nixpkgs/trunk/; revision=24809
2010-11-22 14:23:06 +00:00
Eelco Dolstra
1af46c1160
* Qt doesn't build on Darwin.
...
svn path=/nixpkgs/trunk/; revision=24807
2010-11-22 12:45:59 +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
e8320167d2
Updating valgrind to 3.6.0
...
svn path=/nixpkgs/trunk/; revision=24803
2010-11-22 09:03:22 +00:00
Tobias Hammerschmidt
b9a1196479
jdk5 updated to 1.5.22
...
svn path=/nixpkgs/trunk/; revision=24802
2010-11-22 08:58:00 +00:00
Michael Raskin
6a9414d938
Adding dd_rescue - this is not the same as GNU ddrescue which has not been updated for a long time
...
svn path=/nixpkgs/trunk/; revision=24801
2010-11-22 08:40:10 +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
Andres Löh
fcdc36c848
Added gtk-based plot capabilities for criterion.
...
svn path=/nixpkgs/trunk/; revision=24778
2010-11-19 19:34: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
Andres Löh
d233819021
Bumped ghc-7.0.1 from rc2 to released version.
...
svn path=/nixpkgs/trunk/; revision=24770
2010-11-19 13:05:39 +00:00