philipp/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Activity
%!d() commits 3 branches 0 tags 1.4 GiB
Commit graph

12435 commits

Author SHA1 Message Date
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
Lluís Batlle i Rossell 5062aa0be0 Updating fossil. 
svn path=/nixpkgs/trunk/; revision=24769
 2010-11-19 13:03:35 +00:00
Eelco Dolstra 165a3df7f5 * Update nixSqlite. 
svn path=/nixpkgs/trunk/; revision=24764
 2010-11-19 10:39:48 +00:00
Russell O'Connor 63321806b4 Updating pygobject to latest version 
svn path=/nixpkgs/trunk/; revision=24763
 2010-11-19 04:09:22 +00:00
Eelco Dolstra cf8b8064ad * Added python-magic. 
svn path=/nixpkgs/trunk/; revision=24758
 2010-11-18 16:58:18 +00:00
Sander van der Burg 239c243b0e Updated vice to version 2.2 
svn path=/nixpkgs/trunk/; revision=24756
 2010-11-18 13:59:25 +00:00
Eelco Dolstra 9d0330014e * Patches for two critical Glibc vulnerabilities: CVE-2010-3847 
($ORIGIN not ignored for setuid programs) and CVE-2010-3856
  (arbitrary DSO loading via LD_AUDIT).

svn path=/nixpkgs/branches/cve-2010-3856/; revision=24755
 2010-11-18 10:49:55 +00:00
Michael Raskin d1f4ec332b Quick-and-dirty insertion of missing include - we would fail on a platform without stat.h anyway 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24753
 2010-11-18 10:16:54 +00:00
Michael Raskin a238d43cff Skip tests - network ones fail 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24752
 2010-11-18 10:16:16 +00:00
Evgeny Egorochkin f9e49da793 openSSL: bump due to security issues 
svn path=/nixpkgs/trunk/; revision=24751
 2010-11-17 22:17:36 +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
Michael Raskin 2254567b31 Update farsight2 and enable python bindings 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24744
 2010-11-17 16:27:48 +00:00
Andres Löh 7ad36d1940 Agda version bump to 2.2.8 
svn path=/nixpkgs/trunk/; revision=24743
 2010-11-17 16:00:33 +00:00
Andres Löh fa79bbbc9a Added the Haskell criterion package. 
svn path=/nixpkgs/trunk/; revision=24741
 2010-11-17 15:38:16 +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 0cfdfadc73 Add gst-python 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24733
 2010-11-17 13:11:41 +00:00
Michael Raskin c308846055 Ignore the utime issue - tell tar we do not care about times in the first place 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24729
 2010-11-17 12:45:14 +00:00