SnapPea Development Files for Debian ------------------------------------ The SnapPea kernel is provided in the shared library /usr/lib/libsnappea.so. The corresponding headers can be found in /usr/include/snappea/. Note that at the present time this shared library is unique to Debian and is not supported by the upstream author. -- Ben Burton , Tue, 1 Jan 2002 18:22:53 +1000