summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Merge pull request #8908 from devhell/boinclethalman2015-07-30
|\
| * boinc: 7.4.14 -> 7.4.42devhell2015-07-28
* | Merge pull request #8964 from vbgl/ecmArseniy Seroka2015-07-26
|\ \
| * | ecm: 6.2.3 -> 6.4.4Vincent Laporte2015-07-23
* | | openmodelica: Fix runtime PATHs using wrapProgram, fixes #8949Sergey Mironov2015-07-23
* | | openmodelica: add expressionSergey Mironov2015-07-23
* | | lp_solve: add the expressionSergey Mironov2015-07-23
|/ /
* | kicad: fix download urls (ZHF)Luca Bruno2015-07-22
* | nixpkgs: verilator 3.872 -> 3.874Austin Seipp2015-07-20
|/
* Updating gtkwave 3.3.64 to 3.3.66Lluís Batlle i Rossell2015-07-17
* stellarium: build with qt5Full to fix run-time crashesPeter Simons2015-07-14
* stellarium: update to version 0.13.3Peter Simons2015-07-12
* caffe: init at rev 77d66dfcWilliam Casarin2015-07-08
* E prover: switch to the new locationMichael Raskin2015-07-05
* pari: update 2.7.3 -> 2.7.4Michael Raskin2015-07-05
* Merge pull request #8296 from vbgl/ocamlp4vbgl2015-06-25
|\
| * coq-8.3: fix (needs make 3)Vincent Laporte2015-06-25
| * acgtk: fix build with OCaml 4.02Vincent Laporte2015-06-25
| * fix glsurfVincent Laporte2015-06-25
* | E prover: do not build the manualVincent Laporte2015-06-25
|/
* fityk: update 1.2.9 to 1.3.0Pascal Wittmann2015-06-24
* hol: k.8 -> k.10, closes #8477laMudri2015-06-24
* eagle 6.5.0 -> 6.6.0Tobias Geerinckx-Rice2015-06-22
* Isabelle: fix download URLVincent Laporte2015-06-21
* nixpkgs: saw-tools 0.1-20150609Austin Seipp2015-06-18
* R: update to 3.2.1Michel Kuhlmann2015-06-18
* nixpkgs: picosat 936 -> 960, add myself as a maintainerAustin Seipp2015-06-14
* cvc4: regenerate ./configure on rebuildAustin Seipp2015-06-14
* nixpkgs: yices 2.2.1 -> 2.3.1, now with sourceAustin Seipp2015-06-14
* nixpkgs: abc-verifier 20150406 -> 20150614Austin Seipp2015-06-14
* nixpkgs/cvc4: touchups, add myself as maintainerAustin Seipp2015-06-14
* Update gollyMichael Raskin2015-06-14
* Merge pull request #8182 from ttuegel/openblasThomas Tuegel2015-06-12
|\
| * jags: build with openblasThomas Tuegel2015-06-12
| * R: build with openblasThomas Tuegel2015-06-04
* | nixpkgs: z3 4.3.2 -> 4.4.0Austin Seipp2015-06-11
|/
* Update HOL Light to svn r232 (2015-05-31)Marco2015-06-03
* why3: update from 0.85 to 0.86.1Vincent Laporte2015-06-01
* nixpkgs: verilator 3.872Austin Seipp2015-05-31
* Don't use "with licenses;" for single licencesTobias Geerinckx-Rice2015-05-28
* Use common licence attributes from lib/licenses.nixTobias Geerinckx-Rice2015-05-27
* 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-22 12:38:39 +0000