Index of /debian/pool/main/g/gecode
Name
Last modified
Size
Description
Parent Directory
-
flatzinc_6.1.0-2_i386.deb
2019-01-12 16:57
66K
flatzinc_6.2.0-5_i386.deb
2020-08-09 01:38
75K
gecode_6.1.0-2.debian.tar.xz
2019-01-12 15:35
15K
gecode_6.2.0-5.debian.tar.xz
2020-08-09 01:13
16K
gecode_6.2.0-7.debian.tar.xz
2025-02-11 11:48
20K
libgecode-dev_6.1.0-2_i386.deb
2019-01-12 16:57
496K
libgecode-dev_6.2.0-5_i386.deb
2020-08-09 01:38
501K
libgecode-dev_6.2.0-7_i386.deb
2025-02-11 12:24
451K
libgecode-dev_6.2.0-7_riscv64.deb
2025-02-11 18:25
451K
libgecode-doc_6.1.0-2_all.deb
2019-01-12 15:35
10M
libgecode-doc_6.2.0-5_all.deb
2020-08-09 01:38
11M
libgecode-doc_6.2.0-7_all.deb
2025-02-11 12:19
11M
libgecode48_6.1.0-2_i386.deb
2019-01-12 16:57
2.7M
libgecode49_6.2.0-5_i386.deb
2020-08-09 01:38
2.8M
libgecode49t64_6.2.0-7_i386.deb
2025-02-11 12:24
3.0M
libgecode49t64_6.2.0-7_riscv64.deb
2025-02-11 18:25
2.8M
libgecodeflatzinc48_6.1.0-2_i386.deb
2019-01-12 16:57
257K
libgecodeflatzinc49_6.2.0-5_i386.deb
2020-08-09 01:38
268K
libgecodeflatzinc49t64_6.2.0-7_i386.deb
2025-02-11 12:24
229K
libgecodeflatzinc49t64_6.2.0-7_riscv64.deb
2025-02-11 18:25
206K
libgecodegist48_6.1.0-2_i386.deb
2019-01-12 16:57
175K
libgecodegist49_6.2.0-5_i386.deb
2020-08-09 01:38
173K
libgecodegist49t64_6.2.0-7_i386.deb
2025-02-11 12:24
126K
libgecodegist49t64_6.2.0-7_riscv64.deb
2025-02-11 18:25
115K
Apache/2.4.29 (Ubuntu) Server at ubuntu1.gcfl.net Port 80