summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Collapse)AuthorAge
* Updating EProver to 1.8Michael Raskin2013-10-20
|
* Updating EkrhyperMichael Raskin2013-10-20
|
* wxmaxima: update to version 13.04.2Peter Simons2013-10-13
|
* maxima: update to version 5.31.2Peter Simons2013-10-13
|
* hol: fix access to dotPeter Simons2013-10-11
| | | | Committing on behalf of Karn Kallio <tierpluspluslists@skami.org>.
* hol: update to version k.8Peter Simons2013-10-10
| | | | Committing on behalf of Tom Ridge <tom.j.ridge@googlemail.com>.
* Fix a bunch of Hydra evaluation errorsEelco Dolstra2013-10-07
|
* More description fixesBjørn Forsman2013-10-06
| | | | | | | | | | | * Remove package name * Start with upper case letter * Remove trailing period Also reword some descriptions and move some long descriptions to longDescription. I'm not touching generated packages.
* Some description fixesBjørn Forsman2013-10-05
| | | | | | | | | | | | There are many more packages to fix, this is just a start. Rules: * Don't repeat the package name (not always that easy...) * Start with capital letter * Don't end with full stop * Don't start with "The ..." or "A ..." I've also added descriptions to some packages and rewritten others.
* Fix evaluation errorsEelco Dolstra2013-10-01
|
* Wrapped R's package system similarly to perlPackagesJustin Bedo2013-09-28
|
* speedcrunch: new packageAlexander Kahl2013-09-27
| | | | speedcrunch is a fast power user calculator.
* pspp: add version 0.8.1Peter Simons2013-09-26
|
* R: update to 3.0.2Peter Simons2013-09-25
|
* Added expression for PLINKJustin Bedo2013-09-19
|
* gravit: enable PNG supportPeter Simons2013-09-17
|
* gravit: this package can be built with any 5.x version of luaPeter Simons2013-09-17
|
* add mathematica version 9.0.0Jonas Hoersch2013-09-15
| | | | Wolfram Mathematica based on the makeself archive found on the Mathematica installation DVD.
* ginac: fix build on darwin (close #944)Jason \"Don\" O'Conal2013-09-08
|
* Add platforms to coq, so it's built on HydraGergely Risko2013-08-28
|
* maxima: add $out/bin to $PATH in the maxima wrapper scriptsPeter Simons2013-08-28
| | | | | This ensures that Maxima's wrapper scripts (such as rmaxima) find the correct maxima binary.
* maxima: update to version 5.30.0Peter Simons2013-08-28
|
* eagle: bump version 6.4.0 -> 6.5.0Bjørn Forsman2013-08-25
| | | | | | And name the desktop file "eagle.desktop", not "Eagle.desktop". The user facing application name is still "Eagle"; it has nothing to do with the name of the desktop file.
* unmaintain several packagesLudovic Courtès2013-08-16
|
* R: ensure that run-time dependencies can be foundPeter Simons2013-08-06
|
* pari: Updated to 2.5.4, fixed GMP and readline support.Ertugrul Söylemez2013-07-19
|
* boinc: fix urlEvgeny Egorochkin2013-07-19
|
* golly: fix version to match tarball. this time for sure :)Evgeny Egorochkin2013-07-18
|
* Update download link for ssreflect.Russell O'Connor2013-07-14
|
* gktspell: version bump to 2.0.16 because the old one has disappearedEvgeny Egorochkin2013-07-14
|
* Change more packages from direct downloads to mirror://sourceforgeEvgeny Egorochkin2013-07-14
|
* ssreflect: fix urlEvgeny Egorochkin2013-07-14
|
* golly: fix version to match tarballEvgeny Egorochkin2013-07-14
|
* fix bad "licence" namesVladimír Čunát2013-07-04
| | | | | | Mostly what I merged from @lovek323. Such errors can be easily checked by nix-env -f . -qa \* --meta --xml --drv-path --show-trace >/dev/null
* R: add various featuresPeter Simons2013-07-04
| | | | | | | * Ensure that R can link blas, liblapack, and libgfortran at run-time. * Ensure that R can run the Tcl/Tk interpreter. * Add Java support. * Install texinfo and PDF documentation.
* libpng: keep versioning in all-packages.nix, not in individual expressionsMathijs Kwik2013-06-27
|
* Adding 'weka'.Lluís Batlle i Rossell2013-06-19
|
* Merge pull request #636 from craff/glsurfEvgeny Egorochkin2013-06-18
|\ | | | | Glsurf (3D drawing of implicit surfaces and curves)
| * Drop useless dependencies in glsurfChristophe Raffalli2013-06-19
| |
| * added glsurf packageChristophe Raffalli2013-06-16
| |
* | celestia: fix compilation and linking after x-updates mergePeter Simons2013-06-18
| |
* | celestia: help the package find the gtk related librariesPeter Simons2013-06-18
| |
* | celestia: add patch to support libpng 1.6Peter Simons2013-06-18
| |
* | celestia: update hashes for the downloaded patchesPeter Simons2013-06-18
| |
* | Merge remote-tracking branch 'upstream/master' into x-updatesMichael Raskin2013-06-15
|\|
| * Update Coq to version 8.4pl2.Russell O'Connor2013-06-14
| |
* | Merge remote-tracking branch 'hydra/master' into x-updatesVladimír Čunát2013-06-08
|\| | | | | | | | | Conflicts (taken from @7c6f434c): pkgs/development/libraries/libgphoto2/default.nix
| * Add package versions to some of the packages or fix existing ones to conform ↵Evgeny Egorochkin2013-06-07
| | | | | | | | to nixpkgs conventions.
* | ReRevert Merge x-updates into masterVladimír Čunát2013-05-29
|/ | | | | | | | | This reverts commit ec3965d8d0b5594a9db11e6c9cd1c28d36e91cde. Conflicts (taken x-updates): pkgs/development/libraries/libgcrypt/default.nix pkgs/development/libraries/libgpg-error/default.nix pkgs/development/libraries/poppler/default.nix
* eagle: new packageBjørn Forsman2013-05-25
| | | | | | | | | | | | | | | | | | | | Eagle is a schematic capture and PCB layout program from CadSoft. This is proprietary software; CadSoft provide a self-extracting shell script with embedded tarball of the prebuilt application. Add the latest Eagle version, 6.4.0. I've added a small LD_PRELOAD library that redirects operations on the license file from <eagle_install_path>/bin/eagle.key to $HOME/.eagle.key. Without this Eagle will never get past the license dialog (because you cannot write to the nix store). Eagle also has issues copying its example projects to other locations; it seems that it wants to preserve the read-only permissions from the source over to the destination. Because of this it cannot complete the copy operation because it cannot write the project files into to the (read-only) project directory it just created. So wrap chmod by OR'ing in the write-by-owner bit.