c09e1e540c
svn path=/nixpkgs/trunk/; revision=12896 |
||
---|---|---|
.. | ||
biology | ||
electronics/ngspice | ||
geometry/drgeo | ||
logic/coq | ||
math |
c09e1e540c
svn path=/nixpkgs/trunk/; revision=12896 |
||
---|---|---|
.. | ||
biology | ||
electronics/ngspice | ||
geometry/drgeo | ||
logic/coq | ||
math |