![[ICO]](/theme/icons/empty.svg){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/user-home.svg){kind=icon} | Parent Directory | - | |
![[deb]](/theme/icons/deb.svg){kind=icon} | flatzinc_4.4.0-5_amd64.deb | 2017-06-03 14:01 | 65K |
| flatzinc_6.1.0-2_amd64.deb | 2019-01-12 21:35 | 65K |
| libgecodegist41v5_4.4.0-5_amd64.deb | 2017-06-03 14:01 | 156K |
| libgecodegist48_6.1.0-2_amd64.deb | 2019-01-12 21:35 | 169K |
| libgecodeflatzinc41v5_4.4.0-5_amd64.deb | 2017-06-03 14:01 | 201K |
| libgecodeflatzinc48_6.1.0-2_amd64.deb | 2019-01-12 21:35 | 246K |
| libgecode-dev_4.4.0-5_amd64.deb | 2017-06-03 14:01 | 495K |
| libgecode-dev_6.1.0-2_amd64.deb | 2019-01-12 21:35 | 496K |
| libgecode41v5_4.4.0-5_amd64.deb | 2017-06-03 14:01 | 2.0M |
| libgecode48_6.1.0-2_amd64.deb | 2019-01-12 21:35 | 2.6M |
| libgecode-doc_4.4.0-5_all.deb | 2017-06-03 14:01 | 8.8M |
| libgecode-doc_6.1.0-2_all.deb | 2019-01-12 21:35 | 10M |