summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Fix HOL documentation buildKarn Kallio2013-11-16
* HOL: update to k.8Tom Ridge2013-11-16
* kicad: update to latest stableBjørn Forsman2013-11-15
* Set meta.hydraPlatforms instead of meta.platforms for some packagesEelco Dolstra2013-11-05
* Mark more packages as brokenEelco Dolstra2013-11-04
* mathematica: fix x86 build of mathematicaJonas Hoersch2013-11-03
* maxima: update to version 5.31.3Peter Simons2013-11-01
* 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-20 16:42:53 +0000