summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
...
| * 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
| * 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
* | | fix "libc}/lib" and similar referencesVladimír Čunát2015-05-05
|/ /
* | 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
|\|
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-12 11:35:00 +0000