libgecodeflatzinc48_6.1.0-2+b1_amd64.deb


Advertisement

Description

libgecodeflatzinc48 - Gecode support for FlatZinc modelling language

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package filename libgecodeflatzinc48_6.1.0-2+b1_amd64.deb
Package name libgecodeflatzinc48
Package version 6.1.0
Package release 2+b1
Package architecture amd64
Package type deb
Category libs role::shared-lib
Homepage http://www.gecode.org/flatzinc.html
License -
Maintainer Kari Pahula <kaol@debian.org>
Download size 258.04 KB
Installed size 782.00 KB

Alternatives

Package Version Architecture Repository
libgecodeflatzinc48_6.1.0-2_i386.deb 6.1.0 i386 Debian Main
libgecodeflatzinc48 - - -

Requires

Name Value
libc6 >= 2.14
libgcc1 >= 1:3.0
libgecode48 -
libgecodegist48 -
libqt5core5a >= 5.11.0~rc1
libstdc++6 >= 9

Download

Type URL
Mirror ftp.br.debian.org
Binary Package libgecodeflatzinc48_6.1.0-2+b1_amd64.deb
Source Package gecode

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libgecodeflatzinc48 deb package:
    # sudo apt-get install libgecodeflatzinc48

Files

Path
/usr/lib/x86_64-linux-gnu/libgecodeflatzinc.so.48
/usr/lib/x86_64-linux-gnu/libgecodeflatzinc.so.48.0
/usr/share/doc/libgecodeflatzinc48/changelog.Debian.amd64.gz
/usr/share/doc/libgecodeflatzinc48/changelog.Debian.gz
/usr/share/doc/libgecodeflatzinc48/changelog.gz
/usr/share/doc/libgecodeflatzinc48/copyright

Changelog

2019-01-12 - Kari Pahula <kaol@debian.org>
gecode (6.1.0-2) unstable; urgency=medium
* Backport upstream patch to skip failing tests. (Closes: #912969)
2019-01-12 - Kari Pahula <kaol@debian.org>
gecode (6.1.0-1) unstable; urgency=medium
* New upstream release (soname 48)
2018-06-02 - Kari Pahula <kaol@debian.org>
gecode (6.0.1-1) unstable; urgency=medium
* New upstream release (soname 47)
* Pass --enable-cbs to configure flags.
* Remove previous 32 bit patch in favor of upstream's own fix.
2018-04-05 - Kari Pahula <kaol@debian.org>
gecode (6.0.0-2) unstable; urgency=medium
* Fix FTBFS on 32 bit arches by renaming an overloaded function that
clashed on them.
2018-04-02 - Kari Pahula <kaol@debian.org>
gecode (6.0.0-1) unstable; urgency=medium
* New upstream release (soname 46)
* Standards-Versions 4.1.3 (no changes necessary).
* Pass --enable-cppprofiler to configure flags.
* Convert upstream changelog to UTF-8 encoding.
2017-07-29 - Kari Pahula <kaol@debian.org>
gecode (5.1.0-2) unstable; urgency=medium
* Use Debian's own Boost instead of the one included with Gecode.
(Closes: #869696)
* Pass --with-host-os=linux to configure to always use host_os=linux.
(Closes: #869699)
2017-07-18 - Kari Pahula <kaol@debian.org>
gecode (5.1.0-1) unstable; urgency=medium
* New upstream release (soname 44)
- fzn-gecode seems to work correctly now. (Closes: #861949)
* Standards-Version 4.0.0 (no changes necessary).
* Drop patch bison-3-support since upstream updated their build with
similar change.
* Remove mzn-gecode from flatzinc since mzn-fzn provided by minizinc
provides that functionality.
* Remove /usr/share/gecode/mznlib from flatzinc since minizinc comes
with its own copy of it.
* Add symlink /usr/bin/flatzinc to fzn-gecode.
* Add recommends on minizinc to flatzinc.
2017-06-02 - Kari Pahula <kaol@debian.org>
gecode (4.4.0-5) unstable; urgency=medium
* Fix possible FTBFS with parallel invocation of bison and mv.  (Thanks
to Adrian Bunk <bunk@debian.org>) (Closes: #863936)
2017-03-19 - Kari Pahula <kaol@debian.org>
gecode (4.4.0-4) unstable; urgency=medium
* Fix FTBFS on ppc64el on conversion of long long unsigned int to
signed.  (Thanks to John Paul Adrian Glaubitz
<glaubitz@physik.fu-berlin.de>) (Closes: #858132)
* Add Build-Conflicts: libqt4-dev to force Qt5 usage.
* Add some lintian overrides for false positives on typo checking.
2015-07-19 - Kari Pahula <kaol@debian.org>
gecode (4.4.0-3) unstable; urgency=medium
* Library transition for GCC 5 (Closes: #791042)
* Change library package name suffix to 41v5.

See Also

Package Description
libgecodegist48_6.1.0-2+b1_amd64.deb Gecode Interactive Search Tool library
libgeda-common_1.8.2-11_all.deb GPL EDA -- Electronics design software (data files)
libgeda-dev_1.8.2-11_amd64.deb GPL EDA -- Electronics design software (development files)
libgeda42_1.8.2-11_amd64.deb GPL EDA -- Electronics design software (library files)
libgedcom-perl_1.20-1_all.deb interface to genealogy GEDCOM files
libgee-0.8-2_0.20.2-1_amd64.deb GObject based collection and utility library
libgee-0.8-dev_0.20.2-1_amd64.deb GObject based collection and utility library (development files)
libgegl-0.4-0_0.4.16-1_amd64.deb Generic Graphics Library
libgegl-common_0.4.16-1_all.deb Generic Graphics Library - common files
libgegl-dev_0.4.16-1_amd64.deb Generic Graphics Library (development files)
libgegl-doc_0.4.16-1_all.deb Generic Graphics Library (documentation)
libgeis-dev_2.2.17-1.2+b1_amd64.deb Gesture engine interface support - dev files
libgeis-doc_2.2.17-1.2_all.deb Gesture engine interface support - documentation
libgeis1_2.2.17-1.2+b1_amd64.deb Gesture engine interface support
libgemmlowp-dev_0.0~git20190708.a227af1-1_amd64.deb small self-contained low-precision GEMM library
Advertisement
Advertisement