Source: clingo-lpx
Section: devel
Priority: optional
Maintainer: Roland Kaminski <kaminski@cs.uni-potsdam.de>
Build-Depends: debhelper-compat (= 13), dh-python, cmake, python3-dev, python3-cffi, libclingo-dev, libflint-dev
Standards-Version: 4.4.1
Homepage: https://potassco.org/clingo-lpx
Vcs-Browser: https://github.com/potassco/clingo-lpx
Vcs-Git: https://github.com/potassco/clingo-lpx.git

Package: clingo-lpx
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}, libclingo-lpx (= ${binary:Version})
Description: A solver for logic programs with linear constraints
 This package contains the executables.

Package: python3-clingo-lpx
Section: python
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}, ${python3:Depends}, python3-clingo, libclingo-lpx (= ${binary:Version})
Description: A solver for logic programs with linear constraints
 This package contains python bindings for clingo-lpx.

Package: libclingo-lpx
Section: libs
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}, libclingo
Description: A solver for logic programs with linear constraints
 This package contains the shared library.

Package: libclingo-lpx-dev
Section: libdevel
Architecture: any
Depends: ${misc:Depends}, libclingo-dev, python3-clingo-lpx, clingo-lpx, libclingo-lpx (= ${binary:Version})
Description: A solver for logic programs with linear constraints
 This package contains the development files.
