summary refs log tree commit diff
Commit message (Collapse)AuthorAge
* Add Netlink libraryYury G. Kudryashov2010-12-06
| | | | svn path=/nixpkgs/trunk/; revision=24996
* Remove unused items from manifest.nixYury G. Kudryashov2010-12-06
| | | | svn path=/nixpkgs/trunk/; revision=24995
* kde-l10n-4.5.3Yury G. Kudryashov2010-12-06
| | | | svn path=/nixpkgs/trunk/; revision=24994
* Fix l10n manifest generation scriptYury G. Kudryashov2010-12-06
| | | | svn path=/nixpkgs/trunk/; revision=24993
* There will be no kdepim-4.5.xYury G. Kudryashov2010-12-06
| | | | svn path=/nixpkgs/trunk/; revision=24992
* Remove qt-4.5Yury G. Kudryashov2010-12-06
| | | | svn path=/nixpkgs/trunk/; revision=24991
* fix debian lenny hashesRob Vermaas2010-12-06
| | | | svn path=/nixpkgs/trunk/; revision=24986
* Adding MiniSATMichael Raskin2010-12-05
| | | | svn path=/nixpkgs/trunk/; revision=24984
* Adding PARI/GPMichael Raskin2010-12-05
| | | | svn path=/nixpkgs/trunk/; revision=24983
* Fix installation layoutMichael Raskin2010-12-05
| | | | svn path=/nixpkgs/trunk/; revision=24982
* Missing Singular filesMichael Raskin2010-12-05
| | | | svn path=/nixpkgs/trunk/; revision=24981
* Adding Singular CASMichael Raskin2010-12-05
| | | | svn path=/nixpkgs/trunk/; revision=24980
* Adding OpenSMTMichael Raskin2010-12-05
| | | | svn path=/nixpkgs/trunk/; revision=24978
* Adding CVC3 satisfiability modulo theory (SMT) solverMichael Raskin2010-12-05
| | | | svn path=/nixpkgs/trunk/; revision=24975
* Use requireFile for the form-hidden download of JDK 5 (or 1.5, who cares)Michael Raskin2010-12-05
| | | | svn path=/nixpkgs/trunk/; revision=24972
* Adding iProverMichael Raskin2010-12-04
| | | | svn path=/nixpkgs/trunk/; revision=24969
* Add a note about chroot buildsMichael Raskin2010-12-04
| | | | svn path=/nixpkgs/trunk/; revision=24968
* Adding SPASSMichael Raskin2010-12-04
| | | | svn path=/nixpkgs/trunk/; revision=24967
* Update SWI PrologMichael Raskin2010-12-04
| | | | svn path=/nixpkgs/trunk/; revision=24966
* Adding Satallax proverMichael Raskin2010-12-03
| | | | svn path=/nixpkgs/trunk/; revision=24963
* add Crypt::RandPasswd perl packageRob Vermaas2010-12-03
| | | | svn path=/nixpkgs/trunk/; revision=24962
* Adding LEO2 automated higher-order proverMichael Raskin2010-12-01
| | | | svn path=/nixpkgs/trunk/; revision=24952
* Fix settings patch for IsabelleMichael Raskin2010-12-01
| | | | svn path=/nixpkgs/trunk/; revision=24951
* Update IsabelleMichael Raskin2010-12-01
| | | | svn path=/nixpkgs/trunk/; revision=24950
* Tests fail for a reason that tells more about tests than sabout built binaryMichael Raskin2010-12-01
| | | | svn path=/nixpkgs/trunk/; revision=24949
* * Updated sysstat to the latest stable version.Eelco Dolstra2010-12-01
| | | | svn path=/nixpkgs/trunk/; revision=24946
* update muPDFMichael Raskin2010-12-01
| | | | svn path=/nixpkgs/trunk/; revision=24945
* tor:version bumpEvgeny Egorochkin2010-12-01
| | | | svn path=/nixpkgs/trunk/; revision=24944
* * nixUnstable updated, now with garbage collector.Eelco Dolstra2010-11-30
| | | | svn path=/nixpkgs/trunk/; revision=24943
* * Merged the cve-2010-3856 branch, fixing two critical Glibc securityEelco Dolstra2010-11-30
|\ | | | | | | | | | | bugs. svn path=/nixpkgs/trunk/; revision=24941
| * * Sync.Eelco Dolstra2010-11-30
| |\ | |/ |/| | | svn path=/nixpkgs/branches/cve-2010-3856/; revision=24936
* | Fixing the verilog URL (contributed by Antonio Vargas)Lluís Batlle i Rossell2010-11-30
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24935
* | Fix for the verilog package, from Antonio Vargas GonzalezLluís Batlle i Rossell2010-11-30
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24934
* | Maybe this will fix wicd.Russell O'Connor2010-11-30
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24933
* | Adding crrcsim model airplane flight simulatorMichael Raskin2010-11-29
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24931
* | Adding GL-117Michael Raskin2010-11-29
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24930
* | Update wicd to 1.7.0Russell O'Connor2010-11-29
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24929
* | pkgs/shells/ipython: added initial version of ipython 0.10.1Peter Simons2010-11-29
| | | | | | | | | | | | Committing on behalf of Cillian de Róiste <cillian.deroiste@gmail.com>. svn path=/nixpkgs/trunk/; revision=24928
* | Update version of MySQL Workbench to 5.2.30Karn Kallio2010-11-29
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24924
| * * Sync with the trunk.Eelco Dolstra2010-11-29
| |\ | |/ |/| | | svn path=/nixpkgs/branches/cve-2010-3856/; revision=24921
* | * tcpdump 4.1.1.Eelco Dolstra2010-11-29
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24919
* | pkgs/development/interpreters/r-lang: cosmetic improvements to package ↵Peter Simons2010-11-29
| | | | | | | | | | | | description, etc. svn path=/nixpkgs/trunk/; revision=24914
* | pkgs/development/interpreters/r-lang: updated to version 2.12.0Peter Simons2010-11-29
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24913
* | * Subversion 1.6.15.Eelco Dolstra2010-11-29
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24912
* | * Linux 2.6.32.26.Eelco Dolstra2010-11-29
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24911
* | * Added xdelta.Eelco Dolstra2010-11-28
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24907
* | Update gajimMichael Raskin2010-11-28
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24906
* | Add stardustMichael Raskin2010-11-28
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24905
* | added tmuxTobias Hammerschmidt2010-11-28
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24904
* | Virtualbox guest additions: fix runtime dep on which. Patch by Rohan Hart.Evgeny Egorochkin2010-11-28
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24903
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-27 07:47:37 +0000