summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* haskell-sloane: update to version 1.8Peter Simons2014-06-13
* verifast: 14.5, x86_64 linux onlyAustin Seipp2014-06-10
* prooftree: new expression 0.12John Wiegley2014-06-08
* pulseview: new packageBjørn Forsman2014-05-31
* berlios.de probably shut down, replace itVladimír Čunát2014-05-18
* Merge pull request #2680 from ellis/libR.soAustin Seipp2014-05-17
|\
| * R: install lib/libR.so for use by other programs such as RStudioEllis Whitehead2014-05-17
* | Merge pull request #2514 from jwiegley/coqAustin Seipp2014-05-17
|\ \
| * | Make Coq buildable on any UnixJohn Wiegley2014-05-05
* | | nixpkgs: add abc version 040509Austin Seipp2014-05-17
| |/ |/|
* | 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 00:48:42 +0000