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

Package: libest2-dev
Section: libdevel
Architecture: any
Depends: libbiddy1, libest2 (= ${binary:Version}), ${misc:Depends}
Description: Efficient Symbolic Tools 2nd Edition
 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.
 http://lms.uni-mb.si/EST/
 This package contains the development headers, only.

Package: libest2
Section: libs
Architecture: any
Depends: libbiddy1, ${shlibs:Depends}, ${misc:Depends}
Description: Efficient Symbolic Tools 2nd Edition
 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.
 http://lms.uni-mb.si/EST/
