Source: libest2
Section: libs
Priority: extra
Maintainer: Robert Meolic <meolic@uni-mb.si>
Build-Depends: debhelper (>= 8.0.0), bison, flex, libbiddy1-dev (>= 1.1)
Standards-Version: 3.9.3

Package: libest2-dev
Section: libdevel
Architecture: any
Depends: libest2 (= ${binary:Version}), ${misc:Depends}
Description: Efficient Symbolic Tools 2nd Edition
 http://lms.uni-mb.si/EST/
 EST is a tool for the formal verification of systems.
 libest2 provides functions you can use in your own main program.
 EST is a collection of algorithms based on binary decision diagrams (BDDs).
 Currently, it supports only our own BDD package called Biddy, but one day
 it could support other BDD packages, too.
 This package contains the development headers, only.

Package: libest2
Section: libs
Architecture: any
Depends: libbiddy1 (>= 1.1), ${shlibs:Depends}, ${misc:Depends}
Description: Efficient Symbolic Tools 2nd Edition
 http://lms.uni-mb.si/EST/
 EST is a tool for the formal verification of systems.
 libest2 provides functions you can use in your own main program.
 EST is a collection of algorithms based on binary decision diagrams (BDDs).
 Currently, it supports only our own BDD package called Biddy, but one day
 it could support other BDD packages, too.
