summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* megam: New packageEric Kow2014-04-15
* R: update to version 3.1.0Peter Simons2014-04-11
* boolector: add version 1.5 and 1.6Austin Seipp2014-04-07
* maxima: update to version 5.33.0Peter Simons2014-04-03
* Merge branch 'z3' of git://github.com/thoughtpolice/nixpkgsShea Levy2014-03-28
|\
| * z3: version 4.3.1Austin Seipp2014-03-21
* | Add sloane -- a command line interface to OEIS.Anders Claesson2014-03-18
* | Merge branch 'coq' of git://github.com/thoughtpolice/nixpkgsShea Levy2014-03-15
|\ \
| * | coq: add myself to maintainer list.Austin Seipp2014-03-07
| * | coq: 8.4pl2 -> 8.4pl3Austin Seipp2014-03-07
| |/
* / Update EKRHyperMichael Raskin2014-03-08
|/
* R: update to version 3.0.3Peter Simons2014-03-07
* root: update from 5.34.14 to 5.34.15Peter Simons2014-03-03
* celestia: fix install locationMathijs Kwik2014-02-17
* kicad: disable parallel building, as it often failsVladimír Čunát2014-02-06
* pspp: update from 0.8.1 to 0.8.2Peter Simons2014-01-25
* STP: Simple Theorem Prover (a SMT solver for bitvectors & arrays).Petr Rockai2014-01-25
* Merge master into stdenv-updatesVladimír Čunát2014-01-20
|\
| * root: enable parallel buildingPeter Simons2014-01-20
| * root: clean up meta section and move build into 'science/misc' sectionPeter Simons2014-01-20
| * fricas: clean up meta sectionPeter Simons2014-01-20
| * Add CERN's 'root' Application Framework.Roger Mason2014-01-20
| * Add fricas, a computer algebra systemRoger Mason2014-01-20
* | Merge master into stdenv-updatesVladimír Čunát2014-01-18
|\|
| * Update HOL Light to revision 179Marco Maggesi2014-01-14
| * maxima: update to version 5.32.1Peter Simons2014-01-13
* | celestia: fix build (inspired by Arch)Vladimír Čunát2014-01-05
|/
* Whitespace fixes in package expressions I maintainBjørn Forsman2014-01-02
* ngspice: update from 24 to 25Nixpkgs Monitor2013-12-23
* pari: update from 2.5.4 to 2.5.5Nixpkgs Monitor2013-12-21
* jags: update from 2.2.0 to 3.4.0Nixpkgs Monitor2013-12-18
* gtkwave: update from 3.3.39 to 3.3.53Nixpkgs Monitor2013-12-18
* gromacsDouble: update from 4.5.5 to 4.6.5Nixpkgs Monitor2013-12-18
* cvc3: update from 2.2 to 2.4.1Nixpkgs Monitor2013-12-18
* avogadro: build documentationEvgeny Egorochkin2013-12-18
* avogadro: update from 1.0.3 to 1.1.1Nixpkgs Monitor2013-12-18
* archimedes: update from 2.0.0 to 2.0.1Nixpkgs Monitor2013-12-15
* add meta.repositories.git to several packagesEvgeny Egorochkin2013-12-10
* stellarium: update to version 0.12.4Peter Simons2013-12-09
* verilog: update from 0.9.3 to 0.9.7Nixpkgs Monitor2013-12-09
* xplanet: fix build against giflib 5.*Evgeny Egorochkin2013-12-07
* xplanet: update from 1.2.2 to 1.3.0Nixpkgs Monitor2013-12-07
* Updating EKRHuperMichael Raskin2013-11-25
* spyder: update 2.1.13.1 -> 2.2.5Bjørn Forsman2013-11-22
* 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-19 09:42:53 +0000