Commit graph

12849 commits

Author SHA1 Message Date
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
Lluís Batlle i Rossell
cf79eb4d89 Making gdb cross-build (python apart)
svn path=/nixpkgs/branches/stdenv-updates/; revision=24965
2010-12-04 10:35:04 +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
Lluís Batlle i Rossell
9af474ca72 Fixing a problem of nscd on (only) armv5tel (soft-float).
It gets linked to libgcc_s (shared lib) unless doing the trick I thought feasible of
telling 'configure' that the linker does not support "as-needed".
I found this reading their 'configure' script.

We don't want nscd linked to libgcc because that would make glibc dependant on the
previous gcc. This only happens on armv5tel, for the supported platforms.

svn path=/nixpkgs/branches/stdenv-updates/; revision=24959
2010-12-02 22:23:15 +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
a772452fc9 * Merged the cve-2010-3856 branch, fixing two critical Glibc security
bugs.

svn path=/nixpkgs/trunk/; revision=24941
2010-11-30 16:40:39 +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
Lluís Batlle i Rossell
0196bb720e Making the addCoverageInformation stdenv adapter better in the sense that it
does not override NIX_CFLAGS_COMPILE anymore in the mkDerivation parameter
attributes. This way, apacheHttpd can be built properly with coverage
information.
An indication of this problem came from the nixos tests.subversion failure.


svn path=/nixpkgs/branches/stdenv-updates/; revision=24938
2010-11-30 14:10: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
Russell O'Connor
d07675c415 Maybe this will fix wicd.
svn path=/nixpkgs/trunk/; revision=24933
2010-11-30 04:09:51 +00:00
Lluís Batlle i Rossell
f7cfcbd1f9 Making gpm generate proper files in $out/lib, that allow good cross-linking. I
had to do this to get the FB driver in links2 - it wants gpm to build, and
without these changes, the "-lgpm" did not work.


svn path=/nixpkgs/branches/stdenv-updates/; revision=24932
2010-11-29 23:51:24 +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
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
Lluís Batlle i Rossell
fca73ee251 Making directfb with more options, so it can be cross-built without X for example.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24926
2010-11-29 18:00:26 +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
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