UbuntuUpdates.org

Package "lbt"

Name: lbt

Description:

converts from LTL formulas to Büchi automata
Latest version: 1.2.2-5
Release: precise (12.04)
Level: base
Repository: universe
Homepage: http://www.tcs.hut.fi/Software/maria/tools/lbt/

Links

All versions of this package
Bug fixes

List of files in package
Repository home page

Download "lbt"

32-bit deb package
64-bit deb package
APT INSTALL

Other versions of "lbt" in Precise

No other version of this package is available in the Precise release.

Changelog

Version: *DELETED* 2012-03-06 10:17:25 UTC
No changelog for deleted or moved packages.

Version: 1.2.2-5 2011-12-18 16:18:00 UTC

lbt (1.2.2-5) unstable; urgency=low

  * debian-control:
    - set Maintainer to debian-science
    - set Section to science
    - set Prioriy to extra
    - Standards-Version 3.9.2 (no change)
    - add Dependency on ${misc:Depends}
  * migrate to source format 3.0 (quilt)
  * rename debian/dirs to debian/lbt.dirs
  * manpage for lbt2dot is symlink to lbt.1
  * simplify call to dh_installchangelogs

 -- Ralf Treinen Fri, 13 May 2011 08:50:40 +0200

Version: *DELETED* 2011-12-18 14:15:31 UTC
No changelog for deleted or moved packages.


About   -   Send Feedback to @ubuntu_updates