summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)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
* hol: update to version k.8Peter Simons2013-10-10
* Fix a bunch of Hydra evaluation errorsEelco Dolstra2013-10-07
* More description fixesBjørn Forsman2013-10-06
* Some description fixesBjørn Forsman2013-10-05
* Fix evaluation errorsEelco Dolstra2013-10-01
* Wrapped R's package system similarly to perlPackagesJustin Bedo2013-09-28
* speedcrunch: new packageAlexander Kahl2013-09-27
* 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
* 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
* maxima: update to version 5.30.0Peter Simons2013-08-28
* eagle: bump version 6.4.0 -> 6.5.0Bjørn Forsman2013-08-25
* 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
* R: add various featuresPeter Simons2013-07-04
* 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
|\
| * 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
|\|
| * Add package versions to some of the packages or fix existing ones to conform ...Evgeny Egorochkin2013-06-07
* | ReRevert Merge x-updates into masterVladimír Čunát2013-05-29
|/
* eagle: new packageBjørn Forsman2013-05-25
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-08 15:17:55 +0000