Publishing details
Changelog
gecode (4.4.0-3) unstable; urgency=medium
* Library transition for GCC 5 (Closes: #791042)
* Change library package name suffix to 41v5.
-- Kari Pahula <email address hidden> Sun, 19 Jul 2015 18:32:00 +0300
Builds
Built packages
-
flatzinc
constraint problem modelling language
-
flatzinc-dbgsym
debug symbols for package flatzinc
-
libgecode-dev
generic constraint development environment
-
libgecode-doc
generic constraint development environment
-
libgecode41v5
generic constraint development environment
-
libgecode41v5-dbgsym
debug symbols for package libgecode41v5
-
libgecodeflatzinc41v5
Gecode support for FlatZinc modelling language
-
libgecodeflatzinc41v5-dbgsym
debug symbols for package libgecodeflatzinc41v5
-
libgecodegist41v5
Gecode Interactive Search Tool library
-
libgecodegist41v5-dbgsym
debug symbols for package libgecodegist41v5
Package files