Index of /www001/src/ports/lang/php5/work/php-5.2.5/ext/gmp

 Name                    Last modified       Size  Description

 Parent Directory        09-Aug-2008 10:03      -  
 CREDITS                 16-Jul-2001 05:45     1k  
 CREDITS.html            09-Aug-2008 09:52     0k  
 TODO                    29-Nov-2000 07:49     1k  
 TODO.html               09-Aug-2008 09:52     0k  
 config.m4               03-Nov-2004 06:32     1k  
 config.m4.html          09-Aug-2008 09:52     1k  
 config.w32              04-Jan-2005 14:39     1k  
 config.w32.html         09-Aug-2008 09:52     0k  
 gmp.c                   26-Apr-2007 06:44    39k  
 gmp.c.html              09-Aug-2008 09:52   210k  
 php_gmp.h               12-Jan-2007 04:32     3k  
 php_gmp.h.html          09-Aug-2008 09:52    10k  
 tests/                  09-Aug-2008 09:52      -