301f2e3094
svn path=/nixpkgs/trunk/; revision=12895 |
||
---|---|---|
.. | ||
biology | ||
electronics/ngspice | ||
geometry/drgeo | ||
logic/coq | ||
math |
301f2e3094
svn path=/nixpkgs/trunk/; revision=12895 |
||
---|---|---|
.. | ||
biology | ||
electronics/ngspice | ||
geometry/drgeo | ||
logic/coq | ||
math |