debian/0000755000000000000000000000000011563162336007174 5ustar debian/changelog0000644000000000000000000000513611563162336011053 0ustar 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 lbt (1.2.2-4) unstable; urgency=low * debian/lbt.doc-base: Change field descriptor "Authors" to "Author" (closes: Bug#466458). * debian/rules: do not ignore errors of "make clean". * Standards-Version 3.8.3 * debian/control: added Homepage field. * debhelper compatibility level 7. - debian/rules: dh_clean -k => dh_prep * debian/copyright: - add a proper copyright notice. - point to GPL-2 file instead file of just GPL file. * Changed doc-base section to Science/Mathematics -- Ralf Treinen Sun, 30 Aug 2009 20:19:51 +0200 lbt (1.2.2-3) unstable; urgency=low * Compile with -O3 instad of -O2 on m68 to work around a gcc-4.0 bug on m68k (closes: Bug#320691). * Compile with "-O0" when "noopt" is in DEB_BUILD_OPTIONS. -- Ralf Treinen Wed, 3 Aug 2005 09:47:21 +0200 lbt (1.2.2-2) unstable; urgency=low * Standards-version 3.6.2 (no change). * Debhelper compatibility 4, put into file debian/compat. * Recommends graphiz (instead of Suggests) * Rebuild with gcc 4. -- Ralf Treinen Wed, 6 Jul 2005 21:25:20 +0200 lbt (1.2.2-1) unstable; urgency=low * New upstream release * Add debian/watch file * Short description starts on lowercase letter * Use dh_installchangelogs to install upstream changelog -- Ralf Treinen Fri, 7 Jan 2005 20:13:25 +0100 lbt (1.2.1-2) unstable; urgency=low * Standards-Version 3.6.1.0 * Converted debian/{changelog,copyright,control,lbt.doc-base} to UTF-8 characer encoding * Fixed a spelling error in short description (Buechi) * removed empty file debian/docs -- Ralf Treinen Sun, 7 Sep 2003 15:29:11 +0200 lbt (1.2.1-1) unstable; urgency=low * First upload to unstable (closes: Bug#146321). * Added Marko Mäkelä and Heikki Tauriainen to the list of upstream authors. * lbt.doc-base: changed author of doc to Marko Mäkelä. -- Ralf Treinen Fri, 4 Oct 2002 21:17:49 +0200 lbt (1.2.1-0.alpha) experimental; urgency=low * Initial Release. -- Ralf Treinen Tue, 6 Aug 2002 23:13:17 +0200 debian/lbt.doc-base0000644000000000000000000000051511563162336011355 0ustar Document: lbt Title: LBT Manual Author: Marko Mäkelä Abstract: This manual describes how to use lbt, a tool to translate linear temporal logic formulas into generalized Büchi automata. Section: Science/Mathematics Format: HTML Index: /usr/share/doc/lbt/html/index.html Files: /usr/share/doc/lbt/html/*.html debian/lbt.manpages0000644000000000000000000000000611563162336011466 0ustar lbt.1 debian/lbt.links0000644000000000000000000000007411563162336011020 0ustar usr/share/man/man1/lbt.1.gz usr/share/man/man1/lbt2dot.1.gz debian/source/0000755000000000000000000000000011563162336010474 5ustar debian/source/format0000644000000000000000000000001411563162336011702 0ustar 3.0 (quilt) debian/rules0000755000000000000000000000230511563162336010254 0ustar #!/usr/bin/make -f # debian/rules for lbt #export DH_VERBOSE=1 # workaround for gcc-4.0 bug on m68k export DEB_HOST_ARCH = $(shell dpkg-architecture -qDEB_HOST_ARCH) ifeq ($(DEB_HOST_ARCH),m68k) OPTFLAGS = -O2 else OPTFLAGS = -O3 endif ifneq (,$(findstring noopt,$(DEB_BUILD_OPTIONS))) OPTFLAGS = -O0 endif ifneq (,$(findstring debug,$(DEB_BUILD_OPTIONS))) OPTFLAGS += -g endif ifeq (,$(findstring nostrip,$(DEB_BUILD_OPTIONS))) INSTALL_PROGRAM += -s endif build: build-stamp build-stamp: dh_testdir $(MAKE) CFLAGS=${OPTFLAGS} touch build-stamp clean: dh_testdir dh_testroot rm -f build-stamp [ ! -f Makefile ] || $(MAKE) reallyclean dh_clean install: build dh_testdir dh_testroot dh_prep dh_installdirs $(MAKE) install DESTDIR=$(CURDIR)/debian/lbt cd $(CURDIR)/debian/lbt/usr/share/doc/lbt && mv *.html *.png html binary-indep: build install binary-arch: build install dh_testdir dh_testroot dh_installdocs dh_installexamples dh_installman dh_installchangelogs dh_link dh_strip dh_compress dh_fixperms dh_installdeb dh_shlibdeps dh_gencontrol dh_md5sums dh_builddeb binary: binary-indep binary-arch .PHONY: build clean binary-indep binary-arch binary install configure debian/copyright0000644000000000000000000000115211563162336011126 0ustar This package was debianized by Ralf Treinen on Sun, 4 Aug 2002 13:36:02 +0200. It was downloaded from http://www.tcs.hut.fi/maria/src/ Upstream Authors: Marko Mäkelä Mauno Rönkkö Heikki Tauriainen Copyright (c) 1998 Mauno Rönkkö Licence: You are free to distribute this software under the terms of the GNU General Public License, version 2. On Debian systems, the complete text of the GNU General Public License can be found in the /usr/share/common-licenses/GPL-2 file. debian/lbt.dirs0000644000000000000000000000003711563162336010640 0ustar usr/bin usr/share/doc/lbt/html debian/compat0000644000000000000000000000000211563162336010372 0ustar 7 debian/control0000644000000000000000000000130111563162336010572 0ustar Source: lbt Section: science Priority: extra Maintainer: Debian Science Maintainers Uploaders: Ralf Treinen Build-Depends: debhelper (>= 7.0) Standards-Version: 3.9.2 Homepage: http://www.tcs.hut.fi/Software/maria/tools/lbt/ Package: lbt Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends} Recommends: graphviz Description: converts from LTL formulas to Büchi automata This software converts a linear temporal logic (ltl) formula to a generalised Büchi automaton. The resulting automaton may be used, for instance, in model checking, where it represents a property to be verified from a model (e.g. a Petri net).