Index of /debian/pool/non-free/s/slepc 
      Name                               Last modified       Size  Description


[DIR] Parent Directory                   09-Nov-2008 14:01      -  
[   ] libslepc2.3.2-dev_2.3.2-1_i386.deb 09-Jul-2007 09:47   192k  
[   ] libslepc2.3.2_2.3.2-1_i386.deb     09-Jul-2007 09:47    87k
Apache/1.3.34 Server at www.artfiles.org Port 80