summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Bump coq version to 8.4pl4.Russell O'Connor2014-05-12
* tkgate: rewrite expressions to get along without the broken 'libiconvOrLibc' ...Peter Simons2014-05-07
* R: don't restrict meta.platforms to Linux; other architectures should build finePeter Simons2014-05-04
* R: don't install the "recommended packages"Peter Simons2014-05-04
* Update TPTP and make URL set robust to moving old versions to archiveMichael Raskin2014-05-03
* z3/verifast: update licenseAustin Seipp2014-05-01
* haskell-sloane: update to version 1.7.1Peter Simons2014-05-01
* nixpkgs: add alt-ergo 0.95.2Austin Seipp2014-05-01
* nixpkgs: add why3 0.83Austin Seipp2014-05-01
* nixpkgs: add ltl2ba 1.1Austin Seipp2014-05-01
* Fix evaluation errorEelco Dolstra2014-04-29
* haskell-sloane: update to version 1.7Peter Simons2014-04-29
* Merge pull request #2353 from jwiegley/sagePeter Simons2014-04-28
|\
| * Add expression for sageJohn Wiegley2014-04-22
* | nixpkgs: verifast 13.11.14Austin Seipp2014-04-28
* | hol_light: fix script, upgrade to r189Austin Seipp2014-04-27
* | nixpkgs: yices 2.2.1Austin Seipp2014-04-27
* | qfsm: update meta.platforms settings for the new logicPeter Simons2014-04-26
* | tkgate: update meta.platforms settings for the new logicPeter Simons2014-04-26
* | qfsm: mark 'broken' because of build errorsPeter Simons2014-04-25
* | tkgate-2.x: mark 'broken' because the application segfaults after startupPeter Simons2014-04-25
|/
* 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-07 02:26:34 +0000