Index of /termux/termux-main/pool/main/g/gecode

 Name                             Last modified      Size  Description
 Parent Directory                                      -   
 gecode_6.5.0_aarch64.deb         2026-11-01 01:43  2.8M  
 gecode_6.5.0_arm.deb             2026-11-01 01:43  3.2M  
 gecode_6.5.0_i686.deb            2026-11-01 01:43  3.7M  
 gecode_6.5.0_x86_64.deb          2026-11-01 01:43  3.5M

Apache/2.4.58 (Ubuntu) Server at de.aminet.net Port 80