ftp://ftp.man.szczecin.pl/pub/Linux/ubuntu-security/pool/universe/l/lbt/  direct

1.66 KB  2004-07-25lbt_1.2.1-2.diff.gz  6 mirrors
546 B  2004-07-25lbt_1.2.1-2.dsc  6 mirrors
19.54 KB  2004-07-25lbt_1.2.1.orig.tar.gz  info  browse  6 mirrors
 lbt_1.2.1.orig.tar.gz
 /Main/Ubuntu/Other/

558 B  2005-06-27lbt_1.2.2-1build1.dsc  5 mirrors
26.63 KB  2004-08-13lbt_1.2.1-2_i386.deb  info  browse  4 mirrors
 lbt - Converter of LTL formulas to Büchi automata
 /Main/Ubuntu/i386/math/

1.80 KB  2005-06-27lbt_1.2.2-1build1.diff.gz  5 mirrors
37.88 KB  2005-06-27lbt_1.2.2-1build1_amd64.deb  info  browse  5 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Ubuntu/amd64/math/

30.46 KB  2005-06-27lbt_1.2.2-1build1_i386.deb  info  browse  5 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Ubuntu/i386/math/

33.13 KB  2005-06-27lbt_1.2.2-1build1_powerpc.deb  info  browse  4 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Ubuntu/powerpc/math/

542 B  2005-10-24lbt_1.2.2-3.dsc  260+ mirrors
29.41 KB  2004-08-19lbt_1.2.1-2_amd64.deb  info  browse  4 mirrors
 lbt - Converter of LTL formulas to Büchi automata
 /Main/Ubuntu/amd64/math/

29.60 KB  2004-07-27lbt_1.2.1-2_powerpc.deb  info  browse  4 mirrors
 lbt - Converter of LTL formulas to Büchi automata
 /Main/Ubuntu/powerpc/math/

38.07 KB  2005-10-24lbt_1.2.2-3_amd64.deb  info  browse  91 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Ubuntu/amd64/math/

31.28 KB  2005-10-24lbt_1.2.2-3_i386.deb  info  browse  96 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Ubuntu/i386/math/

33.29 KB  2005-10-24lbt_1.2.2-3_powerpc.deb  info  browse  78 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Ubuntu/powerpc/math/

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

31.34 KB  2005-10-05lbt_1.2.2-1build1_sparc.deb  2 mirrors
2.01 KB  2005-10-24lbt_1.2.2-3.diff.gz  260+ mirrors
30.39 KB  2005-11-01lbt_1.2.2-3_sparc.deb  info  browse  76 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Ubuntu/sparc/math/