flatzinc_3.7.3-1_amd64.deb
|
|
58 KiB |
flatzinc_3.7.3-1_armel.deb
|
|
59 KiB |
flatzinc_3.7.3-1_armhf.deb
|
|
57 KiB |
flatzinc_3.7.3-1_i386.deb
|
|
58 KiB |
flatzinc_3.7.3-1_ia64.deb
|
|
60 KiB |
flatzinc_3.7.3-1_kfreebsd-amd64.deb
|
|
59 KiB |
flatzinc_3.7.3-1_kfreebsd-i386.deb
|
|
59 KiB |
flatzinc_3.7.3-1_mips.deb
|
|
58 KiB |
flatzinc_3.7.3-1_mipsel.deb
|
|
58 KiB |
flatzinc_3.7.3-1_powerpc.deb
|
|
59 KiB |
flatzinc_3.7.3-1_s390.deb
|
|
59 KiB |
flatzinc_3.7.3-1_s390x.deb
|
|
59 KiB |
flatzinc_3.7.3-1_sparc.deb
|
|
58 KiB |
flatzinc_4.2.1-2_amd64.deb
|
|
61 KiB |
flatzinc_4.2.1-2_arm64.deb
|
|
61 KiB |
flatzinc_4.2.1-2_armel.deb
|
|
60 KiB |
flatzinc_4.2.1-2_armhf.deb
|
|
60 KiB |
flatzinc_4.2.1-2_i386.deb
|
|
61 KiB |
flatzinc_4.2.1-2_kfreebsd-amd64.deb
|
|
61 KiB |
flatzinc_4.2.1-2_kfreebsd-i386.deb
|
|
61 KiB |
flatzinc_4.2.1-2_mips.deb
|
|
60 KiB |
flatzinc_4.2.1-2_mipsel.deb
|
|
61 KiB |
flatzinc_4.2.1-2_powerpc.deb
|
|
61 KiB |
flatzinc_4.2.1-2_ppc64el.deb
|
|
61 KiB |
flatzinc_4.2.1-2_s390x.deb
|
|
61 KiB |
flatzinc_4.4.0-5_amd64.deb
|
|
65 KiB |
flatzinc_4.4.0-5_arm64.deb
|
|
64 KiB |
flatzinc_4.4.0-5_armel.deb
|
|
63 KiB |
flatzinc_4.4.0-5_armhf.deb
|
|
63 KiB |
flatzinc_4.4.0-5_i386.deb
|
|
65 KiB |
flatzinc_4.4.0-5_mips.deb
|
|
64 KiB |
flatzinc_4.4.0-5_mips64el.deb
|
|
64 KiB |
flatzinc_4.4.0-5_mipsel.deb
|
|
64 KiB |
flatzinc_4.4.0-5_ppc64el.deb
|
|
65 KiB |
flatzinc_4.4.0-5_s390x.deb
|
|
64 KiB |
gecode_1.3.1-1.diff.gz
|
|
27 KiB |
gecode_1.3.1-1.dsc
|
|
639 B |
gecode_1.3.1.orig.tar.gz
|
|
878 KiB |
gecode_2.1.1-1.diff.gz
|
|
29 KiB |
gecode_2.1.1-1.dsc
|
|
702 B |
gecode_2.1.1.orig.tar.gz
|
|
965 KiB |
gecode_3.4.0-1.debian.tar.gz
|
|
10 KiB |
gecode_3.4.0-1.dsc
|
|
1161 B |
gecode_3.4.0.orig.tar.gz
|
|
1324 KiB |
gecode_3.7.3-1.debian.tar.gz
|
|
11 KiB |
gecode_3.7.3-1.dsc
|
|
1435 B |
gecode_3.7.3.orig.tar.gz
|
|
1605 KiB |
gecode_4.2.1-2.debian.tar.xz
|
|
12 KiB |
gecode_4.2.1-2.dsc
|
|
2086 B |
gecode_4.2.1.orig.tar.gz
|
|
1854 KiB |
gecode_4.4.0-5.debian.tar.xz
|
|
13 KiB |
gecode_4.4.0-5.dsc
|
|
2154 B |
gecode_4.4.0.orig.tar.gz
|
|
2821 KiB |
libgecode-dev_3.4.0-1_amd64.deb
|
|
746 KiB |
libgecode-dev_3.4.0-1_armel.deb
|
|
746 KiB |
libgecode-dev_3.4.0-1_i386.deb
|
|
747 KiB |
libgecode-dev_3.4.0-1_ia64.deb
|
|
750 KiB |
libgecode-dev_3.4.0-1_kfreebsd-amd64.deb
|
|
739 KiB |
libgecode-dev_3.4.0-1_kfreebsd-i386.deb
|
|
739 KiB |
libgecode-dev_3.4.0-1_mips.deb
|
|
748 KiB |
libgecode-dev_3.4.0-1_mipsel.deb
|
|
739 KiB |
libgecode-dev_3.4.0-1_powerpc.deb
|
|
750 KiB |
libgecode-dev_3.4.0-1_s390.deb
|
|
740 KiB |
libgecode-dev_3.4.0-1_sparc.deb
|
|
747 KiB |
libgecode-dev_3.7.3-1_amd64.deb
|
|
521 KiB |
libgecode-dev_3.7.3-1_armel.deb
|
|
522 KiB |
libgecode-dev_3.7.3-1_armhf.deb
|
|
519 KiB |
libgecode-dev_3.7.3-1_i386.deb
|
|
518 KiB |
libgecode-dev_3.7.3-1_ia64.deb
|
|
508 KiB |
libgecode-dev_3.7.3-1_kfreebsd-amd64.deb
|
|
508 KiB |
libgecode-dev_3.7.3-1_kfreebsd-i386.deb
|
|
508 KiB |
libgecode-dev_3.7.3-1_mips.deb
|
|
520 KiB |
libgecode-dev_3.7.3-1_mipsel.deb
|
|
519 KiB |
libgecode-dev_3.7.3-1_powerpc.deb
|
|
519 KiB |
libgecode-dev_3.7.3-1_s390.deb
|
|
516 KiB |
libgecode-dev_3.7.3-1_s390x.deb
|
|
517 KiB |
libgecode-dev_3.7.3-1_sparc.deb
|
|
518 KiB |
libgecode-dev_4.2.1-2_amd64.deb
|
|
487 KiB |
libgecode-dev_4.2.1-2_arm64.deb
|
|
486 KiB |
libgecode-dev_4.2.1-2_armel.deb
|
|
487 KiB |
libgecode-dev_4.2.1-2_armhf.deb
|
|
486 KiB |
libgecode-dev_4.2.1-2_i386.deb
|
|
485 KiB |
libgecode-dev_4.2.1-2_kfreebsd-amd64.deb
|
|
483 KiB |
libgecode-dev_4.2.1-2_kfreebsd-i386.deb
|
|
484 KiB |
libgecode-dev_4.2.1-2_mips.deb
|
|
487 KiB |
libgecode-dev_4.2.1-2_mipsel.deb
|
|
484 KiB |
libgecode-dev_4.2.1-2_powerpc.deb
|
|
487 KiB |
libgecode-dev_4.2.1-2_ppc64el.deb
|
|
484 KiB |
libgecode-dev_4.2.1-2_s390x.deb
|
|
487 KiB |
libgecode-dev_4.4.0-5_amd64.deb
|
|
495 KiB |
libgecode-dev_4.4.0-5_arm64.deb
|
|
495 KiB |
libgecode-dev_4.4.0-5_armel.deb
|
|
495 KiB |
libgecode-dev_4.4.0-5_armhf.deb
|
|
495 KiB |
libgecode-dev_4.4.0-5_i386.deb
|
|
495 KiB |
libgecode-dev_4.4.0-5_mips.deb
|
|
495 KiB |
libgecode-dev_4.4.0-5_mips64el.deb
|
|
495 KiB |
libgecode-dev_4.4.0-5_mipsel.deb
|
|
495 KiB |
libgecode-dev_4.4.0-5_ppc64el.deb
|
|
495 KiB |
libgecode-dev_4.4.0-5_s390x.deb
|
|
495 KiB |
libgecode-doc_1.3.1-1_all.deb
|
|
3904 KiB |
libgecode-doc_2.1.1-1_all.deb
|
|
7709 KiB |
libgecode-doc_3.4.0-1_all.deb
|
|
10 MiB |
libgecode-doc_3.7.3-1_all.deb
|
|
11 MiB |
libgecode-doc_4.2.1-2_all.deb
|
|
8836 KiB |
libgecode-doc_4.4.0-5_all.deb
|
|
9003 KiB |
libgecode7-dev_1.3.1-1+b1_sparc.deb
|
|
2187 KiB |
libgecode7-dev_1.3.1-1_alpha.deb
|
|
2720 KiB |
libgecode7-dev_1.3.1-1_amd64.deb
|
|
2378 KiB |
libgecode7-dev_1.3.1-1_arm.deb
|
|
2560 KiB |
libgecode7-dev_1.3.1-1_hppa.deb
|
|
2609 KiB |
libgecode7-dev_1.3.1-1_i386.deb
|
|
2499 KiB |
libgecode7-dev_1.3.1-1_ia64.deb
|
|
3447 KiB |
libgecode7-dev_1.3.1-1_m68k.deb
|
|
2241 KiB |
libgecode7-dev_1.3.1-1_mips.deb
|
|
2480 KiB |
libgecode7-dev_1.3.1-1_mipsel.deb
|
|
2453 KiB |
libgecode7-dev_1.3.1-1_powerpc.deb
|
|
2393 KiB |
libgecode7-dev_1.3.1-1_s390.deb
|
|
2399 KiB |
libgecode8_1.3.1-1+b1_sparc.deb
|
|
1491 KiB |
libgecode8_1.3.1-1_alpha.deb
|
|
1330 KiB |
libgecode8_1.3.1-1_amd64.deb
|
|
1275 KiB |
libgecode8_1.3.1-1_arm.deb
|
|
1398 KiB |
libgecode8_1.3.1-1_hppa.deb
|
|
1369 KiB |
libgecode8_1.3.1-1_i386.deb
|
|
1398 KiB |
libgecode8_1.3.1-1_ia64.deb
|
|
1938 KiB |
libgecode8_1.3.1-1_m68k.deb
|
|
1161 KiB |
libgecode8_1.3.1-1_mips.deb
|
|
1296 KiB |
libgecode8_1.3.1-1_mipsel.deb
|
|
1287 KiB |
libgecode8_1.3.1-1_powerpc.deb
|
|
1276 KiB |
libgecode8_1.3.1-1_s390.deb
|
|
1256 KiB |
libgecode12-dev_2.1.1-1_alpha.deb
|
|
5739 KiB |
libgecode12-dev_2.1.1-1_amd64.deb
|
|
4382 KiB |
libgecode12-dev_2.1.1-1_arm.deb
|
|
4905 KiB |
libgecode12-dev_2.1.1-1_armel.deb
|
|
3757 KiB |
libgecode12-dev_2.1.1-1_hppa.deb
|
|
4922 KiB |
libgecode12-dev_2.1.1-1_i386.deb
|
|
4319 KiB |
libgecode12-dev_2.1.1-1_ia64.deb
|
|
6677 KiB |
libgecode12-dev_2.1.1-1_mips.deb
|
|
3967 KiB |
libgecode12-dev_2.1.1-1_mipsel.deb
|
|
3885 KiB |
libgecode12-dev_2.1.1-1_powerpc.deb
|
|
4345 KiB |
libgecode12-dev_2.1.1-1_s390.deb
|
|
4406 KiB |
libgecode12-dev_2.1.1-1_sparc.deb
|
|
3937 KiB |
libgecode12_2.1.1-1_alpha.deb
|
|
2416 KiB |
libgecode12_2.1.1-1_amd64.deb
|
|
2260 KiB |
libgecode12_2.1.1-1_arm.deb
|
|
2580 KiB |
libgecode12_2.1.1-1_armel.deb
|
|
1571 KiB |
libgecode12_2.1.1-1_hppa.deb
|
|
2410 KiB |
libgecode12_2.1.1-1_i386.deb
|
|
2239 KiB |
libgecode12_2.1.1-1_ia64.deb
|
|
3458 KiB |
libgecode12_2.1.1-1_mips.deb
|
|
1521 KiB |
libgecode12_2.1.1-1_mipsel.deb
|
|
1502 KiB |
libgecode12_2.1.1-1_powerpc.deb
|
|
2238 KiB |
libgecode12_2.1.1-1_s390.deb
|
|
2088 KiB |
libgecode12_2.1.1-1_sparc.deb
|
|
2581 KiB |
libgecode23_3.4.0-1_amd64.deb
|
|
2897 KiB |
libgecode23_3.4.0-1_armel.deb
|
|
2633 KiB |
libgecode23_3.4.0-1_i386.deb
|
|
2919 KiB |
libgecode23_3.4.0-1_ia64.deb
|
|
4384 KiB |
libgecode23_3.4.0-1_kfreebsd-amd64.deb
|
|
2901 KiB |
libgecode23_3.4.0-1_kfreebsd-i386.deb
|
|
2917 KiB |
libgecode23_3.4.0-1_mips.deb
|
|
2727 KiB |
libgecode23_3.4.0-1_mipsel.deb
|
|
2696 KiB |
libgecode23_3.4.0-1_powerpc.deb
|
|
2879 KiB |
libgecode23_3.4.0-1_s390.deb
|
|
2807 KiB |
libgecode23_3.4.0-1_sparc.deb
|
|
2750 KiB |
libgecode32_3.7.3-1_amd64.deb
|
|
2838 KiB |
libgecode32_3.7.3-1_armel.deb
|
|
2622 KiB |
libgecode32_3.7.3-1_armhf.deb
|
|
2387 KiB |
libgecode32_3.7.3-1_i386.deb
|
|
2888 KiB |
libgecode32_3.7.3-1_ia64.deb
|
|
4292 KiB |
libgecode32_3.7.3-1_kfreebsd-amd64.deb
|
|
2840 KiB |
libgecode32_3.7.3-1_kfreebsd-i386.deb
|
|
2892 KiB |
libgecode32_3.7.3-1_mips.deb
|
|
2622 KiB |
libgecode32_3.7.3-1_mipsel.deb
|
|
2479 KiB |
libgecode32_3.7.3-1_powerpc.deb
|
|
2774 KiB |
libgecode32_3.7.3-1_s390.deb
|
|
2752 KiB |
libgecode32_3.7.3-1_s390x.deb
|
|
3289 KiB |
libgecode32_3.7.3-1_sparc.deb
|
|
2654 KiB |
libgecode36_4.2.1-2_amd64.deb
|
|
2091 KiB |
libgecode36_4.2.1-2_arm64.deb
|
|
1765 KiB |
libgecode36_4.2.1-2_armel.deb
|
|
1803 KiB |
libgecode36_4.2.1-2_armhf.deb
|
|
1867 KiB |
libgecode36_4.2.1-2_i386.deb
|
|
2150 KiB |
libgecode36_4.2.1-2_kfreebsd-amd64.deb
|
|
2086 KiB |
libgecode36_4.2.1-2_kfreebsd-i386.deb
|
|
2144 KiB |
libgecode36_4.2.1-2_mips.deb
|
|
1701 KiB |
libgecode36_4.2.1-2_mipsel.deb
|
|
1700 KiB |
libgecode36_4.2.1-2_powerpc.deb
|
|
1798 KiB |
libgecode36_4.2.1-2_ppc64el.deb
|
|
1940 KiB |
libgecode36_4.2.1-2_s390x.deb
|
|
1972 KiB |
libgecode41v5_4.4.0-5_amd64.deb
|
|
2067 KiB |
libgecode41v5_4.4.0-5_arm64.deb
|
|
1765 KiB |
libgecode41v5_4.4.0-5_armel.deb
|
|
1790 KiB |
libgecode41v5_4.4.0-5_armhf.deb
|
|
1843 KiB |
libgecode41v5_4.4.0-5_i386.deb
|
|
2138 KiB |
libgecode41v5_4.4.0-5_mips.deb
|
|
1703 KiB |
libgecode41v5_4.4.0-5_mips64el.deb
|
|
1741 KiB |
libgecode41v5_4.4.0-5_mipsel.deb
|
|
1694 KiB |
libgecode41v5_4.4.0-5_ppc64el.deb
|
|
1847 KiB |
libgecode41v5_4.4.0-5_s390x.deb
|
|
1909 KiB |
libgecodeflatzinc32_3.7.3-1_amd64.deb
|
|
184 KiB |
libgecodeflatzinc32_3.7.3-1_armel.deb
|
|
171 KiB |
libgecodeflatzinc32_3.7.3-1_armhf.deb
|
|
160 KiB |
libgecodeflatzinc32_3.7.3-1_i386.deb
|
|
180 KiB |
libgecodeflatzinc32_3.7.3-1_ia64.deb
|
|
234 KiB |
libgecodeflatzinc32_3.7.3-1_kfreebsd-amd64.deb
|
|
185 KiB |
libgecodeflatzinc32_3.7.3-1_kfreebsd-i386.deb
|
|
180 KiB |
libgecodeflatzinc32_3.7.3-1_mips.deb
|
|
172 KiB |
libgecodeflatzinc32_3.7.3-1_mipsel.deb
|
|
168 KiB |
libgecodeflatzinc32_3.7.3-1_powerpc.deb
|
|
182 KiB |
libgecodeflatzinc32_3.7.3-1_s390.deb
|
|
177 KiB |
libgecodeflatzinc32_3.7.3-1_s390x.deb
|
|
189 KiB |
libgecodeflatzinc32_3.7.3-1_sparc.deb
|
|
172 KiB |
libgecodeflatzinc36_4.2.1-2_amd64.deb
|
|
212 KiB |
libgecodeflatzinc36_4.2.1-2_arm64.deb
|
|
190 KiB |
libgecodeflatzinc36_4.2.1-2_armel.deb
|
|
182 KiB |
libgecodeflatzinc36_4.2.1-2_armhf.deb
|
|
186 KiB |
libgecodeflatzinc36_4.2.1-2_i386.deb
|
|
210 KiB |
libgecodeflatzinc36_4.2.1-2_kfreebsd-amd64.deb
|
|
212 KiB |
libgecodeflatzinc36_4.2.1-2_kfreebsd-i386.deb
|
|
210 KiB |
libgecodeflatzinc36_4.2.1-2_mips.deb
|
|
174 KiB |
libgecodeflatzinc36_4.2.1-2_mipsel.deb
|
|
176 KiB |
libgecodeflatzinc36_4.2.1-2_powerpc.deb
|
|
189 KiB |
libgecodeflatzinc36_4.2.1-2_ppc64el.deb
|
|
198 KiB |
libgecodeflatzinc36_4.2.1-2_s390x.deb
|
|
203 KiB |
libgecodeflatzinc41v5_4.4.0-5_amd64.deb
|
|
201 KiB |
libgecodeflatzinc41v5_4.4.0-5_arm64.deb
|
|
183 KiB |
libgecodeflatzinc41v5_4.4.0-5_armel.deb
|
|
177 KiB |
libgecodeflatzinc41v5_4.4.0-5_armhf.deb
|
|
181 KiB |
libgecodeflatzinc41v5_4.4.0-5_i386.deb
|
|
212 KiB |
libgecodeflatzinc41v5_4.4.0-5_mips.deb
|
|
176 KiB |
libgecodeflatzinc41v5_4.4.0-5_mips64el.deb
|
|
179 KiB |
libgecodeflatzinc41v5_4.4.0-5_mipsel.deb
|
|
179 KiB |
libgecodeflatzinc41v5_4.4.0-5_ppc64el.deb
|
|
191 KiB |
libgecodeflatzinc41v5_4.4.0-5_s390x.deb
|
|
191 KiB |
libgecodegist32_3.7.3-1_amd64.deb
|
|
169 KiB |
libgecodegist32_3.7.3-1_armel.deb
|
|
156 KiB |
libgecodegist32_3.7.3-1_armhf.deb
|
|
145 KiB |
libgecodegist32_3.7.3-1_i386.deb
|
|
169 KiB |
libgecodegist32_3.7.3-1_ia64.deb
|
|
208 KiB |
libgecodegist32_3.7.3-1_kfreebsd-amd64.deb
|
|
169 KiB |
libgecodegist32_3.7.3-1_kfreebsd-i386.deb
|
|
169 KiB |
libgecodegist32_3.7.3-1_mips.deb
|
|
163 KiB |
libgecodegist32_3.7.3-1_mipsel.deb
|
|
160 KiB |
libgecodegist32_3.7.3-1_powerpc.deb
|
|
172 KiB |
libgecodegist32_3.7.3-1_s390.deb
|
|
169 KiB |
libgecodegist32_3.7.3-1_s390x.deb
|
|
175 KiB |
libgecodegist32_3.7.3-1_sparc.deb
|
|
163 KiB |
libgecodegist36_4.2.1-2_amd64.deb
|
|
156 KiB |
libgecodegist36_4.2.1-2_arm64.deb
|
|
147 KiB |
libgecodegist36_4.2.1-2_armel.deb
|
|
140 KiB |
libgecodegist36_4.2.1-2_armhf.deb
|
|
140 KiB |
libgecodegist36_4.2.1-2_i386.deb
|
|
159 KiB |
libgecodegist36_4.2.1-2_kfreebsd-amd64.deb
|
|
155 KiB |
libgecodegist36_4.2.1-2_kfreebsd-i386.deb
|
|
159 KiB |
libgecodegist36_4.2.1-2_mips.deb
|
|
145 KiB |
libgecodegist36_4.2.1-2_mipsel.deb
|
|
143 KiB |
libgecodegist36_4.2.1-2_powerpc.deb
|
|
149 KiB |
libgecodegist36_4.2.1-2_ppc64el.deb
|
|
155 KiB |
libgecodegist36_4.2.1-2_s390x.deb
|
|
155 KiB |
libgecodegist41v5_4.4.0-5_amd64.deb
|
|
156 KiB |
libgecodegist41v5_4.4.0-5_arm64.deb
|
|
147 KiB |
libgecodegist41v5_4.4.0-5_armel.deb
|
|
140 KiB |
libgecodegist41v5_4.4.0-5_armhf.deb
|
|
143 KiB |
libgecodegist41v5_4.4.0-5_i386.deb
|
|
164 KiB |
libgecodegist41v5_4.4.0-5_mips.deb
|
|
148 KiB |
libgecodegist41v5_4.4.0-5_mips64el.deb
|
|
151 KiB |
libgecodegist41v5_4.4.0-5_mipsel.deb
|
|
146 KiB |
libgecodegist41v5_4.4.0-5_ppc64el.deb
|
|
153 KiB |
libgecodegist41v5_4.4.0-5_s390x.deb
|
|
151 KiB |