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