ftp://ftp.zcu.cz/pub/linux/debian/pool/main/l/lbt/  direct

542 B  2005-08-01lbt_1.2.2-3.dsc  260+ mirrors
1.73 KB  2005-01-05lbt_1.2.2-1.diff.gz  181 mirrors
2.01 KB  2005-08-01lbt_1.2.2-3.diff.gz  260+ mirrors
546 B  2005-01-05lbt_1.2.2-1.dsc  181 mirrors
29.23 KB  2005-01-05lbt_1.2.2-1_i386.deb  info  browse  187 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Debian/i386/math/

31.65 KB  2006-03-17lbt_1.2.2-3_amd64.deb  info  browse  179 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Debian/amd64/math/

32.37 KB  2005-08-01lbt_1.2.2-3_i386.deb  info  browse  194 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Debian/i386/math/

20.10 KB  2005-01-05lbt_1.2.2.orig.tar.gz  info  browse  280+ mirrors
 lbt_1.2.2.orig.tar.gz
 /Main/Debian/Other/

29.31 KB  2008-02-06lbt_1.2.2-3_armel.deb  info  browse  143 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Debian/armel/math/