Index of /debian/pool/main/g/gecode
Name
Last modified
Size
Parent Directory
-
libgecodegist49t64_6.2.0-6_i386.deb
2024-08-26 22:03
172K
libgecodegist49t64_6.2.0-6_amd64.deb
2024-08-26 21:53
165K
libgecodegist49_6.2.0-5_i386.deb
2020-08-08 23:38
173K
libgecodegist49_6.2.0-5_amd64.deb
2020-08-08 23:43
166K
libgecodegist48_6.1.0-2_i386.deb
2019-01-12 14:57
175K
libgecodegist48_6.1.0-2_amd64.deb
2019-01-12 13:35
169K
libgecodeflatzinc49t64_6.2.0-6_i386.deb
2024-08-26 22:03
275K
libgecodeflatzinc49t64_6.2.0-6_amd64.deb
2024-08-26 21:53
265K
libgecodeflatzinc49_6.2.0-5_i386.deb
2020-08-08 23:38
268K
libgecodeflatzinc49_6.2.0-5_amd64.deb
2020-08-08 23:43
258K
libgecodeflatzinc48_6.1.0-2_i386.deb
2019-01-12 14:57
257K
libgecodeflatzinc48_6.1.0-2_amd64.deb
2019-01-12 13:35
246K
libgecode49t64_6.2.0-6_i386.deb
2024-08-26 22:03
3.0M
libgecode49t64_6.2.0-6_amd64.deb
2024-08-26 21:53
2.9M
libgecode49_6.2.0-5_i386.deb
2020-08-08 23:38
2.8M
libgecode49_6.2.0-5_amd64.deb
2020-08-08 23:43
2.7M
libgecode48_6.1.0-2_i386.deb
2019-01-12 14:57
2.7M
libgecode48_6.1.0-2_amd64.deb
2019-01-12 13:35
2.6M
libgecode-doc_6.2.0-6_all.deb
2024-08-26 21:58
11M
libgecode-doc_6.2.0-5_all.deb
2020-08-08 23:38
11M
libgecode-doc_6.1.0-2_all.deb
2019-01-12 13:35
10M
libgecode-dev_6.2.0-6_i386.deb
2024-08-26 22:03
497K
libgecode-dev_6.2.0-6_amd64.deb
2024-08-26 21:53
497K
libgecode-dev_6.2.0-5_i386.deb
2020-08-08 23:38
501K
libgecode-dev_6.2.0-5_amd64.deb
2020-08-08 23:43
501K
libgecode-dev_6.1.0-2_i386.deb
2019-01-12 14:57
496K
libgecode-dev_6.1.0-2_amd64.deb
2019-01-12 13:35
496K
gecode_6.2.0.orig.tar.gz
2019-12-16 11:01
3.5M
gecode_6.2.0-6.dsc
2024-08-26 21:23
2.1K
gecode_6.2.0-6.debian.tar.xz
2024-08-26 21:23
20K
gecode_6.2.0-5.dsc
2020-08-08 23:13
2.1K
gecode_6.2.0-5.debian.tar.xz
2020-08-08 23:13
16K
gecode_6.1.0.orig.tar.gz
2018-10-20 07:07
3.3M
gecode_6.1.0-2.dsc
2019-01-12 13:35
2.1K
gecode_6.1.0-2.debian.tar.xz
2019-01-12 13:35
15K
flatzinc_6.2.0-5_i386.deb
2020-08-08 23:38
75K
flatzinc_6.2.0-5_amd64.deb
2020-08-08 23:43
74K
flatzinc_6.1.0-2_i386.deb
2019-01-12 14:57
66K
flatzinc_6.1.0-2_amd64.deb
2019-01-12 13:35
65K
Apache/2.4.61 (Debian) Server at mirror.estone.ca Port 80