alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
12858 commits 217 branches 121 tags 4.5 GiB
Commit graph

12858 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
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
Lluís Batlle i Rossell cd9d91306c Fixing the dependency of cscope on 'emacs'. 
On the other hand, cross-building emacs fails even to evaluate. I did not investigate.


svn path=/nixpkgs/branches/stdenv-updates/; revision=24970
 2010-12-04 21:43: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
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