jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
12,861 Commits 266 Branches 122 Tags 5.3 GiB
3e71355377
Commit Graph

12861 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
backups/cve-2010-3856@34170 		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