Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2010-12-17 | Bump kmplayer to latest release 0.11.2.c | Karn Kallio | 1 | -3/+3 |
2010-12-17 | Finish removing all patches. | Karn Kallio | 1 | -4/+0 |
2010-12-17 | Upstream reports bug has been fixed | Karn Kallio | 2 | -143/+0 |
2010-12-17 | * Firefox 3.6.13. | Eelco Dolstra | 1 | -3/+3 |
2010-12-15 | Patch Inkscape to support PDF importing. | Russell O'Connor | 1 | -2/+2 |
2010-12-15 | Updating the urls where to get nvi from. The previous did not work anymore. | Lluís Batlle i Rossell | 1 | -1/+5 |
2010-12-14 | Fix Opera update | Michael Raskin | 2 | -4/+9 |
2010-12-14 | Update Opera | Michael Raskin | 1 | -5/+5 |
2010-12-14 | Updating fossil | Lluís Batlle i Rossell | 1 | -2/+2 |
2010-12-13 | Updating Veracity | Michael Raskin | 1 | -4/+4 |
2010-12-11 | Adding evopedia. Contributed by Joachim Schiele. | Lluís Batlle i Rossell | 1 | -0/+25 |
2010-12-06 | subversion: don't specify both --disable-keychain and --enable-keychain | Peter Simons | 1 | -2/+1 |
2010-12-06 | Be more verbose | Yury G. Kudryashov | 1 | -1/+1 |
2010-12-05 | Adding MiniSAT | Michael Raskin | 1 | -0/+57 |
2010-12-05 | Adding PARI/GP | Michael Raskin | 1 | -0/+50 |
2010-12-05 | Fix installation layout | Michael Raskin | 1 | -1/+7 |
2010-12-05 | Missing Singular files | Michael Raskin | 1 | -0/+55 |
2010-12-05 | Adding OpenSMT | Michael Raskin | 1 | -0/+51 |
2010-12-05 | Adding CVC3 satisfiability modulo theory (SMT) solver | Michael Raskin | 1 | -0/+54 |
2010-12-04 | Adding iProver | Michael Raskin | 1 | -0/+58 |
2010-12-04 | Adding SPASS | Michael Raskin | 1 | -0/+49 |
2010-12-03 | Adding Satallax prover | Michael Raskin | 1 | -0/+72 |
2010-12-01 | Adding LEO2 automated higher-order prover | Michael Raskin | 1 | -0/+62 |
2010-12-01 | Fix settings patch for Isabelle | Michael Raskin | 1 | -1/+1 |
2010-12-01 | Update Isabelle | Michael Raskin | 1 | -2/+2 |
2010-12-01 | update muPDF | Michael Raskin | 1 | -3/+3 |
2010-11-30 | * Sync. backups/cve-2010-3856@34170 | Eelco Dolstra | 2 | -3/+3 |
2010-11-30 | Fixing the verilog URL (contributed by Antonio Vargas) | Lluís Batlle i Rossell | 1 | -1/+1 |
2010-11-30 | Fix for the verilog package, from Antonio Vargas Gonzalez | Lluís Batlle i Rossell | 1 | -1/+1 |
2010-11-29 | Update version of MySQL Workbench to 5.2.30 | Karn Kallio | 1 | -2/+2 |
2010-11-29 | * Sync with the trunk. | Eelco Dolstra | 17 | -71/+122 |
2010-11-29 | * Subversion 1.6.15. | Eelco Dolstra | 1 | -2/+2 |
2010-11-28 | Update gajim | Michael Raskin | 1 | -2/+2 |
2010-11-28 | Virtualbox guest additions: fix runtime dep on which. Patch by Rohan Hart. | Evgeny Egorochkin | 1 | -2/+12 |
2010-11-28 | openbox: packaged. Patch by rixed@happyleptic.org. | Evgeny Egorochkin | 1 | -0/+18 |
2010-11-28 | kmplayer: version bump | Evgeny Egorochkin | 1 | -3/+3 |
2010-11-28 | Chromium: fix deps and clean up. Patch by Cillian de Róiste. | Evgeny Egorochkin | 1 | -41/+16 |
2010-11-28 | ekiga: fix build failure. Patch by Karn Kallio. | Evgeny Egorochkin | 1 | -1/+1 |
2010-11-27 | Update Xneur to 0.11.1 | Michael Raskin | 2 | -6/+6 |
2010-11-25 | Setting me as maintainer of qemu, and telling hydra to build it (heavy package) | Lluís Batlle i Rossell | 1 | -0/+3 |
2010-11-25 | Committing patch adding verilog from Antonio Vargas Gonzalez | Lluís Batlle i Rossell | 1 | -0/+20 |
2010-11-24 | Upgraded pidgin to version 2.7.7 | Sander van der Burg | 1 | -3/+3 |
2010-11-22 | subversion: enable key-chain services on Darwin to fix pysvn build | Peter Simons | 1 | -0/+1 |
2010-11-20 | Updating qemu | Lluís Batlle i Rossell | 1 | -4/+2 |
2010-11-20 | VirtualBox: fix i686 compilation | Evgeny Egorochkin | 2 | -1/+2 |
2010-11-19 | Updating the fossil license (they changed it to BSD some months ago) | Lluís Batlle i Rossell | 1 | -1/+1 |
2010-11-19 | Making hydra build fossil | Lluís Batlle i Rossell | 1 | -0/+2 |
2010-11-19 | Making the fossil build do the check phase. | Lluís Batlle i Rossell | 1 | -2/+11 |
2010-11-19 | added eclipse 3.6.1, maven3, szip | Rob Vermaas | 1 | -1/+13 |
2010-11-19 | Updating fossil. | Lluís Batlle i Rossell | 1 | -2/+2 |