Index of /doc/libgmpxx4 
      Name                    Last modified       Size  Description


[DIR] Parent Directory        25-Mar-2022 00:25      -  
[   ] changelog.Debian.gz     19-Jul-2006 22:07     7k  
[   ] changelog.gz            04-May-2006 12:31   195k  
[   ] copyright               14-Apr-2006 18:48     1k
Apache/1.3.34 Server at anubis.macross.com Port 80