about summary refs log tree commit diff
path: root/pkgs/applications
Commit message (Expand)AuthorAge
* Updating from trunk. I resolved simple conflicts.Lluís Batlle i Rossell2010-12-11
|\
| * subversion: don't specify both --disable-keychain and --enable-keychainPeter Simons2010-12-06
| * Be more verboseYury G. Kudryashov2010-12-06
| * 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
* | | Adding a stdenv version of links2, to be able to cross-build it. This can be ...Lluís Batlle i Rossell2010-11-29
* | | Adding the 'gzip' dependency to lynx (important cross-building).Lluís Batlle i Rossell2010-11-26
* | | Updating from trunk - I hope I fixed the conflict around gettext - I left it asLluís Batlle i Rossell2010-11-26
|\ \ \ | | |/ | |/|
| * | 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
* | | Making fossil crossbuilt (I think I meant that in a previous commiit, but ILluís Batlle i Rossell2010-11-26
* | | Merge from trunkMichael Raskin2010-11-23
|\| |
| * | subversion: enable key-chain services on Darwin to fix pysvn buildPeter Simons2010-11-22
* | | Use a patch to fix make 3.82 build of CoqMichael Raskin2010-11-23
* | | Merging from trunkMichael Raskin2010-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
| |/
* | Update mupdfMichael Raskin2010-11-20
* | Update WiresharkMichael Raskin2010-11-20
* | Fix DrGeo buildMichael Raskin2010-11-19
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-02 13:07:54 +0000