|
Go up
|
— |
— |
|
|
flatzinc_6.1.0-2_armhf.deb
|
63 KiB |
|
|
|
flatzinc_6.2.0-5_armhf.deb
|
73 KiB |
|
|
|
gecode_6.1.0-2.debian.tar.xz
|
15 KiB |
|
|
|
gecode_6.1.0-2.dsc
|
2.1 KiB |
|
|
|
gecode_6.1.0.orig.tar.gz
|
3.3 MiB |
|
|
|
gecode_6.2.0-5.debian.tar.xz
|
16 KiB |
|
|
|
gecode_6.2.0-5.dsc
|
2.1 KiB |
|
|
|
gecode_6.2.0.orig.tar.gz
|
3.5 MiB |
|
|
|
libgecode-dev_6.1.0-2_armhf.deb
|
496 KiB |
|
|
|
libgecode-dev_6.2.0-5_armhf.deb
|
501 KiB |
|
|
|
libgecode-doc_6.1.0-2_all.deb
|
10 MiB |
|
|
|
libgecode-doc_6.2.0-5_all.deb
|
11 MiB |
|
|
|
libgecode48_6.1.0-2_armhf.deb
|
2.0 MiB |
|
|
|
libgecode49_6.2.0-5_armhf.deb
|
2.1 MiB |
|
|
|
libgecodeflatzinc48_6.1.0-2_armhf.deb
|
210 KiB |
|
|
|
libgecodeflatzinc49_6.2.0-5_armhf.deb
|
220 KiB |
|
|
|
libgecodegist48_6.1.0-2_armhf.deb
|
148 KiB |
|
|
|
libgecodegist49_6.2.0-5_armhf.deb
|
149 KiB |
|
|