Package: lbt
Binary: lbt
Version: 1.2.2-7
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>
Build-Depends: debhelper-compat (= 12)
Architecture: any
Standards-Version: 4.5.0
Format: 3.0 (quilt)
Files: da86ce9abd0fb5213a46e63c723802ae 1905 lbt_1.2.2-7.dsc
 4e3315451d465fd941e81822e53aa2a0 20587 lbt_1.2.2.orig.tar.gz
 a76c2b57592200f49f9fb1c89a5baca5 3520 lbt_1.2.2-7.debian.tar.xz
Vcs-Browser: https://salsa.debian.org/science-team/lbt
Vcs-Git: https://salsa.debian.org/science-team/lbt.git
Checksums-Sha256: 8999a4afe1581f4d4c4b5ceb57a236e2d8646c23ff4d4a3c0cc3a69ed148273a 1905 lbt_1.2.2-7.dsc
 fac07a1bf87debace6eb20721f4b430ea511336a673ca31f4daf8bc9f39ac57a 20587 lbt_1.2.2.orig.tar.gz
 6a6a91c045ee59d19c88c36c431a19ad93dd5fd9b52d91342b31dc01f61bb42b 3520 lbt_1.2.2-7.debian.tar.xz
Homepage: http://www.tcs.hut.fi/Software/maria/tools/lbt/
Package-List: lbt deb science optional arch=any
Testsuite: autopkgtest
Directory: pool/main/l/lbt
Priority: source
Section: science

Package: lbt
Version: 1.2.2-7
Installed-Size: 100
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: amd64
Depends: libc6 (>= 2.14), libstdc++6 (>= 5)
Recommends: graphviz
Description: converts from LTL formulas to Büchi automata
Homepage: http://www.tcs.hut.fi/Software/maria/tools/lbt/
Description-md5: 508d9fd1936ff8ef3180b19bcae38fd9
Tag: field::mathematics, interface::commandline, role::program,
 scope::utility, use::converting
Section: science
Priority: optional
Filename: pool/main/l/lbt/lbt_1.2.2-7_amd64.deb
Size: 30608
MD5sum: f21dc8d618d34912f70475439a08faf2
SHA256: 51badb4a7d7a6f90ad9dfa401f1c09dc895a849193e2009490669e1497bde64e

Package: lbt
Version: 1.2.2-7
Installed-Size: 102
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: i386
Depends: libc6 (>= 2.7), libstdc++6 (>= 5)
Recommends: graphviz
Description: converts from LTL formulas to Büchi automata
Homepage: http://www.tcs.hut.fi/Software/maria/tools/lbt/
Description-md5: 508d9fd1936ff8ef3180b19bcae38fd9
Tag: field::mathematics, interface::commandline, role::program,
 scope::utility, use::converting
Section: science
Priority: optional
Filename: pool/main/l/lbt/lbt_1.2.2-7_i386.deb
Size: 31732
MD5sum: 9a0bfed344aa2597a194712525aa6371
SHA256: c295b401e59a8bab2c38ce915e1b8b5722101192e7abc9db6febc08a087b6ffb

Package: lbt
Version: 1.2.2-7
Installed-Size: 82
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: armel
Depends: libc6 (>= 2.7), libstdc++6 (>= 5)
Recommends: graphviz
Description: converts from LTL formulas to Büchi automata
Homepage: http://www.tcs.hut.fi/Software/maria/tools/lbt/
Description-md5: 508d9fd1936ff8ef3180b19bcae38fd9
Tag: field::mathematics, interface::commandline, role::program,
 scope::utility, use::converting
Section: science
Priority: optional
Filename: pool/main/l/lbt/lbt_1.2.2-7_armel.deb
Size: 26596
MD5sum: 5b9fd925bc2e522010202849b73a07d4
SHA256: 83dd19fd5b3308d7e175bf94129032dcd73546f876c3a17811a55a4ab6404586

Package: lbt
Version: 1.2.2-7
Installed-Size: 90
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: mipsel
Depends: libc6 (>= 2.7), libstdc++6 (>= 5)
Recommends: graphviz
Description: converts from LTL formulas to Büchi automata
Homepage: http://www.tcs.hut.fi/Software/maria/tools/lbt/
Description-md5: 508d9fd1936ff8ef3180b19bcae38fd9
Tag: field::mathematics, interface::commandline, role::program,
 scope::utility, use::converting
Section: science
Priority: optional
Filename: pool/main/l/lbt/lbt_1.2.2-7_mipsel.deb
Size: 28832
MD5sum: ba8a269c012540bb80443d59073f1611
SHA256: ef4f0feacc66baf000bd285574ada7f7e8aa06c0a1ea3b8174e44c0d1340c819