|
ppc64el build of gecode 3.7.3-1 in ubuntu trusty RELEASE
|
|
arm64 build of gecode 3.7.3-1 in ubuntu trusty RELEASE
|
|
arm64 build of gecode 4.0.0-2 in ubuntu saucy PROPOSED
|
|
arm64 build of gecode 3.7.3-1 in ubuntu saucy RELEASE
|
|
powerpc build of gecode 4.0.0-2 in ubuntu saucy PROPOSED
|
|
i386 build of gecode 4.0.0-2 in ubuntu saucy PROPOSED
|
|
armhf build of gecode 4.0.0-2 in ubuntu saucy PROPOSED
|
|
amd64 build of gecode 4.0.0-2 in ubuntu saucy PROPOSED
|
|
powerpc build of gecode 3.7.3-1 in ubuntu quantal RELEASE
|
|
i386 build of gecode 3.7.3-1 in ubuntu quantal RELEASE
|
|
armhf build of gecode 3.7.3-1 in ubuntu quantal RELEASE
|
|
armel build of gecode 3.7.3-1 in ubuntu quantal RELEASE
|
|
amd64 build of gecode 3.7.3-1 in ubuntu quantal RELEASE
|