Index of /raspbian/pool/main/g/gecode
Name
Last modified
Size
Description
Parent Directory
-
libgecodegist49_6.2.0-3_armhf.deb
2020-01-16 12:08
149K
libgecodeflatzinc49_6.2.0-3_armhf.deb
2020-01-16 12:08
226K
libgecode49_6.2.0-3_armhf.deb
2020-01-16 12:08
2.1M
libgecode-dev_6.2.0-3_armhf.deb
2020-01-16 12:08
500K
flatzinc_6.2.0-3_armhf.deb
2020-01-16 12:08
72K
libgecode-doc_6.2.0-3_all.deb
2020-01-10 18:56
11M
gecode_6.2.0-3.dsc
2020-01-10 15:40
2.1K
gecode_6.2.0-3.debian.tar.xz
2020-01-10 15:40
16K
gecode_6.2.0.orig.tar.gz
2019-12-16 21:01
3.5M
libgecodegist48_6.1.0-2_armhf.deb
2019-01-18 12:08
149K
libgecodeflatzinc48_6.1.0-2_armhf.deb
2019-01-18 12:08
210K
libgecode48_6.1.0-2_armhf.deb
2019-01-18 12:08
2.0M
libgecode-dev_6.1.0-2_armhf.deb
2019-01-18 12:08
496K
flatzinc_6.1.0-2_armhf.deb
2019-01-18 12:08
63K
libgecode-doc_6.1.0-2_all.deb
2019-01-12 23:35
10M
gecode_6.1.0-2.dsc
2019-01-12 23:35
2.1K
gecode_6.1.0-2.debian.tar.xz
2019-01-12 23:35
15K
gecode_6.1.0.orig.tar.gz
2018-10-20 17:07
3.3M
libgecodegist41v5_4.4.0-5_armhf.deb
2017-06-05 13:08
139K
libgecodeflatzinc41v5_4.4.0-5_armhf.deb
2017-06-05 13:08
178K
libgecode41v5_4.4.0-5_armhf.deb
2017-06-05 13:08
1.6M
libgecode-dev_4.4.0-5_armhf.deb
2017-06-05 13:08
495K
flatzinc_4.4.0-5_armhf.deb
2017-06-05 13:08
63K
libgecode-doc_4.4.0-5_all.deb
2017-06-03 16:01
8.8M
gecode_4.4.0-5.dsc
2017-06-03 16:01
2.1K
gecode_4.4.0-5.debian.tar.xz
2017-06-03 16:01
13K
gecode_4.4.0.orig.tar.gz
2015-05-01 10:21
2.8M
libgecodegist36_4.2.1-2_armhf.deb
2014-09-22 14:10
135K
libgecodeflatzinc36_4.2.1-2_armhf.deb
2014-09-22 14:10
177K
libgecode36_4.2.1-2_armhf.deb
2014-09-22 14:10
1.6M
libgecode-dev_4.2.1-2_armhf.deb
2014-09-22 14:10
483K
flatzinc_4.2.1-2_armhf.deb
2014-09-22 14:10
60K
libgecode-doc_4.2.1-2_all.deb
2014-09-16 20:47
8.6M
gecode_4.2.1-2.dsc
2014-09-16 20:47
2.0K
gecode_4.2.1-2.debian.tar.xz
2014-09-16 20:47
12K
gecode_4.2.1.orig.tar.gz
2013-11-09 20:20
1.8M