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

4687 commits

Author SHA1 Message Date
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
Lluís Batlle i Rossell 1b62c9c061 I made changes to achieve a working cross-built gcc wrapper. Now, 
"gcc45.hostDrv" works in the host system, together with libc, binutils, dynamic
linker, ...


svn path=/nixpkgs/branches/stdenv-updates/; revision=24971
 2010-12-04 21:45:37 +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
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
Lluís Batlle i Rossell b5f1600e49 Fixing the build of dev86 (it does not like gnumake 3.82) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24940
 2010-11-30 14:46:07 +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
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
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
Ludovic Courtès 0d122e7c6f OProfile: Add dependency on zlib. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24925
 2010-11-29 17:42:50 +00:00
Eelco Dolstra aa01c8abd6 * Added xdelta. 
svn path=/nixpkgs/trunk/; revision=24907
 2010-11-28 16:37:48 +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 51492e5533 openbox: packaged. Patch by rixed@happyleptic.org. 
svn path=/nixpkgs/trunk/; revision=24902
 2010-11-28 10:07:49 +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 5e994b9153 ekiga: fix build failure. Patch by Karn Kallio. 
svn path=/nixpkgs/trunk/; revision=24897
 2010-11-28 09:21:36 +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 ec741fee8c Adding Allegro library 
svn path=/nixpkgs/trunk/; revision=24891
 2010-11-27 18:31:05 +00:00
Tobias Hammerschmidt 57c1632f11 added flvstreamer 
svn path=/nixpkgs/trunk/; revision=24884
 2010-11-26 20:04:07 +00:00
Lluís Batlle i Rossell e18cbe33e6 Adding a fbterm variant building with stdenv to get cross-build-ability 
(I want it in the nanonote)


svn path=/nixpkgs/branches/stdenv-updates/; revision=24880
 2010-11-26 17:56:23 +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 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 b37f799732 gettext, now properly 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24868
 2010-11-26 12:38:09 +00:00
Rob Vermaas 8d9d42f773 add gettext_0_17, gettext_0_18 aliases to gettext, preparation for stdenv merge, concerning gnu hydra build configuration 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24867
 2010-11-26 12:34:46 +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 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
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 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
Michael Raskin 31b22ed108 Merge from trunk 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24820
 2010-11-23 08:57:29 +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 1c86c832c1 add google v8 engine 
svn path=/nixpkgs/trunk/; revision=24809
 2010-11-22 14:23:06 +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 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 13a8b34a81 Fix for a syscall restart bug on linux-mips 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24791
 2010-11-21 15:26:36 +00:00
Lluís Batlle i Rossell 79c06ac912 Updating qemu 
svn path=/nixpkgs/trunk/; revision=24784
 2010-11-20 14:48:23 +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
Eelco Dolstra 165a3df7f5 * Update nixSqlite. 
svn path=/nixpkgs/trunk/; revision=24764
 2010-11-19 10:39:48 +00:00
Lluís Batlle i Rossell d7b494a2f4 Updating from trunk to get a security fix on openssl. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24759
 2010-11-18 20:00:39 +00:00
Eelco Dolstra cf8b8064ad * Added python-magic. 
svn path=/nixpkgs/trunk/; revision=24758
 2010-11-18 16:58:18 +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
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
Ludovic Courtès 44c11bdf47 Fiddle with priorities to provide a smoother upgrade path. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24726
 2010-11-17 10:43:04 +00:00
Ludovic Courtès d3c50a23f4 SuperTuxKart: Use GNU Make 3.81. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24725
 2010-11-17 10:43:00 +00:00
Rob Vermaas de68a76cf8 added netcdf-4.1.1 
svn path=/nixpkgs/trunk/; revision=24722
 2010-11-17 10:05:46 +00:00
Russell O'Connor c8b990398a Bumping default Haddock version to 2.7.2 
svn path=/nixpkgs/trunk/; revision=24717
 2010-11-17 00:21:50 +00:00
Michael Raskin 52ea4804e2 Correctly override cairo for firefox 4.0 beta 
svn path=/nixpkgs/trunk/; revision=24715
 2010-11-16 23:19:08 +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 b6c5e88b1a No longer build darcs with ghc-6.10.4. 
svn path=/nixpkgs/trunk/; revision=24711
 2010-11-16 14:21:49 +00:00
Michael Raskin 1b4fe21978 Use FPC 2.4.0 for Lazarus 
svn path=/nixpkgs/trunk/; revision=24705
 2010-11-15 21:10:18 +00:00
Andres Löh feecbd4ee3 Trying to fix priorities of various GHC/Haskell package versions. 
svn path=/nixpkgs/trunk/; revision=24701
 2010-11-15 20:28:42 +00:00
Andres Löh bc1f04c744 Updated/added a number of Haskell libraries. 
svn path=/nixpkgs/trunk/; revision=24700
 2010-11-15 20:28:21 +00:00
