1298fd8aba
* Update hol_light to rev 90 * Remove dmtcp checkpoint (it doesn't work properly). * General cleanup and simplification svn path=/nixpkgs/trunk/; revision=27290 |
||
---|---|---|
.. | ||
biology | ||
electronics | ||
geometry | ||
logic | ||
math | ||
misc | ||
xplanet |