summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Merge pull request #7991 from vbgl/gappaMateusz Kowalczyk2015-05-26
|\
| * Adds gappa 1.2.0Vincent Laporte2015-05-25
* | Remove arb and then-orphaned lesstif93Tobias Geerinckx-Rice2015-05-26
|/
* tetgen 1.4.3 -> 1.5.0Tobias Geerinckx-Rice2015-05-25
* qfsm: update to version 0.54.0Peter Simons2015-05-23
* lean: fixed buildPascal Wittmann2015-05-16
* Fixed several "package has no version" warningsPascal Wittmann2015-05-14
* maxima: update to version 5.36.1Peter Simons2015-05-13
* wxmaxima: update to 15.04.0Peter Simons2015-05-13
* z3 optAistis Raulinaitis2015-05-10
* Merge remote-tracking branch 'upstream/master' into stagingWilliam A. Kennington III2015-05-07
|\
| * Drop obsolete pre-NG Haskell builds.Peter Simons2015-05-05
* | Merge remote-tracking branch 'upstream/master' into stagingWilliam A. Kennington III2015-05-01
|\|
| * meta.description fixupsJoachim Fasting2015-04-30
* | Merge remote-tracking branch 'upstream/master' into stagingThomas Tuegel2015-04-29
|\|
| * Fixed some descriptionsPascal Wittmann2015-04-28
| * coq_8_5: New expressionJohn Wiegley2015-04-26
* | Make tcl and tk versions genericWilliam A. Kennington III2015-04-26
* | Merge 'master' into stagingVladimír Čunát2015-04-26
|\|
| * R: update to 3.2.0Peter Simons2015-04-17
| * Added K Framework package.Remy Goldschmidt2015-04-17
| * coq: update from 8.4pl5 to 8.4pl6Vincent Laporte2015-04-15
* | Merge branch 'master' into stagingThomas Tuegel2015-04-10
|\|
| * update Mathematica to 10.0.2Aristid Breitkreuz2015-04-09
* | Merge branch master into stagingEric Seidel2015-04-06
|\|
| * nixpkgs: abc-verifier 20140509 -> 20150406Austin Seipp2015-04-06
| * Merge pull request #7103 from gebner/veritlethalman2015-03-31
| |\
| | * Add veriT.Gabriel Ebner2015-03-31
| * | twelf: fix by actually including the Twelf SML heap image in the package and ...Ben Darwin2015-03-31
| |/
* | Merge branch 'master' into stagingWilliam A. Kennington III2015-03-29
|\|
| * nixpkgs: add lean-20150328, a theorem prover.Austin Seipp2015-03-28
| * nixpkgs: z3 is now MIT licensed.Austin Seipp2015-03-28
* | Merge branch 'master' into stagingWilliam A. Kennington III2015-03-26
|\|
| * z3: copy all headers into nix storeEric Seidel2015-03-26
| * Merge pull request #6961 from bcdarwin/abellaWilliam A. Kennington III2015-03-25
| |\
| | * new package: abella 2.0.2Ben Darwin2015-03-24
| * | pcalc: 20120812 -> 20141224Siarhei Zirukin2015-03-24
| |/
* / qt5: make qt-5.4.1 defaultThomas Tuegel2015-03-24
|/
* R: update to version 3.1.3Peter Simons2015-03-09
* Update pariMichael Raskin2015-03-09
* Updating gtkwave to 3.3.64Lluís Batlle i Rossell2015-02-26
* Merge pull request #6338 from DamienCassou/plm-2.5Damien Cassou2015-02-20
|\
| * New package PLM: Programmer's Learning MachineDamien Cassou2015-02-13
* | Merge remote-tracking branch 'origin/staging'Shea Levy2015-02-17
|\ \
| * \ Merge remote-tracking branch 'master' into staging.Peter Simons2015-02-13
| |\ \
| * | | kill libiconvOr*Eric Seidel2015-02-07
* | | | Update HOL Light to r218Marco2015-02-17
| |/ / |/| |
* | | Updating weka to 3.6.12.Lluís Batlle i Rossell2015-02-13
|/ /
* | Merge commit 'cfb29ab882323d379aba20a95020c7c24f883eae'Shea Levy2015-02-02
|\ \ | |/ |/|
| * rename <gcc-frontend>.gcc to <gcc-frontend>.ccEric Seidel2015-01-14
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-30 05:32:10 +0000