Lluís Batlle i Rossell b9c159416c Adding keepnote 
svn path=/nixpkgs/trunk/; revision=24695
 2010-11-15 19:44:53 +00:00
Evgeny Egorochkin b9b7665edd lshw: Packaged 
svn path=/nixpkgs/trunk/; revision=24688
 2010-11-15 09:52:57 +00:00
Evgeny Egorochkin 2e516fab70 Gemrb: replace the ugly workaround with a less ugly one. 
svn path=/nixpkgs/trunk/; revision=24684
 2010-11-14 08:57:49 +00:00
Tobias Hammerschmidt 1314fde101 wesnoth 1.8.5 (patch by Karn Kallio) 
svn path=/nixpkgs/trunk/; revision=24682
 2010-11-13 11:50:43 +00:00
Evgeny Egorochkin 5029db2160 Spring RTS: packaged along with its deps and utils: libDevIL, libtorrent-rasterbar, spring-lobby. 
svn path=/nixpkgs/trunk/; revision=24681
 2010-11-13 07:47:04 +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
Michael Raskin e870391644 Adding acpi-call 
svn path=/nixpkgs/trunk/; revision=24668
 2010-11-11 22:00:57 +00:00
Rob Vermaas 523c1de575 re-add gettext 0.17 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24663
 2010-11-11 14:42:35 +00:00
Michael Raskin eed53122c1 Remove ttmkfdir reference 
svn path=/nixpkgs/trunk/; revision=24659
 2010-11-11 12:27:39 +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
Rob Vermaas 5e70f43ead reinstate gmp 4.3.1 for i686-darwin (like in trunk) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24641
 2010-11-10 15:05:18 +00:00
Michael Raskin d19aa61253 Update Botan 
svn path=/nixpkgs/trunk/; revision=24639
 2010-11-10 14:48:42 +00:00
Ludovic Courtès 0ef4e570c8 OpenOffice.org: Build with GCC 4.4. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24636
 2010-11-10 09:30:03 +00:00
Ludovic Courtès c317c7f4bd GNU grep: Fix build on non-GNU platforms. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24627
 2010-11-09 13:12:31 +00:00
Ludovic Courtès 9e46c5b3e2 Fix libcanberra. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24625
 2010-11-09 09:14:16 +00:00
Ludovic Courtès a09b3a9d0a Fix GNU Emacs 22. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24624
 2010-11-09 09:14:12 +00:00
Ludovic Courtès 7ecc652da4 Re-add GNU Make 3.81. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24623
 2010-11-09 09:14:07 +00:00
Evgeny Egorochkin 55be5106fd Amule, Quassel: use appendToName to provide different names for common/named overrides. 
svn path=/nixpkgs/trunk/; revision=24622
 2010-11-08 23:45:58 +00:00
Marco Maggesi caf0e7209a Add CMUCL Common Lisp compiler 
svn path=/nixpkgs/trunk/; revision=24618
 2010-11-08 08:58:50 +00:00
Lluís Batlle i Rossell 6e1659b7d1 I also had forgot to enable opengl support in SDL. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24616
 2010-11-07 21:55:01 +00:00
Lluís Batlle i Rossell 7f6469fd44 Enabling x11Support in SDL. I think I had committed in error the x11Support = false at some point. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24613
 2010-11-07 21:17:23 +00:00
Michael Raskin 384eefe26b Adding andagii font 
svn path=/nixpkgs/trunk/; revision=24610
 2010-11-06 09:45:13 +00:00
Marco Maggesi 0430167083 Update Coq 
svn path=/nixpkgs/trunk/; revision=24597
 2010-11-04 11:24:27 +00:00
Michael Raskin 2db7a9dfbd Add stalonetray 
svn path=/nixpkgs/trunk/; revision=24595
 2010-11-04 08:28:24 +00:00
Eelco Dolstra a2102af6df * buildEnv: use $SHELL (i.e. bash) rather than /bin/sh. This allows 
NixOS VM tests to be built on Ubuntu, where /bin/sh is dash rather
  than bash.

svn path=/nixpkgs/trunk/; revision=24592
 2010-11-03 22:37:00 +00:00
Eelco Dolstra ce39b02f35 * Add xwininfo to the channel. 
svn path=/nixpkgs/trunk/; revision=24590
 2010-11-03 22:14:13 +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
Piotr Pietraszkiewicz f540277f97 added the sword framework 
svn path=/nixpkgs/trunk/; revision=24586
 2010-11-03 20:36:36 +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
Sander van der Burg 76e26dd7a1 - Renamed DisnixService => DisnixWebService 
- Updated to latest unstable version


svn path=/nixpkgs/trunk/; revision=24559
 2010-11-01 17:33:24 +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
Ludovic Courtès eb40c213dd Add Tokyo Cabinet, a key-value database that performs better. 
svn path=/nixpkgs/trunk/; revision=24548
 2010-10-30 21:44:29 +00:00