about summary refs log tree commit diff
path: root/pkgs/top-level
Commit message (Expand)AuthorAge
* Updating from trunk. I resolved simple conflicts.Lluís Batlle i Rossell2010-12-11
|\
| * * nixSqlite: bump. Also, go back to using SQLite 3.7 because 3.6 alsoEelco Dolstra2010-12-10
| * broadcom wireless driver - patch by Vladimír ČunátTobias Hammerschmidt2010-12-09
| * * Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, ca...Marco Maggesi2010-12-09
| * * Add ocaml 3.12.0Marco Maggesi2010-12-09
| * * nixSqlite: use SQLite 3.6.x. 3.7.x gives weird "malformedEelco Dolstra2010-12-07
| * Add Netlink libraryYury G. Kudryashov2010-12-06
| * 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
* | Image-ExifTool 8.41.Ludovic Courtès2010-12-09
* | Adding the nanonote openwrt 2.6.36 kernelLluís Batlle i Rossell2010-12-06
* | * Fix the GRUB 1 build on x86_64-linux. It didn't build becauseEelco Dolstra2010-12-06
* | I made changes to achieve a working cross-built gcc wrapper. Now,Lluís Batlle i Rossell2010-12-04
* | Fixing the build of dev86 (it does not like gnumake 3.82)Lluís Batlle i Rossell2010-11-30
* | Adding a stdenv version of links2, to be able to cross-build it. This can be ...Lluís Batlle i Rossell2010-11-29
* | OProfile: Add dependency on zlib.Ludovic Courtès2010-11-29
* | Adding a fbterm variant building with stdenv to get cross-build-abilityLluís Batlle i Rossell2010-11-26
* | Updating from trunk - I hope I fixed the conflict around gettext - I left it asLluís Batlle i Rossell2010-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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-02 11:48:19 +0000