Source: libpoly0
Section: libs
Priority: optional
Maintainer: Ahmed Irfan <ahmed.irfan@sri.com>
Standards-Version: 3.9.8
Build-Depends: debhelper (>= 10), cmake, libgmp-dev, dh-exec
Homepage: https://github.com/SRI-CSL/libpoly

Package: libpoly0
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}
Pre-Depends: ${misc:Pre-Depends}
Multi-Arch: same
Description: C library for manipulating multivariate polynomials
 Used by the SMT solver yices2.

Package: libpoly-dev
Section: libdevel
Architecture: any
Depends: libpoly0 (= ${binary:Version}), ${misc:Depends}, libgmp-dev
Description: C library for manipulating multivariate polynomials
 Used by the SMT solver yices2.
 .
 This package contains development headers for libpoly.


Package: libpoly-dbg
Section: debug
Priority: extra
Architecture: any
Multi-Arch: same
Depends: libpoly0 (= ${binary:Version}), ${misc:Depends}
Provides: libpoly-dbg
Description: C library for manipulating multivariate polynomials
 Used by the SMT solver yices2.
 .
 This package contains the debugging symbols for libpoly.
