about summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* coq_HEAD: update to latest Git HEADJohn Wiegley2014-08-26
* Fix many package descriptionsBjørn Forsman2014-08-24
* Fix various evaluation problemsEelco Dolstra2014-08-22
* ssreflect: 1.4 -> 1.5John Wiegley2014-08-19
* coq_HEAD: 8.5pre-fff9e2f7 -> 8.5pre-8bc01590John Wiegley2014-08-16
* Add application for scientific data analysis: fitykThomas Strobel2014-08-14
* Allow optional functionality in SimGridMichael Raskin2014-08-12
* Update SimGridMichael Raskin2014-08-12
* Update and fix LEO2 proverMichael Raskin2014-08-12
* Add an expression for building Coq HEADJohn Wiegley2014-08-08
* Merge 'staging' into masterVladimír Čunát2014-08-08
|\
| * Merge remote-tracking branch 'origin/master' into staging.Peter Simons2014-08-08
| |\
| * \ Merge remote-tracking branch 'origin/master' into staging.Peter Simons2014-08-04
| |\ \
| * \ \ Merge remote-tracking branch 'origin/master' into stagingEelco Dolstra2014-07-28
| |\ \ \
| * | | | Don't use ensureDirEelco Dolstra2014-07-22
| * | | | Merge remote-tracking branch 'origin/master' into stagingEelco Dolstra2014-07-15
| |\ \ \ \
| * \ \ \ \ Merge remote-tracking branch 'origin/master' into stagingEelco Dolstra2014-07-07
| |\ \ \ \ \
| * \ \ \ \ \ Merge remote-tracking branch 'origin/master' into stagingEelco Dolstra2014-07-01
| |\ \ \ \ \ \
| * | | | | | | Another attempt to eradicate ensureDirEelco Dolstra2014-06-30
* | | | | | | | Mark a bunch of packages as broken or not supported on DarwinEelco Dolstra2014-08-08
| |_|_|_|_|_|/ |/| | | | | |
* | | | | | | haskell-sloane: update to version 1.9.1Peter Simons2014-08-07
| |_|_|_|_|/ |/| | | | |
* | | | | | Fix broken license references.Peter Simons2014-07-28
* | | | | | singular: cosmetic fix for syntax highlightingPeter Simons2014-07-28
* | | | | | Turn some license strings into lib.licenses valuesMateusz Kowalczyk2014-07-28
| |_|_|_|/ |/| | | |
* | | | | arb: Mark as brokenEelco Dolstra2014-07-22
| |_|_|/ |/| | |
* | | | Re-generate Haskell packages with cabal2nix.Peter Simons2014-07-14
| |_|/ |/| |
* | | Update boincMichael Raskin2014-07-04
* | | haskell-sloane: update to version 1.8.2Peter Simons2014-07-04
| |/ |/|
* | fetchbzr, fetchdarcs, fetchhg: use `rev` attrBenno Fünfstück2014-06-28
* | twelf: Fix the source URLJohn Wiegley2014-06-27
* | twelf: new expression; prover for PL theory and logicJohn Wiegley2014-06-26
|/
* 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-07 08:05:38 +0000