summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* * 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
* * Build on GCC 4.4.Eelco Dolstra2010-01-26
* Updating gtkwaveLluís Batlle i Rossell2010-01-21
* pkgs/applications/science/math/maxima: updated to version 5.20.1Peter Simons2010-01-12
* Adding gtkwave, to view waves generated by ghdl.Lluís Batlle i Rossell2009-12-21
* adding libxcursor dependencyMichael Raskin2009-12-14
* Adding content. Unfortunately, currently segfaultsMichael Raskin2009-12-14
* Add expression for Isabelle2009Marco Maggesi2009-12-11
* Preliminary version of package ssreflectMarco Maggesi2009-11-05
* Updated Coq to version 8.2pl1Marco Maggesi2009-11-02
* pkgs/applications/science/math/wxmaxima/default.nix: cosmetic changesPeter Simons2009-10-29
* Added wxMaxima version 0.8.3.Peter Simons2009-10-29
* Updated Maxima to version 5.19.2.Peter Simons2009-10-29
* Added XPlanet support to kdeedu-4.3.1, not that is an essential feature but i...Sander van der Burg2009-09-11
* big breaking change: renaming lib.getAttr to lib.attrByPathMarc Weber2009-05-24
* FullDepEntry -> fullDepEntry, PackEntry -> packEntryMarc Weber2009-05-19
* * g77 -> gfortran throughout. Got rid of the separateEelco Dolstra2009-04-09
* Updated PAML package to 4.2aPjotr Prins2009-02-26
* Added note on package status for 64 bitsPjotr Prins2009-02-17
* Updated NCBI tools to latest versionPjotr Prins2009-02-16
* Adding alliance 5.0Lluís Batlle i Rossell2009-02-08
* maxima version bump to 5.17.0Marc Weber2009-01-04
* Added pkgMaintainer info to these 'biology' section packages.Pjotr Prins2008-10-07
* Added meta.pkgMaintainer to biology packages - a claim to fame, orPjotr Prins2008-10-07
* Squashed commit of the following:Pjotr Prins2008-10-07
* Changed arb permissions and priorityPjotr Prins2008-10-06
* Small fixes to ARBPjotr Prins2008-10-05
* Added more dependencies for ARBPjotr Prins2008-10-05
* Added shared dir and updated reference to ARBPjotr Prins2008-10-05
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-27 00:50:48 +0000