Index of /debian/pool/main/g/gecode
Name
Last modified
Size
Description
Parent Directory
-
flatzinc_6.1.0-2_amd64.deb
2019-01-13 01:35
65K
flatzinc_6.2.0-5.1+b1_amd64.deb
2024-03-16 02:41
71K
flatzinc_6.2.0-5.1+b1_riscv64.deb
2024-03-17 10:31
71K
flatzinc_6.2.0-5_amd64.deb
2020-08-09 10:43
74K
gecode_6.1.0-2.debian.tar.xz
2019-01-13 01:35
15K
gecode_6.1.0-2.dsc
2019-01-13 01:35
2.1K
gecode_6.1.0.orig.tar.gz
2018-10-20 18:07
3.3M
gecode_6.2.0-5.1.debian.tar.xz
2024-02-28 20:21
16K
gecode_6.2.0-5.1.dsc
2024-02-28 20:21
2.1K
gecode_6.2.0-5.debian.tar.xz
2020-08-09 10:13
16K
gecode_6.2.0-5.dsc
2020-08-09 10:13
2.1K
gecode_6.2.0.orig.tar.gz
2019-12-16 23:01
3.5M
libgecode-dev_6.1.0-2_amd64.deb
2019-01-13 01:35
496K
libgecode-dev_6.2.0-5.1+b1_amd64.deb
2024-03-16 02:41
497K
libgecode-dev_6.2.0-5.1+b1_riscv64.deb
2024-03-17 10:31
498K
libgecode-dev_6.2.0-5_amd64.deb
2020-08-09 10:43
501K
libgecode-doc_6.1.0-2_all.deb
2019-01-13 01:35
10M
libgecode-doc_6.2.0-5.1_all.deb
2024-02-28 21:50
11M
libgecode-doc_6.2.0-5_all.deb
2020-08-09 10:38
11M
libgecode48_6.1.0-2_amd64.deb
2019-01-13 01:35
2.6M
libgecode49_6.2.0-5_amd64.deb
2020-08-09 10:43
2.7M
libgecode49t64_6.2.0-5.1+b1_amd64.deb
2024-03-16 02:41
2.8M
libgecode49t64_6.2.0-5.1+b1_riscv64.deb
2024-03-17 10:31
2.7M
libgecodeflatzinc48_6.1.0-2_amd64.deb
2019-01-13 01:35
246K
libgecodeflatzinc49_6.2.0-5_amd64.deb
2020-08-09 10:43
258K
libgecodeflatzinc49t64_6.2.0-5.1+b1_amd64.deb
2024-03-16 02:41
262K
libgecodeflatzinc49t64_6.2.0-5.1+b1_riscv64.deb
2024-03-17 10:31
251K
libgecodegist48_6.1.0-2_amd64.deb
2019-01-13 01:35
169K
libgecodegist49_6.2.0-5_amd64.deb
2020-08-09 10:43
166K
libgecodegist49t64_6.2.0-5.1+b1_amd64.deb
2024-03-16 02:41
164K
libgecodegist49t64_6.2.0-5.1+b1_riscv64.deb
2024-03-17 10:31
161K