517a120ff8
svn path=/nixpkgs/trunk/; revision=12810 |
||
---|---|---|
.. | ||
biology | ||
electronics/ngspice | ||
geometry/drgeo | ||
logic/coq | ||
math/scilab |
517a120ff8
svn path=/nixpkgs/trunk/; revision=12810 |
||
---|---|---|
.. | ||
biology | ||
electronics/ngspice | ||
geometry/drgeo | ||
logic/coq | ||
math/scilab |