Name                                                    Last modified      Size  Description
 Parent Directory                                                             -   
 gecode-flatzinc_6.2.0+git20240207-2_amd64.deb           2025-02-14 00:54  2.5M  
 gecode-flatzinc_6.2.0+git20240207-2_arm64.deb           2025-02-14 00:55  2.3M  
 gecode-flatzinc_6.2.0+git20240207-2build1_amd64.deb     2026-01-20 22:48  2.5M  
 gecode-flatzinc_6.2.0+git20240207-2build1_amd64v3.deb   2026-01-20 22:49  2.6M  
 gecode-flatzinc_6.2.0+git20240207-2build1_arm64.deb     2026-01-20 22:49  2.4M  
 gecode-flatzinc_6.2.0+git20260120-2_amd64.deb           2026-05-20 17:38  2.5M  
 gecode-flatzinc_6.2.0+git20260120-2_amd64v3.deb         2026-05-20 17:38  2.6M  
 gecode-flatzinc_6.2.0+git20260120-2_arm64.deb           2026-05-20 17:38  2.4M  
 gecode-snapshot_6.2.0+git20240207-2.debian.tar.xz       2025-02-13 23:33   13K  
 gecode-snapshot_6.2.0+git20240207-2.dsc                 2025-02-13 23:33  2.0K  
 gecode-snapshot_6.2.0+git20240207-2build1.debian.tar.xz 2026-01-20 20:45   13K  
 gecode-snapshot_6.2.0+git20240207-2build1.dsc           2026-01-20 20:45  2.0K  
 gecode-snapshot_6.2.0+git20240207.orig.tar.xz           2024-10-31 18:51  3.8M  
 gecode-snapshot_6.2.0+git20260120-2.debian.tar.xz       2026-05-20 17:09   15K  
 gecode-snapshot_6.2.0+git20260120-2.dsc                 2026-05-20 17:09  2.0K  
 gecode-snapshot_6.2.0+git20260120.orig.tar.xz           2026-05-20 17:09  3.8M