summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2015-06-25Merge pull request #8296 from vbgl/ocamlp4vbgl3-7/+12
2015-06-25E prover: do not build the manualVincent Laporte1-7/+3
2015-06-25coq-8.3: fix (needs make 3)Vincent Laporte1-2/+2
2015-06-25acgtk: fix build with OCaml 4.02Vincent Laporte1-2/+7
2015-06-25fix glsurfVincent Laporte1-3/+3
2015-06-24fityk: update 1.2.9 to 1.3.0Pascal Wittmann1-6/+10
2015-06-24hol: k.8 -> k.10, closes #8477laMudri1-9/+21
2015-06-22eagle 6.5.0 -> 6.6.0Tobias Geerinckx-Rice1-3/+3
2015-06-21Isabelle: fix download URLVincent Laporte1-2/+2
2015-06-18nixpkgs: saw-tools 0.1-20150609Austin Seipp1-0/+61
2015-06-18R: update to 3.2.1Michel Kuhlmann1-2/+2
2015-06-14nixpkgs: picosat 936 -> 960, add myself as a maintainerAustin Seipp1-20/+12
2015-06-14cvc4: regenerate ./configure on rebuildAustin Seipp1-2/+2
2015-06-14nixpkgs: yices 2.2.1 -> 2.3.1, now with sourceAustin Seipp1-28/+11
2015-06-14nixpkgs: abc-verifier 20150406 -> 20150614Austin Seipp1-4/+4
2015-06-14nixpkgs/cvc4: touchups, add myself as maintainerAustin Seipp1-11/+11
2015-06-14Update gollyMichael Raskin1-4/+4
2015-06-12Merge pull request #8182 from ttuegel/openblasThomas Tuegel2-8/+9
2015-06-12jags: build with openblasThomas Tuegel1-2/+3
2015-06-11nixpkgs: z3 4.3.2 -> 4.4.0Austin Seipp1-3/+3
2015-06-04R: build with openblasThomas Tuegel1-6/+6
2015-06-03Update HOL Light to svn r232 (2015-05-31)Marco1-2/+2
2015-06-01why3: update from 0.85 to 0.86.1Vincent Laporte1-4/+4
2015-05-31nixpkgs: verilator 3.872Austin Seipp1-0/+22
2015-05-28Don't use "with licenses;" for single licencesTobias Geerinckx-Rice5-5/+5
2015-05-27Use common licence attributes from lib/licenses.nixTobias Geerinckx-Rice4-12/+12
2015-05-26Merge pull request #7991 from vbgl/gappaMateusz Kowalczyk1-0/+23
2015-05-26Remove arb and then-orphaned lesstif93Tobias Geerinckx-Rice2-98/+0
2015-05-25Adds gappa 1.2.0Vincent Laporte1-0/+23
2015-05-25tetgen 1.4.3 -> 1.5.0Tobias Geerinckx-Rice2-5/+28
2015-05-23qfsm: update to version 0.54.0Peter Simons1-3/+2
2015-05-16lean: fixed buildPascal Wittmann1-1/+4
2015-05-14Fixed several "package has no version" warningsPascal Wittmann1-1/+1
2015-05-13maxima: update to version 5.36.1Peter Simons1-2/+2
2015-05-13wxmaxima: update to 15.04.0Peter Simons1-2/+2
2015-05-10z3 optAistis Raulinaitis1-0/+44
2015-05-07Merge remote-tracking branch 'upstream/master' into stagingWilliam A. Kennington III1-28/+0
2015-05-05Drop obsolete pre-NG Haskell builds.Peter Simons1-28/+0
2015-05-01Merge remote-tracking branch 'upstream/master' into stagingWilliam A. Kennington III1-1/+1
2015-04-30meta.description fixupsJoachim Fasting1-1/+1
2015-04-29Merge remote-tracking branch 'upstream/master' into stagingThomas Tuegel2-1/+69
2015-04-28Fixed some descriptionsPascal Wittmann1-1/+1
2015-04-26Make tcl and tk versions genericWilliam A. Kennington III1-1/+1
2015-04-26coq_8_5: New expressionJohn Wiegley1-0/+68
2015-04-26Merge 'master' into stagingVladimír Čunát3-4/+106
2015-04-17R: update to 3.2.0Peter Simons1-2/+2
2015-04-17Added K Framework package.Remy Goldschmidt1-0/+102
2015-04-15coq: update from 8.4pl5 to 8.4pl6Vincent Laporte1-2/+2
2015-04-10Merge branch 'master' into stagingThomas Tuegel1-2/+2
2015-04-09update Mathematica to 10.0.2Aristid Breitkreuz1-2/+2
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-14 03:57:03 +0000