summary refs log tree commit diff
path: root/pkgs/applications
AgeCommit message (Expand)AuthorFilesLines
2010-12-17Bump kmplayer to latest release 0.11.2.cKarn Kallio1-3/+3
2010-12-17Finish removing all patches.Karn Kallio1-4/+0
2010-12-17Upstream reports bug has been fixedKarn Kallio2-143/+0
2010-12-17* Firefox 3.6.13.Eelco Dolstra1-3/+3
2010-12-15Patch Inkscape to support PDF importing.Russell O'Connor1-2/+2
2010-12-15Updating the urls where to get nvi from. The previous did not work anymore.Lluís Batlle i Rossell1-1/+5
2010-12-14Fix Opera updateMichael Raskin2-4/+9
2010-12-14Update OperaMichael Raskin1-5/+5
2010-12-14Updating fossilLluís Batlle i Rossell1-2/+2
2010-12-13Updating VeracityMichael Raskin1-4/+4
2010-12-11Adding evopedia. Contributed by Joachim Schiele.Lluís Batlle i Rossell1-0/+25
2010-12-06subversion: don't specify both --disable-keychain and --enable-keychainPeter Simons1-2/+1
2010-12-06Be more verboseYury G. Kudryashov1-1/+1
2010-12-05Adding MiniSATMichael Raskin1-0/+57
2010-12-05Adding PARI/GPMichael Raskin1-0/+50
2010-12-05Fix installation layoutMichael Raskin1-1/+7
2010-12-05Missing Singular filesMichael Raskin1-0/+55
2010-12-05Adding OpenSMTMichael Raskin1-0/+51
2010-12-05Adding CVC3 satisfiability modulo theory (SMT) solverMichael Raskin1-0/+54
2010-12-04Adding iProverMichael Raskin1-0/+58
2010-12-04Adding SPASSMichael Raskin1-0/+49
2010-12-03Adding Satallax proverMichael Raskin1-0/+72
2010-12-01Adding LEO2 automated higher-order proverMichael Raskin1-0/+62
2010-12-01Fix settings patch for IsabelleMichael Raskin1-1/+1
2010-12-01Update IsabelleMichael Raskin1-2/+2
2010-12-01update muPDFMichael Raskin1-3/+3
2010-11-30* Sync. backups/cve-2010-3856@34170Eelco Dolstra2-3/+3
2010-11-30Fixing the verilog URL (contributed by Antonio Vargas)Lluís Batlle i Rossell1-1/+1
2010-11-30Fix for the verilog package, from Antonio Vargas GonzalezLluís Batlle i Rossell1-1/+1
2010-11-29Update version of MySQL Workbench to 5.2.30Karn Kallio1-2/+2
2010-11-29* Sync with the trunk.Eelco Dolstra17-71/+122
2010-11-29* Subversion 1.6.15.Eelco Dolstra1-2/+2
2010-11-28Update gajimMichael Raskin1-2/+2
2010-11-28Virtualbox guest additions: fix runtime dep on which. Patch by Rohan Hart.Evgeny Egorochkin1-2/+12
2010-11-28openbox: packaged. Patch by rixed@happyleptic.org.Evgeny Egorochkin1-0/+18
2010-11-28kmplayer: version bumpEvgeny Egorochkin1-3/+3
2010-11-28Chromium: fix deps and clean up. Patch by Cillian de Róiste.Evgeny Egorochkin1-41/+16
2010-11-28ekiga: fix build failure. Patch by Karn Kallio.Evgeny Egorochkin1-1/+1
2010-11-27Update Xneur to 0.11.1Michael Raskin2-6/+6
2010-11-25Setting me as maintainer of qemu, and telling hydra to build it (heavy package)Lluís Batlle i Rossell1-0/+3
2010-11-25Committing patch adding verilog from Antonio Vargas GonzalezLluís Batlle i Rossell1-0/+20
2010-11-24Upgraded pidgin to version 2.7.7Sander van der Burg1-3/+3
2010-11-22subversion: enable key-chain services on Darwin to fix pysvn buildPeter Simons1-0/+1
2010-11-20Updating qemuLluís Batlle i Rossell1-4/+2
2010-11-20VirtualBox: fix i686 compilationEvgeny Egorochkin2-1/+2
2010-11-19Updating the fossil license (they changed it to BSD some months ago)Lluís Batlle i Rossell1-1/+1
2010-11-19Making hydra build fossilLluís Batlle i Rossell1-0/+2
2010-11-19Making the fossil build do the check phase.Lluís Batlle i Rossell1-2/+11
2010-11-19added eclipse 3.6.1, maven3, szipRob Vermaas1-1/+13
2010-11-19Updating fossil.Lluís Batlle i Rossell1-2/+2