summary refs log tree commit diff
path: root/pkgs/applications
Commit message (Expand)AuthorAge
* Adding MiniSATMichael Raskin2010-12-05
* Adding PARI/GPMichael Raskin2010-12-05
* Fix installation layoutMichael Raskin2010-12-05
* Missing Singular filesMichael Raskin2010-12-05
* Adding OpenSMTMichael Raskin2010-12-05
* Adding CVC3 satisfiability modulo theory (SMT) solverMichael Raskin2010-12-05
* Adding iProverMichael Raskin2010-12-04
* Adding SPASSMichael Raskin2010-12-04
* Adding Satallax proverMichael Raskin2010-12-03
* Adding LEO2 automated higher-order proverMichael Raskin2010-12-01
* Fix settings patch for IsabelleMichael Raskin2010-12-01
* Update IsabelleMichael Raskin2010-12-01
* update muPDFMichael Raskin2010-12-01
* * Sync.Eelco Dolstra2010-11-30
|\
| * Fixing the verilog URL (contributed by Antonio Vargas)Lluís Batlle i Rossell2010-11-30
| * Fix for the verilog package, from Antonio Vargas GonzalezLluís Batlle i Rossell2010-11-30
| * Update version of MySQL Workbench to 5.2.30Karn Kallio2010-11-29
* | * Sync with the trunk.Eelco Dolstra2010-11-29
|\|
| * * Subversion 1.6.15.Eelco Dolstra2010-11-29
| * Update gajimMichael Raskin2010-11-28
| * Virtualbox guest additions: fix runtime dep on which. Patch by Rohan Hart.Evgeny Egorochkin2010-11-28
| * openbox: packaged. Patch by rixed@happyleptic.org.Evgeny Egorochkin2010-11-28
| * kmplayer: version bumpEvgeny Egorochkin2010-11-28
| * Chromium: fix deps and clean up. Patch by Cillian de Róiste.Evgeny Egorochkin2010-11-28
| * ekiga: fix build failure. Patch by Karn Kallio.Evgeny Egorochkin2010-11-28
| * Update Xneur to 0.11.1Michael Raskin2010-11-27
| * Setting me as maintainer of qemu, and telling hydra to build it (heavy package)Lluís Batlle i Rossell2010-11-25
| * Committing patch adding verilog from Antonio Vargas GonzalezLluís Batlle i Rossell2010-11-25
| * Upgraded pidgin to version 2.7.7Sander van der Burg2010-11-24
| * subversion: enable key-chain services on Darwin to fix pysvn buildPeter Simons2010-11-22
| * Updating qemuLluís Batlle i Rossell2010-11-20
| * VirtualBox: fix i686 compilationEvgeny Egorochkin2010-11-20
| * Updating the fossil license (they changed it to BSD some months ago)Lluís Batlle i Rossell2010-11-19
| * Making hydra build fossilLluís Batlle i Rossell2010-11-19
| * Making the fossil build do the check phase.Lluís Batlle i Rossell2010-11-19
| * added eclipse 3.6.1, maven3, szipRob Vermaas2010-11-19
| * Updating fossil.Lluís Batlle i Rossell2010-11-19
|/
* cmus: packaged. Patch by Paul van der Walt <nix@denknerd.nl>.Evgeny Egorochkin2010-11-17
* This patch adds the cmus console music player.Peter Simons2010-11-17
* Version bump for leksah (plus dependencies). Now works with ghc-6.12.3.Andres Löh2010-11-17
* Mike Firefox 4.0 beta 7 buildMichael Raskin2010-11-17
* Work around -lpthread dependenciesMichael Raskin2010-11-17
* Update Cairo, Pixman; update FF4beta - still broken, cannot pass fresh cairo ...Michael Raskin2010-11-16
* darcs version-bumped to 2.5Andres Löh2010-11-16
* * Latest Firefox, Thunderbird.Eelco Dolstra2010-11-16
* Adding keepnoteLluís Batlle i Rossell2010-11-15
* Updating the putty hash of the svn rev. Somehow it gives now a different hash...Lluís Batlle i Rossell2010-11-15
* Add new dependenciesMichael Raskin2010-11-15
* Update VeracityMichael Raskin2010-11-15
* Update XScreenSaverMichael Raskin2010-11-14
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-05 06:36:06 +0000