summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Updating from trunk.Lluís Batlle i Rossell2010-09-17
|\
| * Update HOL Light to version 20100820 (rev57 on google code).Marco Maggesi2010-09-15
| * Change the name of the coq derivation to coq-devel-8.3pre1Marco Maggesi2010-09-15
| * Add coq-8.3rc1Marco Maggesi2010-09-14
| * Improve hol_light:Marco Maggesi2010-09-08
| * Fixing the catalan locale for kicad (it had the wrong encoding written)Lluís Batlle i Rossell2010-08-31
| * Fixing kicad so it not only builds, but it also runs and finds the library of...Lluís Batlle i Rossell2010-08-31
* | Updating from trunk. I had to do some changes to make it fit.Lluís Batlle i Rossell2010-08-29
|\|
| * pkgs/applications/science/math/maxima: use a correct license tagPeter Simons2010-08-26
| * pkgs/applications/science/logic/prover9: fixed trivial syntax errorPeter Simons2010-08-26
| * pkgs/applications/science/math/wxmaxima: updated to version 0.8.6Peter Simons2010-08-26
| * pkgs/applications/science/math/maxima: added license tagPeter Simons2010-08-26
| * pkgs/applications/science/math/maxima: build this package on Unix'ish platfor...Peter Simons2010-08-26
| * pkgs/applications/science/math/maxima: updated to version 5.22.1Peter Simons2010-08-26
| * pkgs/applications/science/logic/prover9: updated homepage and licensePeter Simons2010-08-26
| * pkgs/applications/science/logic/prover9: initial versionPeter Simons2010-08-26
| * Fix installation for updated E prover releaseMichael Raskin2010-08-26
| * Move E prover to applications/science/logicMichael Raskin2010-08-25
| * pkgs/applications/science/logic/hol: initial versionPeter Simons2010-08-25
| * Updating gtkwaveLluís Batlle i Rossell2010-08-24
| * Adding KicadLluís Batlle i Rossell2010-08-22
* | Updated from trunk.Lluís Batlle i Rossell2010-08-20
|\|
| * Adding tetgenLluís Batlle i Rossell2010-08-12
* | Making lynx, yacas and alsa-lib crossbuildLluís Batlle i Rossell2010-08-11
|/
* Adding a yacas needed patch for it to buildLluís Batlle i Rossell2010-08-09
* Adding 'yacas', a CAS implemented in C++.Lluís Batlle i Rossell2010-08-09
* Update Coq to version 8.2pl2 (patch by roconnor)Marco Maggesi2010-08-05
* svn path=/nixpkgs/trunk/; revision=22880Eelco Dolstra2010-08-02
* * More cleanup.Eelco Dolstra2010-07-28
* ViTE from SVN.Ludovic Courtès2010-07-22
* Update Tulip. Unicode support should be available now.Michael Raskin2010-07-06
* Specifying golly licenseMichael Raskin2010-06-23
* Adding golly (a cellular automata program)Michael Raskin2010-06-23
* Updating ngspiceLluís Batlle i Rossell2010-06-21
* SimGrid: Enable tracing.Ludovic Courtès2010-06-17
* Move SimGrid under `science/misc'.Ludovic Courtès2010-06-17
* Add Visual Trace Explorer (ViTE).Ludovic Courtès2010-06-17
* Add Tulip, a graph visualization framework.Ludovic Courtès2010-06-14
* Fixing an ortography error in the xoscope description.Lluís Batlle i Rossell2010-06-13
* Adding xoscope (oscilloscope for the sound card input, among others)Lluís Batlle i Rossell2010-06-13
* Making gtkwave more featured, adding more buildInputs.Lluís Batlle i Rossell2010-06-03
* Updating gtkwaveLluís Batlle i Rossell2010-06-03
* pkgs/applications/science/logic/coq: install coqide librariesPeter Simons2010-05-18
* Add expression for Coq 8.3 betaMarco Maggesi2010-05-11
* Moved 'maintainers' attribute into the meta section of the expression.Peter Simons2010-05-09
* pkgs/applications/science/math/wxmaxima: updated to version 0.8.5Peter Simons2010-05-05
* pkgs/applications/science/math/maxima: updated to version 5.21.1Peter Simons2010-05-05
* pkgs/applications/science/math/maxima: added myself as a maintainerPeter Simons2010-04-12
* Updating gtkwaveLluís Batlle i Rossell2010-03-25
* Add HOL Light and its dependencies.Marco Maggesi2010-02-15
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-30 23:19:28 +0000