| Age | Commit message (Expand) | Author |
|---|
| 2012-05-30 | Update HOL Light to rev 141 | Marco Maggesi |
| 2012-05-29 | haskell-hledger-interest: updated to version 1.4.1 | Peter Simons |
| 2012-05-29 | Whitespace. | Andres Löh |
| 2012-05-29 | Added gnumeric. | Andres Löh |
| 2012-05-29 | xmobar: enable optional wireless support | Mathijs Kwik |
| 2012-05-28 | Revert accidentaly patch of ssreflect. | Russell O'Connor |
| 2012-05-28 | Updatings ssreflect to depend on camlp5 version 6. | Russell O'Connor |
| 2012-05-28 | add support to make building coqide optional. | Russell O'Connor |
| 2012-05-26 | Updating Ardour 3 to beta 4a | Cillian de Roiste |
| 2012-05-22 | git-annex: updated to version 3.20120522 | Peter Simons |
| 2012-05-22 | ikiwiki: updated to version 3.20120516 | Peter Simons |
| 2012-05-21 | Fixed stupid syntax error in gnome-terminator's default.nix. | Rickard Nilsson |
| 2012-05-21 | gnome-terminator 0.96. | Rickard Nilsson |
| 2012-05-20 | Updating Yoshimi, no need for the fluid patch any more. | Cillian de Roiste |
| 2012-05-20 | * Audacious updated to 3.2.2. | Eelco Dolstra |
| 2012-05-18 | * svn2git-kde 1.0.5. | Eelco Dolstra |
| 2012-05-18 | Adding zgrviewer | Michael Raskin |
| 2012-05-16 | Updating coq and ssreflect to patch level 4. | Russell O'Connor |
| 2012-05-16 | * Pan 0.137. | Eelco Dolstra |
| 2012-05-15 | opera 11.64. | Rickard Nilsson |
| 2012-05-15 | spotify 0.8.3.278. | Rickard Nilsson |
| 2012-05-15 | Updated Haskell packages. | Peter Simons |
| 2012-05-12 | Updating calibre to 0.8.51 | Russell O'Connor |
| 2012-05-12 | Adding pdftohtml to the PATH for calibre. | Russell O'Connor |
| 2012-05-12 | * svn2git -> svn2git-kde to distinguish it from the other svn2git. | Eelco Dolstra |
| 2012-05-10 | virtinst installs now. still most tools don't work and virt-manager still has... | Joachim Schiele |
| 2012-05-09 | * Disable some failing builds on specific platforms. | Eelco Dolstra |
| 2012-05-09 | mplayer: enabled speex support | Mathijs Kwik |
| 2012-05-08 | Adding the Allied Technologies libdc1394 variant and the cc1394 viewer. | Lluís Batlle i Rossell |
| 2012-05-08 | Adding support in VLC for 1394 cameras. | Lluís Batlle i Rossell |
| 2012-05-06 | virtinst is still missing, but i will finish this tomorrow | Joachim Schiele |
| 2012-05-06 | nearly there, please someone check: libvirt/default.nix and see this post: ht... | Joachim Schiele |
| 2012-05-06 | virt-manager is not working yet, but as we are not using git yet, i use this ... | Joachim Schiele |
| 2012-05-06 | Apply patch from Michel Alexandre Salim advancing mysql workbench version to ... | Karn Kallio |
| 2012-05-05 | Update HOL Light to r134 | Marco Maggesi |
| 2012-05-04 | Updating calibre, and adding sourceforge as a backup url, suggested by roconnor. | Lluís Batlle i Rossell |
| 2012-05-03 | Fixing a typo, semicolon, in the coriander expression. | Lluís Batlle i Rossell |
| 2012-05-03 | Adding the license meta for two packages I added today. | Lluís Batlle i Rossell |
| 2012-05-03 | Adding coriander. I don't know how to make its gconf thing work, so it shows a | Lluís Batlle i Rossell |
| 2012-05-02 | git-annex: updated to version 3.20120430 | Peter Simons |
| 2012-05-01 | * Dropbox updated to 1.4.0. Patch by Michel Alexandre Salim | Eelco Dolstra |
| 2012-05-01 | Adding LCI lambda calculus interpreter | Michael Raskin |
| 2012-04-30 | Added i3wm. Added newer version of file. (this time tested, I screwed up a pa... | Rob Vermaas |
| 2012-04-30 | Revert my previous 2 commits. | Rob Vermaas |
| 2012-04-30 | add missing files from previous commit | Rob Vermaas |
| 2012-04-27 | * Don't build mysql-workbench on i686-linux since it just hangs | Eelco Dolstra |
| 2012-04-26 | * Firefox 12.0. | Eelco Dolstra |
| 2012-04-26 | ikiwiki: updated to version 3.20120419 | Peter Simons |
| 2012-04-25 | Updating calibre | Lluís Batlle i Rossell |
| 2012-04-24 | Updating mldonkey. Upstream picked the patch we had. | Lluís Batlle i Rossell |
