JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
12,630 Commits 2 Branches 0 Tags 12 GiB
e47468ce76
Commit Graph

12630 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Peter Simons
e47468ce76 pkgs/development/tools/documentation/doxygen: move --mandir and --infodir to standard locations 
svn path=/nixpkgs/trunk/; revision=25010
 2010-12-06 18:01:34 +00:00
Peter Simons
1e1610b37e pkgs/development/tools/build-managers/scons: move --mandir and --infodir to standard locations 
svn path=/nixpkgs/trunk/; revision=25009
 2010-12-06 18:01:28 +00:00
Peter Simons
d1d201f11e subversion: don't specify both --disable-keychain and --enable-keychain 
svn path=/nixpkgs/trunk/; revision=25008
 2010-12-06 18:01:22 +00:00
Eelco Dolstra
528a471aa8 * apr-util updated to 1.3.10. 
svn path=/nixpkgs/trunk/; revision=25000
 2010-12-06 13:34:00 +00:00
Yury G. Kudryashov
292db979cb Be more verbose 
svn path=/nixpkgs/trunk/; revision=24997
 2010-12-06 12:04:42 +00:00
Yury G. Kudryashov
c87a2ea713 Add Netlink library 
svn path=/nixpkgs/trunk/; revision=24996
 2010-12-06 12:04:36 +00:00
Yury G. Kudryashov
f3d4030979 Remove unused items from manifest.nix 
svn path=/nixpkgs/trunk/; revision=24995
 2010-12-06 12:04:31 +00:00
Yury G. Kudryashov
dc44c0eeeb kde-l10n-4.5.3 
svn path=/nixpkgs/trunk/; revision=24994
 2010-12-06 12:04:27 +00:00
Yury G. Kudryashov
9d8000c968 Fix l10n manifest generation script 
svn path=/nixpkgs/trunk/; revision=24993
 2010-12-06 12:04:21 +00:00
Yury G. Kudryashov
1f558f78df There will be no kdepim-4.5.x 
svn path=/nixpkgs/trunk/; revision=24992
 2010-12-06 12:04:16 +00:00
Yury G. Kudryashov
eeda98a673 Remove qt-4.5 
svn path=/nixpkgs/trunk/; revision=24991
 2010-12-06 12:04:09 +00:00
Rob Vermaas
f26b267858 fix debian lenny hashes 
svn path=/nixpkgs/trunk/; revision=24986
 2010-12-06 08:03:11 +00:00
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
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
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
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
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