1Source: libpoly0 2Section: libs 3Priority: optional 4Maintainer: Ian A. Mason <iam@csl.sri.com> 5Standards-Version: 3.9.8 6Build-Depends: debhelper (>= 10), cmake, libgmp-dev, dh-exec 7Homepage: https://github.com/SRI-CSL/libpoly 8 9Package: libpoly0 10Architecture: any 11Depends: ${shlibs:Depends}, ${misc:Depends} 12Pre-Depends: ${misc:Pre-Depends} 13Multi-Arch: same 14Description: C library for manipulating multivariate polynomials 15 Used by the SMT solver yices2. 16 17Package: libpoly-dev 18Section: libdevel 19Architecture: any 20Depends: libpoly0 (= ${binary:Version}), ${misc:Depends}, libgmp-dev 21Description: C library for manipulating multivariate polynomials 22 Used by the SMT solver yices2. 23 . 24 This package contains development headers for libpoly. 25 26 27Package: libpoly-dbg 28Section: debug 29Priority: extra 30Architecture: any 31Multi-Arch: same 32Depends: libpoly0 (= ${binary:Version}), ${misc:Depends} 33Provides: libpoly-dbg 34Description: C library for manipulating multivariate polynomials 35 Used by the SMT solver yices2. 36 . 37 This package contains the debugging symbols for libpoly. 38