Index of /debian-ports/pool-x32/main/g/gmp

 Name                                      Last modified      Size  Description
 Parent Directory                                               -   
 gmp_6.2.0+dfsg-6_x32.buildinfo            15-Jun-2020 08:03  6.3K  
 libgmp-dev_6.2.0+dfsg-6_x32.deb           15-Jun-2020 08:03  630K  
 libgmp10-dbgsym_6.2.0+dfsg-6_x32.deb      15-Jun-2020 08:03  737K  
 libgmp10_6.2.0+dfsg-6_x32.deb             15-Jun-2020 08:03  253K  
 libgmp3-dev_6.2.0+dfsg-6_x32.deb          15-Jun-2020 08:03   16K  
 libgmpxx4ldbl-dbgsym_6.2.0+dfsg-6_x32.deb 15-Jun-2020 08:03  137K  
 libgmpxx4ldbl_6.2.0+dfsg-6_x32.deb        15-Jun-2020 08:03   23K