Index of /raspbian/pool/main/g/gecode
Name
Last modified
Size
Description
Metadata
Parent Directory
-
libgecode-doc_6.2.0-6_all.deb
27-Aug-2024 04:58
11M
Details
libgecode-doc_6.2.0-5_all.deb
09-Aug-2020 06:38
11M
Details
libgecode-doc_6.1.0-2_all.deb
12-Jan-2019 21:35
10M
Details
gecode_6.2.0.orig.tar.gz
16-Dec-2019 19:01
3.5M
Details
gecode_6.1.0.orig.tar.gz
20-Oct-2018 14:07
3.3M
Details
libgecode49t64_6.2.0-6_armhf.deb
01-Sep-2024 16:08
2.2M
Details
libgecode49_6.2.0-5_armhf.deb
14-Aug-2020 10:08
2.1M
Details
libgecode48_6.1.0-2_armhf.deb
18-Jan-2019 10:08
2.0M
Details
libgecode-dev_6.2.0-5_armhf.deb
14-Aug-2020 10:08
501K
Details
libgecode-dev_6.2.0-6_armhf.deb
01-Sep-2024 16:08
497K
Details
libgecode-dev_6.1.0-2_armhf.deb
18-Jan-2019 10:08
496K
Details
libgecodeflatzinc49t64_6.2.0-6_armhf.deb
01-Sep-2024 16:08
226K
Details
libgecodeflatzinc49_6.2.0-5_armhf.deb
14-Aug-2020 10:08
220K
Details
libgecodeflatzinc48_6.1.0-2_armhf.deb
18-Jan-2019 10:08
210K
Details
libgecodegist49_6.2.0-5_armhf.deb
14-Aug-2020 10:08
149K
Details
libgecodegist48_6.1.0-2_armhf.deb
18-Jan-2019 10:08
149K
Details
libgecodegist49t64_6.2.0-6_armhf.deb
01-Sep-2024 16:08
147K
Details
flatzinc_6.2.0-5_armhf.deb
14-Aug-2020 10:08
73K
Details
flatzinc_6.1.0-2_armhf.deb
18-Jan-2019 10:08
63K
Details
gecode_6.2.0-6.debian.tar.xz
27-Aug-2024 04:23
20K
Details
gecode_6.2.0-5.debian.tar.xz
09-Aug-2020 06:13
16K
Details
gecode_6.1.0-2.debian.tar.xz
12-Jan-2019 21:35
15K
Details
gecode_6.1.0-2.dsc
12-Jan-2019 21:35
2.1K
Details
gecode_6.2.0-5.dsc
09-Aug-2020 06:13
2.1K
Details
gecode_6.2.0-6.dsc
27-Aug-2024 04:23
2.1K
Details
Apache/2.4.62 (Debian) Server at raspbian.raspberrypi.org Port 80
MirrorBrain
powered by
Apache