summary refs log tree commit diff
path: root/pkgs/top-level
Commit message (Expand)AuthorAge
* Remove qt-4.5Yury G. Kudryashov2010-12-06
* Adding MiniSATMichael Raskin2010-12-05
* Adding PARI/GPMichael Raskin2010-12-05
* Adding Singular CASMichael Raskin2010-12-05
* Adding OpenSMTMichael Raskin2010-12-05
* Adding CVC3 satisfiability modulo theory (SMT) solverMichael Raskin2010-12-05
* Use requireFile for the form-hidden download of JDK 5 (or 1.5, who cares)Michael Raskin2010-12-05
* Adding iProverMichael Raskin2010-12-04
* Adding SPASSMichael Raskin2010-12-04
* Adding Satallax proverMichael Raskin2010-12-03
* add Crypt::RandPasswd perl packageRob Vermaas2010-12-03
* Adding LEO2 automated higher-order proverMichael Raskin2010-12-01
* Adding crrcsim model airplane flight simulatorMichael Raskin2010-11-29
* Adding GL-117Michael Raskin2010-11-29
* pkgs/shells/ipython: added initial version of ipython 0.10.1Peter Simons2010-11-29
* * Added xdelta.Eelco Dolstra2010-11-28
* Add stardustMichael Raskin2010-11-28
* added tmuxTobias Hammerschmidt2010-11-28
* openbox: packaged. Patch by rixed@happyleptic.org.Evgeny Egorochkin2010-11-28
* encfs: packaged. Patch by Ambrus Kaposi.Evgeny Egorochkin2010-11-28
* system-config-printer: fix runtime errors. Patch by Karn Kallio.Evgeny Egorochkin2010-11-28
* ekiga: fix build failure. Patch by Karn Kallio.Evgeny Egorochkin2010-11-28
* Add Nix expression for Perl module SQL::Translator ( also knownKarn Kallio2010-11-27
* Add CGUI libraryMichael Raskin2010-11-27
* Adding atanksMichael Raskin2010-11-27
* Adding Allegro libraryMichael Raskin2010-11-27
* added flvstreamerTobias Hammerschmidt2010-11-26
* Adding php 5.2 (5.3 does not build on arm), although not the default in the a...Lluís Batlle i Rossell2010-11-26
* gettext, now properlyRob Vermaas2010-11-26
* add gettext_0_17 alias to gettext, preparation for stdenv merge, concerning g...Rob Vermaas2010-11-26
* Committing patch adding verilog from Antonio Vargas GonzalezLluís Batlle i Rossell2010-11-25
* Pass parameters with correct arch to DFMichael Raskin2010-11-24
* Dwarf fortress asserts the need for i686-linux; give it to it even on amd64Michael Raskin2010-11-24
* Adding Anonymous Pro fontMichael Raskin2010-11-24
* Add inconsolata fontMichael Raskin2010-11-24
* Adding untie - a tool for manipulating namespacesMichael Raskin2010-11-23
* Adding IOtopMichael Raskin2010-11-23
* Adding valkyrie, a frontend for some valgrind 3.6 tools.Lluís Batlle i Rossell2010-11-22
* Added multiplate.Andres Löh2010-11-22
* add google v8 engineRob Vermaas2010-11-22
* Adding dd_rescue - this is not the same as GNU ddrescue which has not been up...Michael Raskin2010-11-22
* Updating qemuLluís Batlle i Rossell2010-11-20
* Added gtk-based plot capabilities for criterion.Andres Löh2010-11-19
* added eclipse 3.6.1, maven3, szipRob Vermaas2010-11-19
* * Update nixSqlite.Eelco Dolstra2010-11-19
* * Added python-magic.Eelco Dolstra2010-11-18
* Added the Haskell criterion package.Andres Löh2010-11-17
* cmus: packaged. Patch by Paul van der Walt <nix@denknerd.nl>.Evgeny Egorochkin2010-11-17
* This patch adds the cmus console music player.Peter Simons2010-11-17
* Version bump for leksah (plus dependencies). Now works with ghc-6.12.3.Andres Löh2010-11-17
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-05 09:20:49 +0000