Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
gecode-static_6.2.0_aarch64.deb | 2022-10-21 21:26 | 2.9M | ||
gecode-static_6.2.0_arm.deb | 2022-10-21 21:26 | 3.4M | ||
gecode-static_6.2.0_i686.deb | 2022-10-21 21:26 | 3.3M | ||
gecode-static_6.2.0_x86_64.deb | 2022-10-21 21:26 | 3.2M | ||