Index of /pool/main/g/gecode
Name
Last modified
Size
Description
Parent Directory
-
gecode_6.2.0.orig.tar.gz
2019-12-16 20:01
3.5M
gecode_6.2.0-5.1.debian.tar.xz
2024-02-28 17:21
16K
gecode_6.2.0-5.1.dsc
2024-02-28 17:21
2.1K
libgecode-doc_6.2.0-5.1_all.deb
2024-02-28 18:50
11M
flatzinc_6.2.0-5.1+b1_amd64.deb
2024-03-15 23:41
71K
libgecode-dev_6.2.0-5.1+b1_amd64.deb
2024-03-15 23:41
497K
libgecode49t64_6.2.0-5.1+b1_amd64.deb
2024-03-15 23:41
2.8M
libgecodeflatzinc49t64_6.2.0-5.1+b1_amd64.deb
2024-03-15 23:41
262K
libgecodegist49t64_6.2.0-5.1+b1_amd64.deb
2024-03-15 23:41
164K
gecode_6.2.0-6.debian.tar.xz
2024-08-27 06:23
20K
gecode_6.2.0-6.dsc
2024-08-27 06:23
2.1K
libgecode-dev_6.2.0-6_amd64.deb
2024-08-27 06:53
497K
libgecode49t64_6.2.0-6_amd64.deb
2024-08-27 06:53
2.9M
libgecodeflatzinc49t64_6.2.0-6_amd64.deb
2024-08-27 06:53
265K
libgecodegist49t64_6.2.0-6_amd64.deb
2024-08-27 06:53
165K
libgecode-doc_6.2.0-6_all.deb
2024-08-27 06:58
11M
libgecode-dev_6.2.0-6_arm64.deb
2024-08-27 07:13
497K
libgecode49t64_6.2.0-6_arm64.deb
2024-08-27 07:13
2.5M
libgecodeflatzinc49t64_6.2.0-6_arm64.deb
2024-08-27 07:13
236K
libgecodegist49t64_6.2.0-6_arm64.deb
2024-08-27 07:13
155K