about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2010-11-25Committing patch adding verilog from Antonio Vargas GonzalezLluís Batlle i Rossell1-0/+20
2010-11-05pkgs/applications/science/math/maxima: fixed location of "info" and "man" dir...Peter Simons1-0/+4
2010-11-04Update CoqMarco Maggesi4-71/+10
2010-11-03Update HOL LightMarco Maggesi2-8/+7
2010-10-24Adding canedaLluís Batlle i Rossell1-0/+38
2010-10-24Adding qucsLluís Batlle i Rossell1-0/+20
2010-09-15Update HOL Light to version 20100820 (rev57 on google code).Marco Maggesi9-140/+216
2010-09-15Change the name of the coq derivation to coq-devel-8.3pre1Marco Maggesi3-75/+2
2010-09-14Add coq-8.3rc1Marco Maggesi2-0/+73
2010-09-08Improve hol_light:Marco Maggesi10-1643/+113
2010-08-31Fixing the catalan locale for kicad (it had the wrong encoding written)Lluís Batlle i Rossell1-2/+6
2010-08-31Fixing kicad so it not only builds, but it also runs and finds the library of...Lluís Batlle i Rossell1-6/+28
2010-08-26pkgs/applications/science/math/maxima: use a correct license tagPeter Simons1-1/+1
2010-08-26pkgs/applications/science/logic/prover9: fixed trivial syntax errorPeter Simons1-1/+1
2010-08-26pkgs/applications/science/math/wxmaxima: updated to version 0.8.6Peter Simons1-3/+6
2010-08-26pkgs/applications/science/math/maxima: added license tagPeter Simons1-0/+1
2010-08-26pkgs/applications/science/math/maxima: build this package on Unix'ish platfor...Peter Simons1-1/+1
2010-08-26pkgs/applications/science/math/maxima: updated to version 5.22.1Peter Simons1-3/+11
2010-08-26pkgs/applications/science/logic/prover9: updated homepage and licensePeter Simons1-2/+2
2010-08-26pkgs/applications/science/logic/prover9: initial versionPeter Simons1-0/+45
2010-08-26Fix installation for updated E prover releaseMichael Raskin1-1/+1
2010-08-25Move E prover to applications/science/logicMichael Raskin1-0/+34
2010-08-25pkgs/applications/science/logic/hol: initial versionPeter Simons1-0/+55
2010-08-24Updating gtkwaveLluís Batlle i Rossell1-2/+2
2010-08-22Adding KicadLluís Batlle i Rossell1-0/+20
2010-08-12Adding tetgenLluís Batlle i Rossell1-0/+21
2010-08-09Adding a yacas needed patch for it to buildLluís Batlle i Rossell1-0/+17
2010-08-09Adding 'yacas', a CAS implemented in C++.Lluís Batlle i Rossell1-0/+23
2010-08-05Update Coq to version 8.2pl2 (patch by roconnor)Marco Maggesi1-8/+4
2010-08-02svn path=/nixpkgs/trunk/; revision=22880Eelco Dolstra1-2/+1
2010-07-28* More cleanup.Eelco Dolstra1-10/+18
2010-07-22ViTE from SVN.Ludovic Courtès2-6/+37
2010-07-06Update Tulip. Unicode support should be available now.Michael Raskin1-2/+2
2010-06-23Specifying golly licenseMichael Raskin1-0/+1
2010-06-23Adding golly (a cellular automata program)Michael Raskin4-0/+70
2010-06-21Updating ngspiceLluís Batlle i Rossell1-10/+15
2010-06-17SimGrid: Enable tracing.Ludovic Courtès1-0/+3
2010-06-17Move SimGrid under `science/misc'.Ludovic Courtès1-0/+59
2010-06-17Add Visual Trace Explorer (ViTE).Ludovic Courtès1-0/+31
2010-06-14Add Tulip, a graph visualization framework.Ludovic Courtès2-0/+125
2010-06-13Fixing an ortography error in the xoscope description.Lluís Batlle i Rossell1-1/+1
2010-06-13Adding xoscope (oscilloscope for the sound card input, among others)Lluís Batlle i Rossell1-0/+20
2010-06-03Making gtkwave more featured, adding more buildInputs.Lluís Batlle i Rossell1-2/+4
2010-06-03Updating gtkwaveLluís Batlle i Rossell1-2/+2
2010-05-18pkgs/applications/science/logic/coq: install coqide librariesPeter Simons1-1/+4
2010-05-11Add expression for Coq 8.3 betaMarco Maggesi2-0/+73
2010-05-09Moved 'maintainers' attribute into the meta section of the expression.Peter Simons1-2/+2
2010-05-05pkgs/applications/science/math/wxmaxima: updated to version 0.8.5Peter Simons1-2/+2
2010-05-05pkgs/applications/science/math/maxima: updated to version 5.21.1Peter Simons1-2/+2
2010-04-12pkgs/applications/science/math/maxima: added myself as a maintainerPeter Simons1-0/+2
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-20 20:28:40 +0000