Index of /debian/pool/main/g/gecode
Name
Last modified
Size
Description
Parent Directory
-
gecode_6.2.0.orig.tar.gz
2019-12-16 14:01
3.5M
gecode_6.2.0-5.debian.tar.xz
2020-08-09 02:13
16K
gecode_6.2.0-5.dsc
2020-08-09 02:13
2.1K
flatzinc_6.2.0-5_i386.deb
2020-08-09 02:38
75K
libgecode-dev_6.2.0-5_i386.deb
2020-08-09 02:38
501K
libgecode49_6.2.0-5_i386.deb
2020-08-09 02:38
2.8M
libgecodeflatzinc49_6.2.0-5_i386.deb
2020-08-09 02:38
268K
libgecodegist49_6.2.0-5_i386.deb
2020-08-09 02:38
173K
libgecode-doc_6.2.0-5_all.deb
2020-08-09 02:38
11M
flatzinc_6.2.0-5_amd64.deb
2020-08-09 02:43
74K
libgecode-dev_6.2.0-5_amd64.deb
2020-08-09 02:43
501K
libgecode49_6.2.0-5_amd64.deb
2020-08-09 02:43
2.7M
libgecodeflatzinc49_6.2.0-5_amd64.deb
2020-08-09 02:43
258K
libgecodegist49_6.2.0-5_amd64.deb
2020-08-09 02:43
166K
gecode_6.2.0-6.debian.tar.xz
2024-08-27 00:23
20K
gecode_6.2.0-6.dsc
2024-08-27 00:23
2.1K
libgecode-dev_6.2.0-6_amd64.deb
2024-08-27 00:53
497K
libgecode49t64_6.2.0-6_amd64.deb
2024-08-27 00:53
2.9M
libgecodeflatzinc49t64_6.2.0-6_amd64.deb
2024-08-27 00:53
265K
libgecodegist49t64_6.2.0-6_amd64.deb
2024-08-27 00:53
165K
libgecode-doc_6.2.0-6_all.deb
2024-08-27 00:58
11M
libgecode-dev_6.2.0-6_i386.deb
2024-08-27 01:03
497K
libgecode49t64_6.2.0-6_i386.deb
2024-08-27 01:03
3.0M
libgecodeflatzinc49t64_6.2.0-6_i386.deb
2024-08-27 01:03
275K
libgecodegist49t64_6.2.0-6_i386.deb
2024-08-27 01:03
172K
Apache/2.4.54 (Debian) Server at shaberbot.com Port 80