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 |
|
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 |
|