summary refs log tree commit diff
path: root/pkgs
Commit message (Expand)AuthorAge
* pkgs/applications/science/logic/prover9: initial versionPeter Simons2010-08-26
* pkgs/top-level/all-packages.nix: stripped trailing whitespacePeter Simons2010-08-26
* pkgs/top-level/all-packages.nix: don't use getPkgConfig to configure Doxygen;...Peter Simons2010-08-26
* pkgs/development/tools/documentation/doxygen: strip trailing whitespacePeter Simons2010-08-26
* pkgs/development/tools/documentation/doxygen: updated to version 1.7.1Peter Simons2010-08-26
* pkgs/development/tools/documentation/doxygen: updated meta section for HydraPeter Simons2010-08-26
* pkgs/tools/admin/tightvnc/builder.sh: drop trailing whitespacePeter Simons2010-08-26
* pkgs/tools/admin/tightvnc/default.nix: added meta section (plus various cosme...Peter Simons2010-08-26
* pkgs/tools/admin/tightvnc/builder.sh: install java classes to $out/share/tigh...Peter Simons2010-08-26
* Fix installation for updated E prover releaseMichael Raskin2010-08-26
* Move E prover to applications/science/logicMichael Raskin2010-08-25
* Update E proverMichael Raskin2010-08-25
* * OpenSSH 5.6.Eelco Dolstra2010-08-25
* pkgs/applications/science/logic/hol: initial versionPeter Simons2010-08-25
* Make TeXLive-linkdir skip not try to wrap directories in libexecMichael Raskin2010-08-25
* added libxpdf and pdf2xmlRob Vermaas2010-08-25
* Applied (with edits) the patch provided by James Cook to add theAndres Löh2010-08-25
* libuuid: Add static cross-build for GNU/Hurd.Ludovic Courtès2010-08-25
* libuuid: Make cross-buildable for GNU/Hurd (needed by GNU Parted).Ludovic Courtès2010-08-25
* Adding another nvidia legacy driver. (they have one more, '71').Lluís Batlle i Rossell2010-08-24
* Updating xmotoLluís Batlle i Rossell2010-08-24
* Adding a more-or-less working 'egoboo'. I'll update to a better expression af...Lluís Batlle i Rossell2010-08-24
* Revert "Updating kipi-plugins"Lluís Batlle i Rossell2010-08-24
* Updating kipi-pluginsLluís Batlle i Rossell2010-08-24
* Fixing the nvidia legacy driver builder. The legacy driver needs the old buil...Lluís Batlle i Rossell2010-08-24
* Updating nvidia legacy driversLluís Batlle i Rossell2010-08-24
* * Zabbix 1.8.3.Eelco Dolstra2010-08-24
* Update MidoriMichael Raskin2010-08-24
* added seperate meta-environment packages, use callpackage for aterm28 Rob Vermaas2010-08-24
* Updating gtkwaveLluís Batlle i Rossell2010-08-24
* * Gens/GS doesn't build on 64-bit systems.Eelco Dolstra2010-08-24
* * Linux 2.6.32.20, 2.6.27.52. This fixes the "scheduling whileEelco Dolstra2010-08-24
* Updating the nvidia driversLluís Batlle i Rossell2010-08-24
* pkgs/development/compilers/urweb: correct mysql search pathsPeter Simons2010-08-24
* Correct the output directory adding missing prefix "share".Peter Simons2010-08-24
* Add Nix expression for Emacs mode htmlize.Peter Simons2010-08-24
* Add Nix expression for Ur/Web.Peter Simons2010-08-24
* Patch libmhash to correct autotools config.h collision.Peter Simons2010-08-24
* Add libmhash, a cryptographic hash library.Peter Simons2010-08-24
* Add package mlton, an optimizing compiler for Standard ML.Peter Simons2010-08-24
* * Added Gens/GS, a Mega Drive emulator.Eelco Dolstra2010-08-23
* Update StumpWMMichael Raskin2010-08-23
* pkgs/development/interpreters/lua-5: overriding CFLAGS on the make command-li...Peter Simons2010-08-23
* pkgs/development/interpreters/lua-5: FreeBSD can't handle "install -D"; use "...Peter Simons2010-08-23
* GNU Gnash 0.8.8.Ludovic Courtès2010-08-23
* GtkGLExt 1.2.0.Ludovic Courtès2010-08-23
* Build GNU Nettle.Ludovic Courtès2010-08-23
* pkgs/development/interpreters/lua-5: added support for all Unix platformsPeter Simons2010-08-23
* pkgs/stdenv/generic: cosmetic changesPeter Simons2010-08-23
* pkgs/stdenv/generic: added stdenv attributes isFreeBSD, isOpenBSD, and isBSDPeter Simons2010-08-23
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-29 01:19:30 +0000